Deep Inference and Its Normal Form of Derivations.

Published in: CiE (2006)

Keyphrases

normal form
database design
relational databases
relational algebra
functional dependencies
nested relations
data dependencies
information content
relational database theory
inference rules
prime implicates
data model
relational calculus
set of functional dependencies