Local transformations and conjunctive-query equivalence.
Ronald FaginPhokion G. KolaitisPublished in: PODS (2012)
Keyphrases
- conjunctive queries
- query containment
- datalog programs
- query answering
- np complete
- query evaluation
- integrity constraints
- logical equivalence
- query language
- relational database theory
- data complexity
- database theory
- data exchange
- decision procedures
- acyclic conjunctive queries
- query rewriting
- special case
- probabilistic databases
- boolean expressions
- bounded treewidth
- data model
- query processing
- tight complexity bounds
- computational complexity
- databases
- transitive closure
- dl lite
- dnf formulas