Login / Signup

Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems.

Yoshihito ToyamaMichio Oyamaguchi
Published in: CTRS (1994)
Keyphrases
  • normal form
  • term rewriting systems
  • functional dependencies
  • relational databases
  • desirable properties
  • database
  • database design
  • information content
  • relational algebra
  • set of functional dependencies