Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries.
Simone BovaFabio MogaveroPublished in: LICS (2017)
Keyphrases
- conjunctive queries
- logic programs
- query answering
- logic programming
- query evaluation
- integrity constraints
- horn clauses
- query language
- first order logic
- special case
- data complexity
- conjunctive regular path queries
- data mining
- bounded treewidth
- query rewriting
- deductive databases
- np complete
- computational complexity