Show the following rule for MVDs The attributes are arbitrar

Show the following rule for MVD\'s. The attributes are arbitrary sets X, Y, Z and the other unnamed attributes of the relation in which these dependencies hold. The Difference Rule. If X? Y, and Z are sets of attributes, X - > - > Y, and X - > - > Z, then X - > - > (Y-Z).

Solution

The decomposed relations in both the cases are same.