Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
Gaetano GeckBas KetsmanFrank NevenThomas SchwentickPublished in: CoRR (2015)
Keyphrases
- conjunctive queries
- containment of conjunctive queries
- datalog programs
- query evaluation
- query containment
- query answering
- np complete
- integrity constraints
- query language
- data complexity
- special case
- parallel processing
- deductive databases
- query rewriting
- data exchange
- decision procedures
- null values
- regular path queries
- logic programming
- probabilistic databases
- databases
- modal logic
- incomplete information
- functional dependencies
- xml data
- logic programs