2.5k views

Given the following relation instance.

$$\begin{array}{|l|l|}\hline \text{X} & \text{Y} & \text{Z} \\\hline \text{1} & \text{4} & \text{2} \\ \text{1} & \text{5} & \text{3} \\ \text{1} & \text{6} & \text{3} \\ \text{3} & \text{2} & \text{2} \\\hline \end{array}$$

Which of the following functional dependencies are satisfied by the instance?

1. $XY \rightarrow Z$ and $Z \rightarrow Y$
2. $YZ \rightarrow X$ and $Y \rightarrow Z$
3. $YZ \rightarrow X$ and $X \rightarrow Z$
4. $XZ \rightarrow Y$ and $Y \rightarrow X$
edited | 2.5k views

If $A\to B$ then for each same value of $A$, $B$ value should be same. If all the $A$ values are distinct the FD hold irrespective of the $B$ values.

Since all $Y$ values are distinct FDs with $Y, YX$ and $YZ$ on LHS hold. So, option $B$ is correct.

In option A, $Z \to Y$ is violated as for same $Z$ value we have different $Y$ values.
Similarly in C, $X \to Z$ is violated and in D, $XZ \to Y$ is violated.

edited
+2
Yes. In (b) a is not repeating and so, FD trivially holds. In all other options, FD condition is easily violated.

Option B is correct.

a functional dependency $A \rightarrow B$ is said to hold if for two tuples t1 and t2 . If for t1[A] = t2[A] then t1[Y] = t2[Y].

Here we can manually check for each option with the given instance and option B satisfies

YZ->X and Y->Z. Here YZ uniquely determines X and Y uniquely determines Z.

edited

option b ia right.

edited
Ans: B YZ → X and Y → Z

1
2