Affiliation:
1. Technion - Israel Institute of Technology, Haifa, Israel
2. TU Wien, Haifa, Israel
Abstract
We study the enumeration complexity of
Unions of Conjunctive Queries (UCQs)
. We aim to identify the UCQs that are tractable in the sense that the answer tuples can be enumerated with a linear preprocessing phase and a constant delay between every successive tuples. It has been established that, in the absence of self-joins and under conventional complexity assumptions, the CQs that admit such an evaluation are precisely the free-connex ones. A union of tractable CQs is always tractable. We generalize the notion of free-connexity from CQs to UCQs, thus showing that some unions containing intractable CQs are, in fact, tractable. Interestingly, some unions consisting of only intractable CQs are tractable too. We show how to use the techniques presented in this article also in settings where the database contains cardinality dependencies (including functional dependencies and key constraints) or when the UCQs contain disequalities. The question of finding a full characterization of the tractability of UCQs remains open. Nevertheless, we prove that, for several classes of queries, free-connexity fully captures the tractable UCQs.
Publisher
Association for Computing Machinery (ACM)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Conjunctive Queries With Self-Joins, Towards a Fine-Grained Enumeration Complexity Analysis;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
2. Removing Additive Structure in 3SUM-Based Reductions;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02
3. The Fine-Grained Complexity of CFL Reachability;Proceedings of the ACM on Programming Languages;2023-01-09
4. Approximation Algorithms and Hardness for n-Pairs Shortest Paths and All-Nodes Shortest Cycles;2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS);2022-10
5. Efficiently Enumerating Answers to Ontology-Mediated Queries;Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2022-06-12