Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
Mario AlvianoWolfgang FaberNicola LeoneMarco MannaPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- disjunctive datalog
- polynomial hierarchy
- disjunctive logic programming
- query answering
- expressive power
- datalog programs
- first order logic
- data exchange
- description logics
- logic programming
- formal semantics
- worst case
- computational complexity
- database
- object oriented
- upper bound
- query language
- lower bound
- query containment
- artificial intelligence
- databases