Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.

Søren B. Lassen

Published in: LICS (2006)

Keyphrases

normal form
relational calculus
relational algebra
relational databases
database design
functional dependencies
nested relations
information content
data dependencies
prime implicates
databases
database systems
data types
fixed point