paperbot · PL 论文追踪

RSS

When Can We Answer Queries Using Result-Bounded Data Interfaces?

LMCS vol.Volume 18, Issue 22022
Antoine Amarilli, Michael Benedikt

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(Abstract)

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.

链接与引用

DOI 原文 ·

BibTeX
@article{paperbot1697,
  title = {When Can We Answer Queries Using Result-Bounded Data Interfaces?},
  author = {Antoine Amarilli and Michael Benedikt},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 18, Issue 2},
  year = {2022},
  doi = {10.46298/lmcs-18(2:14)2022}
}