Show the following rule for MVDs The attributes are arbitra

$^^$

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

Q12)