This document has moved.

See there for an updated version: Functional dependencies (FDs) and 3NF normalization with the synthesis algorithm