decomposition rule of functional dependencies