Pulling Conjunctive Query Equivalence out of the Bag.
Stefan BöttcherSebastian LinkLin ZhangPublished in: CIKM (2014)
Keyphrases
- conjunctive queries
- query containment
- datalog programs
- query answering
- relational database theory
- integrity constraints
- np complete
- query language
- query evaluation
- data complexity
- logical equivalence
- query rewriting
- special case
- data exchange
- decision procedures
- database theory
- acyclic conjunctive queries
- tight complexity bounds
- bounded treewidth
- probabilistic databases
- transitive closure
- query processing
- dnf formulas
- data mining
- normal form