Unique Normal Form Property of Higher-Order Rewriting Systems.

Ken Mano Mizuhito Ogawa

Published in: ALP (1996)

Keyphrases

normal form
rewriting systems
higher order
database design
relational databases
relational algebra
functional dependencies
nested relations
rewriting rules
database systems
query language
relational calculus
set of functional dependencies