Termination of Lazy Rewriting Revisited.
Felix SchernhammerBernhard GramlichPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- termination analysis
- active rules
- presburger arithmetic
- active databases
- rewrite rules
- term rewriting
- term rewrite systems
- conjunctive queries
- type checking
- quantifier elimination
- rewrite systems
- rewriting rules
- query rewriting
- real time
- lazy learning
- learning algorithm
- database
- averaged one dependence estimators
- integrity constraints
- machine learning
- rewriting systems
- queries using views
- case study
- computational complexity
- multiply sectioned bayesian networks
- evolutionary algorithm