Expressive Power and Succinctness of the Positive Calculus of Relations.
Yoshiki NakamuraPublished in: RAMiCS (2020)
Keyphrases
- type checking
- relational calculus
- expressive power
- relational algebra
- database query languages
- query language
- first order logic
- data complexity
- computational properties
- transitive closure
- aggregate functions
- relational data model
- relation algebra
- modal logic
- complex objects
- search algorithm
- constraint query languages
- database
- user defined aggregates
- closure properties
- artificial intelligence
- data mining