Normal forms in total correctness for while programs and action systems.

Published in: J. Log. Algebraic Methods Program. (2011)

Keyphrases

normal form
database design
functional dependencies
database theory
prime implicates
database
distributed systems
relational algebra
inference rules
provably correct