Normal Forms for a Class of Formulas.

Huub M. M. ten Eikelder J. C. F. Wilmont

Published in: J. Symb. Comput. (1991)

Keyphrases

normal form
functional dependencies
boolean expressions
database design
nested relations
prime implicates
formal definitions
function symbols
relational databases
database theory
information content
knowledge compilation