Typed Normal Form Bisimulation for Parametric Polymorphism.

Søren B. Lassen Paul Blain Levy

Published in: LICS (2008)

Keyphrases

normal form
database design
functional dependencies
relational databases
relational algebra
nested relations
information content
data dependencies
relational database theory
database systems
integrity constraints
knowledge compilation
relational calculus
set of functional dependencies