Login / Signup

Conditional Rewrite Rules: Confluence and Termination.

Jan A. BergstraJan Willem Klop
Published in: J. Comput. Syst. Sci. (1986)
Keyphrases
  • rewrite rules
  • term rewrite systems
  • rewrite systems
  • rewriting rules
  • term rewriting
  • transformation rules
  • query optimization
  • active rules
  • sql queries
  • consistency constraints
  • complex queries
  • execution plan