Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)
Summary: Establishes CQ containment (hence equivalence/non-minimality) in NP for inclusion dependencies when either no FDs or FDs are key-based, under infinite-database semantics. Finite databases may add containments, but a compactness theorem rules out finite-only counterexamples in the key-based case. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. D. S. Johnson (AT&T)
- 2. A. Klug (University of Wisconsin)
BibTeX Citation
@inproceedings{johnson_pods82,
address = {New York, NY, USA},
series = {{PODS} '82},
title = {{Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)}},
url = {https://dl.acm.org/doi/10.1145/588111.588138},
doi = {10.1145/588111.588138},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Johnson, D. S. and Klug, A.},
year = {1982}
}Incoming Citations (Sorted by Pagerank)
Showing 50 of 52 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 41 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00045733094 |
| 104 | Efficient Optimization of a Class of Relational Expressions | 1978 | SIGMOD | 0.00033799916 |
| 159 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00027867985 |
| 780 | Design Of Relational Views Over Network Schemas | 1979 | SIGMOD | 0.0001403839 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 3,103 | Query Containment for Data Integration Systems | 2000 | PODS |
| 2 | 1,667 | On the Decidability of Query Containment under Constraints | 1998 | PODS |
| 3 | 5,857 | On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) | 1997 | PODS |
| 4 | 2,354 | Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) | 1992 | PODS |
| 5 | 391 | Conjunctive-Query Containment and Constraint Satisfaction | 1998 | PODS |
| 6 | 7,164 | Tree-Width and Functional Dependencies in Databases | 2008 | PODS |
| 7 | 8,076 | Polynomial-time program transformations in deductive databases | 1990 | PODS |
| 8 | 3,883 | On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates | 1998 | PODS |
| 9 | 1,827 | Deciding Containment for Queries with Complex Objects (Extended Abstract) | 1997 | PODS |
| 10 | 1,279 | The Containment Problem for Real Conjunctive Queries with Inequalities | 2006 | PODS |