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
1146
Venue
PODS
Year
1998
Pagerank
0.00019546431
Overall Rank
382 | 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.00059843817
321 Worst-Case Optimal Join Algorithms: Techniques, Results, and Open Problems 2018 PODS 0.00021283186
814 Hypertree Decompositions: Questions and Answers 2016 PODS 0.00013841737
1,857 Joins via Geometric Resolutions: Worst-case and Beyond 2015 PODS 9.6047945e-05
1,872 The Analytical Bootstrap: a New Method for Fast Error Estimation in Approximate Query Processing 2014 SIGMOD 9.5759874e-05
2,330 Hypertree Decompositions and Tractable Queries 1999 PODS 8.7447066e-05
2,503 The Semiring Framework for Database Provenance 2017 PODS 8.4964654e-05
2,550 Computing Cores for Data Exchange: New Algorithms and Practical Solutions 2005 PODS 8.4290753e-05
2,678 Weighted Hypertree Decompositions and Optimal Query Plans 2004 PODS 8.2680182e-05
2,745 Optimal Algorithms for Ranked Enumeration of Answers to Full Conjunctive Queries 2020 VLDB 8.1747954e-05
2,817 On the minimization of XPath queries 2003 VLDB 8.0945626e-05
3,327 Automated Verification of Query Equivalence Using Satisfiability Modulo Theories 2019 VLDB 7.518491e-05
4,107 Processing Queries on Tree-Structured Data Efficiently 2006 PODS 6.8973582e-05
4,159 On the Efficiency of Checking Perfect Privacy 2006 PODS 6.8626218e-05
4,178 A Web Odyssey: from Codd to XML 2001 PODS 6.849218e-05
4,184 On Preservation under Homomorphisms and Unions of Conjunctive Queries 2004 PODS 6.8464183e-05
4,445 View-Based Query Containment 2003 PODS 6.699172e-05
6,159 General and Fractional Hypertree Decompositions: Hard and Easy Cases 2018 PODS 5.9542729e-05
6,278 Constraint Satisfaction and Database Theory: a Tutorial 2000 PODS 5.9287393e-05
7,028 Semantic Acyclicity on Graph Databases 2013 PODS 5.7228058e-05
7,052 The Parameterized Complexity of Database Queries 2001 PODS 5.7171307e-05
7,161 Computing the Difference of Conjunctive Queries Efficiently 2023 SIGMOD 5.6852987e-05
7,317 Probabilistic Query Evaluation: The Combined FPRAS Landscape 2023 PODS 5.6466593e-05
7,923 Ranked Enumeration of Minimal Triangulations 2019 PODS 5.5181056e-05
9,009 Efficient Approximations of Conjunctive Queries 2012 PODS 5.3335287e-05
9,337 Efficiently Enumerating Minimal Triangulations 2017 PODS 5.2876688e-05
10,180 Query Answering Under Volume-Based Diversity Functions 2026 PODS 5.093636e-05
10,901 STsCache: An Efficient Semantic Caching Scheme for Time-series Data Workloads Based on Hybrid Storage 2025 VLDB 5.093636e-05
11,140 Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity 2024 PODS 5.093636e-05
11,432 Collective Grounding: Applying Database Techniques to Grounding Templated Models 2023 VLDB 5.093636e-05
12,229 The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space Complexity 2013 PODS 5.093636e-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
69 Answering Queries Using Views (Extended Abstract) 1995 PODS 0.00038090878
298 Answering Queries Using Templates With Binding Patterns (Extended Abstract) 1995 PODS 0.00022138018
763 On the Complexity of Bounded-Variable Queries 1995 PODS 0.00014230134
Previous Page 1 / 1 Next

Semantically Similar Papers