Login / Signup

Confluence of Conditional Term Rewrite Systems via Transformations.

Karl Gmeiner
Published in: WPTE@FSCD (2016)
Keyphrases
  • term rewrite systems
  • rewrite rules
  • viewpoint
  • transformation rules
  • databases
  • relational databases
  • nearest neighbor
  • xml data
  • consistency constraints