Termination of Associative-Commutative Rewriting by Dependency Pairs.
Claude MarchéXavier UrbainPublished in: RTA (1998)
Keyphrases
- term rewrite systems
- rewrite rules
- termination analysis
- active rules
- pairwise
- dependency relations
- rewriting rules
- special case
- rewrite systems
- query rewriting
- presburger arithmetic
- queries using views
- term rewriting
- associative memory
- multiscale
- database
- conjunctive queries
- query optimization
- probabilistic model
- information retrieval
- machine learning
- neural network