Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
Gaetano GeckBas KetsmanFrank NevenThomas SchwentickPublished in: ACM Trans. Comput. Log. (2019)
Keyphrases
- conjunctive queries
- containment of conjunctive queries
- query answering
- datalog programs
- query containment
- integrity constraints
- query evaluation
- np complete
- data complexity
- query language
- data exchange
- special case
- query rewriting
- decision procedures
- databases
- parallel processing
- probabilistic databases
- deductive databases
- regular path queries
- np hard
- inclusion dependencies
- conjunctive query containment
- answering queries using views
- tuple generating dependencies
- datalog queries
- boolean expressions
- dl lite
- schema mappings
- functional dependencies
- optimal solution