Login / Signup
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
Gaetano Geck
Bas Ketsman
Frank Neven
Thomas Schwentick
Published 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