Deterministic Semantics for Datalog¬: Complexity and Expressive Power.
Sergio GrecoDomenico SaccàPublished in: DOOD (1997)
Keyphrases
- expressive power
- disjunctive datalog
- relational calculus
- computational properties
- relational query languages
- query language
- first order logic
- data complexity
- relational algebra
- database query languages
- exptime complete
- aggregate functions
- transitive closure
- computational complexity
- fixpoint semantics
- data model
- datalog programs
- default reasoning
- logic programming
- relational databases