Termination of Algebraic Rewriting with Inhibitors.
Paolo BottoniKathrin HoffmannFrancesco Parisi-PresiccePublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2006)
Keyphrases
- image sequences
- termination analysis
- presburger arithmetic
- algebraic structure
- active rules
- active databases
- rewriting rules
- rewrite systems
- conjunctive queries
- database
- term rewriting
- website
- queries using views
- rewrite rules
- quantifier elimination
- databases
- algebraic expressions
- algebraic curves
- algebraic geometry
- case study
- query rewriting
- higher order