Language equations with complementation: Expressive power.
Alexander OkhotinOksana YakimovaPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- expressive power
- transitive closure
- relational calculus
- query language
- relational query languages
- aggregate functions
- data complexity
- database query languages
- first order logic
- monadic second order logic
- relational algebra
- programming language
- computational properties
- natural language
- relational data model
- data model
- constraint query languages
- query evaluation
- constraint databases
- recursive queries
- database