Normal Form Bisimulations for Delimited-Control Operators.

Dariusz Biernacki Sergueï Lenglet

Published in: FLOPS (2012)

Keyphrases

normal form
functional dependencies
database design
relational databases
nested relations
relational algebra
multi valued
data dependencies
information content
prime implicates
relational database theory
database systems
incomplete information
management system
relational calculus
null values
xml documents