Login / Signup

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.

Guillem GodoyAshish TiwariRakesh M. Verma
Published in: Appl. Algebra Eng. Commun. Comput. (2004)
Keyphrases
  • term rewrite systems
  • rewrite rules
  • definite clause
  • query optimization
  • data driven
  • databases
  • object oriented
  • data management
  • consistency constraints
  • transformation rules