Completing Partial Combinatory Algebras With Unique Head-Normal Forms.

Inge Bethke Jan Willem Klop Roel C. de Vrijer

Published in: LICS (1996)

Keyphrases

normal form
database design
relational databases
database theory
functional dependencies
relational algebra
nested relations
formal definitions
information content
prime implicates
data dependencies
case study
relational database theory
database systems
database applications
multi valued