On the Expressive Power of the Loop Language.
Tristan CrolardSamuel LacasPierre ValarcherPublished in: Nord. J. Comput. (2006)
Keyphrases
- expressive power
- relational calculus
- first order logic
- query language
- data complexity
- aggregate functions
- relational algebra
- monadic second order logic
- database query languages
- transitive closure
- computational properties
- relational query languages
- programming language
- relational data model
- natural language
- database
- data model
- type checking
- expert systems
- constraint query languages