The Lattice Theory of Functional Dependencies and Normal Decompositions