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). 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. Removing attributes shared by left and right side. If X Y holds, then X (Y-X) holds.

Solution

Q11)