Expressive power and succinctness of the positive calculus of binary relations.
Yoshiki NakamuraPublished in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
- expressive power
- binary relations
- transitive closure
- relational calculus
- first order logic
- database query languages
- relation algebra
- computational properties
- constraint query languages
- relational algebra
- query language
- inference rules
- modal logic
- graph theoretic
- concept lattice
- formal concept analysis
- logic programs
- multi dimensional
- database