Unification of drags and confluence of drag rewriting.
Jean-Pierre JouannaudFernando OrejasPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- rewrite systems
- knuth bendix
- higher order
- rewrite rules
- theorem proving
- rewriting rules
- query rewriting
- queries using views
- conjunctive queries
- rewriting systems
- data sets
- term rewriting
- equational theories
- function symbols
- presburger arithmetic
- termination analysis
- regular path queries
- theorem prover
- query optimization
- expert systems
- case study