Keyphrases
- recursive queries
- abstract interpretation
- termination analysis
- static analysis
- transitive closure
- query optimization
- query language
- expressive power
- active rules
- model checking
- datalog programs
- semi structured data
- reasoning engine
- dynamic analysis
- relational algebra
- database theory
- active databases
- deductive databases
- fixpoint
- query containment
- database systems
- cost model
- data model
- knowledge base
- path expressions
- databases
- structured data
- logic programs
- distributed systems
- source code
- data mining