Enhancing the expressive power of the U-Datalog language
Elisa BertinoBarbara CataniaRoberta GoriPublished in: CoRR (2004)
Keyphrases
- expressive power
- relational calculus
- relational query languages
- query language
- data complexity
- first order logic
- transitive closure
- relational algebra
- computational properties
- aggregate functions
- database query languages
- monadic second order logic
- programming language
- disjunctive datalog
- natural language
- databases
- relational data model
- data model
- exptime complete
- knowledge representation
- relation algebra