Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.
Mark KaminskiBernardo Cuenca GrauEgor V. KostylevIan HorrocksPublished in: AAAI (2020)
Keyphrases
- expressive power
- disjunctive datalog
- query language
- data complexity
- first order logic
- transitive closure
- relational algebra
- exptime complete
- computational properties
- computational complexity
- relational calculus
- logic programming
- fixpoint semantics
- deductive databases
- databases
- logic programs
- relational databases
- datalog programs