Demetrovics, J., Libkin, L. & Muchnik, I. B. (1992). Functional dependencies in relational databases : A lattice point
of view. Discrete Applied Mathematics, 40, 155-185.