Added decompositions for functional dependencies