Circumscribing DATALOG: Expressive Power and Complexity.
Marco CadoliLuigi PalopoliPublished in: Theor. Comput. Sci. (1998)
Keyphrases
- expressive power
- query language
- data complexity
- first order logic
- exptime complete
- transitive closure
- computational properties
- disjunctive datalog
- relational algebra
- databases
- relational calculus
- aggregate functions
- relational query languages
- spatial databases
- normal form
- recursive queries
- incomplete information
- database