DBScholar

Back to papers

Conjunctive-Query Containment and Constraint Satisfaction

Summary: Shows that conjunctive-query containment and constraint satisfaction coincide as homomorphism problems A→B, unifying CQ containment with the CSP perspective. Proves three families of non‑uniform tractable CSPs uniformize—Boolean (via binarization), Datalog with bounded distinct variables, and bounded-treewidth queries—yielding PTIME cases for CQ containment. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
h01625d5464c4430a
Venue
PODS
Year
1998
Pagerank
0.0001918714
Overall Rank
391 | 97.39%
DOI
10.1145/275487.275511

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{kolaitis_pods98,
        address = {New York, NY, USA},
        series = {{PODS} '98},
        title = {{Conjunctive-Query Containment and Constraint Satisfaction}},
        url = {https://dl.acm.org/doi/10.1145/275487.275511},
        doi = {10.1145/275487.275511},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Kolaitis, Phokion G. and Vardi, Moshe Y.},
        year = {1998}
}

Incoming Citations (Sorted by Pagerank)

Showing 31 of 31 citing papers.

Rank Citing Paper Year Venue Pagerank
17 Provenance Semirings 2007 PODS 0.00059660827
318 Worst-Case Optimal Join Algorithms: Techniques, Results, and Open Problems 2018 PODS 0.00021178303
819 Hypertree Decompositions: Questions and Answers 2016 PODS 0.00013623401
1,821 Joins via Geometric Resolutions: Worst-case and Beyond 2015 PODS 9.5466386e-05
1,924 The Analytical Bootstrap: a New Method for Fast Error Estimation in Approximate Query Processing 2014 SIGMOD 9.3535088e-05
2,376 Hypertree Decompositions and Tractable Queries 1999 PODS 8.5345413e-05
2,427 The Semiring Framework for Database Provenance 2017 PODS 8.4673732e-05
2,602 Optimal Algorithms for Ranked Enumeration of Answers to Full Conjunctive Queries 2020 VLDB 8.2157154e-05
2,604 Computing Cores for Data Exchange: New Algorithms and Practical Solutions 2005 PODS 8.2136514e-05
2,739 Weighted Hypertree Decompositions and Optimal Query Plans 2004 PODS 8.0598805e-05
2,897 On the minimization of XPath queries 2003 VLDB 7.8835751e-05
3,294 Automated Verification of Query Equivalence Using Satisfiability Modulo Theories 2019 VLDB 7.4297513e-05
4,208 Processing Queries on Tree-Structured Data Efficiently 2006 PODS 6.7214366e-05
4,257 On the Efficiency of Checking Perfect Privacy 2006 PODS 6.6841081e-05
4,281 A Web Odyssey: from Codd to XML 2001 PODS 6.6721591e-05
4,286 On Preservation under Homomorphisms and Unions of Conjunctive Queries 2004 PODS 6.6689702e-05
4,533 View-Based Query Containment 2003 PODS 6.540906e-05
6,278 General and Fractional Hypertree Decompositions: Hard and Easy Cases 2018 PODS 5.8092008e-05
6,417 Constraint Satisfaction and Database Theory: a Tutorial 2000 PODS 5.7743102e-05
7,163 Semantic Acyclicity on Graph Databases 2013 PODS 5.5797798e-05
7,206 The Parameterized Complexity of Database Queries 2001 PODS 5.5701964e-05
7,311 Computing the Difference of Conjunctive Queries Efficiently 2023 SIGMOD 5.5432326e-05
7,489 Probabilistic Query Evaluation: The Combined FPRAS Landscape 2023 PODS 5.4991065e-05
8,116 Ranked Enumeration of Minimal Triangulations 2019 PODS 5.3739121e-05
9,205 Efficient Approximations of Conjunctive Queries 2012 PODS 5.1945931e-05
9,554 Efficiently Enumerating Minimal Triangulations 2017 PODS 5.1495584e-05
10,474 Query Answering Under Volume-Based Diversity Functions 2026 PODS 4.9605343e-05
11,360 STsCache: An Efficient Semantic Caching Scheme for Time-series Data Workloads Based on Hybrid Storage 2025 VLDB 4.9605343e-05
11,546 Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity 2024 PODS 4.9605343e-05
11,796 Collective Grounding: Applying Database Techniques to Grounding Templated Models 2023 VLDB 4.9605343e-05
12,569 The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space Complexity 2013 PODS 4.9605343e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
72 Answering Queries Using Views (Extended Abstract) 1995 PODS 0.00037421163
301 Answering Queries Using Templates With Binding Patterns (Extended Abstract) 1995 PODS 0.00021612162
796 On the Complexity of Bounded-Variable Queries 1995 PODS 0.00013890233
Previous Page 1 / 1 Next

Semantically Similar Papers