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 Union Rule. If X, Y, and Z are sets of attributes, X rightarrow rightarrow Y, and X rightarrow rightarrow Z, then X rightarrow rightarrow (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. The Intersection Rule. If X, Y, and Z are sets of attributes, X rightarrow rightarrow Y and X rightarrow rightarrow Z, then X rightarrow rightarrow (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. The Difference Rule. If X, Y and Z are sets of attributes, X rightarrow rightarrow Y, and X rightarrow rightarrow Z, then X rightarrow rightarrow (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 rightarrow rightarrow Y holds, then X rightarrow rightarrow (Y X) holds.

Solution

Q10)