Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons.
Evgeny SherkhonovMaarten MarxPublished in: Inf. Process. Lett. (2017)
Keyphrases
- conjunctive queries
- query containment
- acyclic conjunctive queries
- relational database theory
- query answering
- query evaluation
- np complete
- integrity constraints
- data exchange
- boolean formulae
- query language
- logic programs
- datalog programs
- transitive closure
- special case
- computational complexity
- learning algorithm
- dnf formulas