Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
Gaetano GeckBas KetsmanFrank NevenThomas SchwentickPublished in: ICDT (2016)
Keyphrases
- conjunctive queries
- containment of conjunctive queries
- datalog programs
- integrity constraints
- query answering
- query containment
- query evaluation
- np complete
- query language
- special case
- data complexity
- deductive databases
- databases
- data exchange
- decision procedures
- probabilistic databases
- inclusion dependencies
- query rewriting
- unions of conjunctive queries
- incomplete information
- regular path queries
- conjunctive query containment
- bounded treewidth
- parallel processing
- boolean expressions
- functional dependencies
- data mining