Keyphrases
- termination analysis
- active rules
- presburger arithmetic
- multi dimensional
- knuth bendix
- term rewriting
- conjunctive queries
- active databases
- rewrite rules
- rewrite systems
- query rewriting
- information retrieval
- total order
- regular path queries
- queries using views
- rewriting systems
- algebraic structure
- type checking
- data structure
- artificial intelligence