On Generating Small Clause Normal Forms.

Andreas Nonnengart Georg Rock Christoph Weidenbach

Published in: CADE (1998)

Keyphrases

normal form
database design
functional dependencies
relational databases
database theory
relational algebra
relational database theory
information content
data dependencies
formal definitions
nested relations
object oriented
horn clauses