Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics.
Bas KetsmanFrank NevenBrecht VandevoortPublished in: ICDT (2018)
Keyphrases
- conjunctive queries
- query containment
- query answering
- query evaluation
- integrity constraints
- schema mappings
- containment of conjunctive queries
- data complexity
- np complete
- data exchange
- query language
- decision procedures
- query rewriting
- consistent query answering
- probabilistic databases
- model theoretic
- deductive databases
- queries using views
- datalog programs
- special case
- formal semantics
- regular path queries
- boolean expressions
- inconsistent databases
- data management
- parallel processing
- dl lite
- logic programming
- answering queries using views
- incomplete information
- query optimization
- data integration
- conp complete
- query processing