The Expressive Power of Higher-Order Datalog.
Angelos CharalambidisChristos NomikosPanos RondogiannisPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- expressive power
- higher order
- query language
- first order logic
- data complexity
- transitive closure
- computational properties
- pairwise
- relational calculus
- relational algebra
- markov random field
- disjunctive datalog
- relational query languages
- recursive queries
- database query languages
- logic programming
- dl lite
- machine learning
- exptime complete
- relation algebra