Typed Normal Form Bisimulation.

Søren B. Lassen Paul Blain Levy

Published in: CSL (2007)

Keyphrases

normal form
database design
relational databases
functional dependencies
nested relations
relational algebra
data dependencies
relational database theory
disjunctive normal form
prime implicates
information content
decision trees
mutual information
knowledge compilation
propositional formulas