Pushing Semantics Inside Recursion: A General Framework for Semantic Optimization of Recursive Queries.
Laks V. S. LakshmananRokia MissaouiPublished in: ICDE (1995)
Keyphrases
- recursive queries
- transitive closure
- datalog programs
- semantic information
- aggregate functions
- query containment
- deductive databases
- query optimization
- query language
- expressive power
- natural language
- fixpoint
- database systems
- logic programming
- database
- complex objects
- semi structured data
- query evaluation
- first order logic
- databases