Keyphrases
- termination analysis
- presburger arithmetic
- active rules
- active databases
- query rewriting
- preemptive scheduling
- rewrite rules
- rewriting rules
- term rewrite systems
- databases
- rewriting systems
- priority scheduling
- term rewriting
- quantifier elimination
- priority queue
- type checking
- conjunctive queries
- integrity constraints
- data integration
- computational complexity
- higher priority
- datalog programs
- response time
- genetic algorithm
- information retrieval