Enhancing the expressive power of the U-Datalog language.
Elisa BertinoBarbara CataniaRoberta GoriPublished in: Theory Pract. Log. Program. (2001)
Keyphrases
- expressive power
- relational calculus
- relational query languages
- query language
- aggregate functions
- first order logic
- data complexity
- database query languages
- monadic second order logic
- programming language
- relational algebra
- transitive closure
- disjunctive datalog
- computational properties
- database
- recursive queries