Processing Unions of Conjunctive Queries with Negation under Limited Access Patterns
ADVANCES IN DATABASE TECHNOLOGY - EDBT 2004, PROCEEDINGS(2004)
摘要
We study the problem of answering queries over sources with limited access patterns. The problem is to decide whether a given query Q is feasible, i.e., equivalent to an executable query Q' that observes the limited access patterns given by the sources. We characterize the complexity of deciding feasibility for the classes CQ(-) (conjunctive queries with negation) and UCQ(-) (unions of CQ(-) queries): Testing feasibility is just as hard as testing containment and therefore Pi(2)(P)-complete. We also provide a uniform treatment for CQ UCQ, CQ(-), and UCQ(-) by devising a single algorithm which is optimal for each of these classes. In addition, we show how one can often avoid the worst-case complexity by certain approximations: At compile-time, even if a query Q is not feasible, we can find efficiently the minimal executable query containing Q. For query answering at runtime, we devise an algorithm which may report complete answers even in the case of infeasible plans and which can indicate to the user the degree of completeness for certain incomplete answers.
更多查看译文
关键词
conjunctive queries
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络