TY - JOUR
T1 - WHEN CAN WE ANSWER QUERIES USING RESULT-BOUNDED DATA INTERFACES?
AU - Amarilli, Antoine
AU - Benedikt, Michael
N1 - Publisher Copyright:
© A. Amarilli and M. Benedikt.
PY - 2022/1/1
Y1 - 2022/1/1
N2 - We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can return, e.g., because of pagination or rate limits. We thus study result-bounded methods, which may return only a limited number of tuples. We study how to decide if a query is answerable using result-bounded methods, i.e., how to compute a plan that returns all answers to the query using the methods, assuming that the underlying data satisfies some integrity constraints. We first show how to reduce answerability to a query containment problem with constraints. Second, we show “schema simplification” theorems describing when and how result-bounded services can be used. Finally, we use these theorems to give decidability and complexity results about answerability for common constraint classes.
AB - We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can return, e.g., because of pagination or rate limits. We thus study result-bounded methods, which may return only a limited number of tuples. We study how to decide if a query is answerable using result-bounded methods, i.e., how to compute a plan that returns all answers to the query using the methods, assuming that the underlying data satisfies some integrity constraints. We first show how to reduce answerability to a query containment problem with constraints. Second, we show “schema simplification” theorems describing when and how result-bounded services can be used. Finally, we use these theorems to give decidability and complexity results about answerability for common constraint classes.
U2 - 10.46298/LMCS-18(2:14)2022
DO - 10.46298/LMCS-18(2:14)2022
M3 - Article
AN - SCOPUS:85133173837
SN - 1860-5974
VL - 18
SP - 14:1-14:81
JO - Logical Methods in Computer Science
JF - Logical Methods in Computer Science
IS - 2
ER -