On the expressive power of Kleene algebra with domain.
Georg StruthPublished in: Inf. Process. Lett. (2016)
Keyphrases
- expressive power
- relational algebra
- query language
- relation algebra
- first order logic
- regular expressions
- transitive closure
- data complexity
- constraint query languages
- computational properties
- aggregate functions
- data model
- propositional logic
- databases
- database query languages
- relational calculus
- complex objects
- relational database systems
- database
- set theory