On the First-Order Expressibility of Recursive Queries.
Stavros S. CosmadakisPublished in: PODS (1989)
Keyphrases
- recursive queries
- transitive closure
- first order logic
- expressive power
- query language
- query optimization
- datalog programs
- relational algebra
- fixpoint
- semi structured data
- relational data model
- horn clauses
- data model
- query containment
- database
- theorem proving
- data complexity
- inference rules
- inductive logic programming
- database systems