Login / Signup
Normal Form Bisimulations for Delimited-Control Operators
Dariusz Biernacki
Sergueï Lenglet
Published in:
CoRR (2012)
Keyphrases
</>
normal form
database design
relational algebra
relational databases
functional dependencies
nested relations
multi valued
information content
data dependencies
prime implicates
set of functional dependencies
relational database theory
data model
database