Eager Normal Form Bisimulation.

Søren B. Lassen

Published in: LICS (2005)

Keyphrases

normal form
functional dependencies
database design
relational databases
relational algebra
nested relations
information content
data dependencies
disjunctive normal form
database
databases
relational calculus
database systems
object oriented
boolean expressions