On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Minimizing restricted-fanout queries
Discrete Applied Mathematics - Special issue on combinatorial problems in databases
Optimization of real conjunctive queries
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalence of datalog queries is undecidable
Journal of Logic Programming
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of querying indefinite data about linearly ordered domains
Journal of Computer and System Sciences - Special issue: dedicated to the memory of Paris Kanellakis
On the complexity of the containment problem for conjunctive queries with built-in predicates
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Decidable Containment of Recursive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Containment of Aggregate Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Database Systems: The Complete Book
Database Systems: The Complete Book
Verifying integrity constraints on web sites
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
SVTe: a tool to validate database schemas giving explanations
Proceedings of the 1st international workshop on Testing database systems
Incompleteness in information integration
Proceedings of the VLDB Endowment
Deduction in existential conjunctive first-order logic: an algorithm and experiments
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Containment of conjunctive queries with negation: algorithms and experiments
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation
Incomplete databases: missing records and missing values
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications
Completeness of queries over SQL databases
Proceedings of the 21st ACM international conference on Information and knowledge management
Query containment in entity SQL
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Hi-index | 0.00 |
We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block queries with a SELECT DISTINCT clause. This problem (“null containment” for short) is different from containment over databases without null values and sometimes more difficult. We show that null-containment for boolean conjunctive queries is NP-complete while it is $\mathit\Pi^{\rm P}_{2}$-complete for queries with distinguished variables. However, if no relation symbol is allowed to appear more than twice, then null-containment is polynomial, as it is for databases without nulls. If we add a unary test predicate IS NULL, as it is available in SQL, then containment becomes $\mathit\Pi^{\rm P}_{2}$-hard for boolean queries, while it remains in $\mathit\Pi^{\rm P}_{2}$ for arbitrary queries.