Login / Signup
A While Program Normal Form Theorem in Total Correctness.
Kim Solin
Published in:
RelMiCS (2009)
Keyphrases
</>
normal form
database design
relational databases
relational algebra
functional dependencies
nested relations
information content
data dependencies
databases
relational database theory
decision trees
management system
database systems
relational calculus
boolean expressions
case study
set of functional dependencies