A Normal Form for Logical Derivations Implying One for Arithmetic Derivations.

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

normal form
nested relations
functional dependencies
database design
relational algebra
relational databases
information content
data dependencies
inference rules
multi valued
decision trees
prime implicates
databases
data structure
first order logic
disjunctive normal form