The Expressive Power of Higher-Order Datalog.
Angelos CharalambidisChristos NomikosPanos RondogiannisPublished in: CoRR (2019)
Keyphrases
- expressive power
- higher order
- query language
- first order logic
- data complexity
- disjunctive datalog
- transitive closure
- computational properties
- relational algebra
- pairwise
- relational calculus
- relational query languages
- markov random field
- data model
- aggregate functions
- knowledge representation
- exptime complete
- closure properties
- knowledge base
- databases