In a schema with attributes A, B, C, D and E, with the following set of functional dependencies {A → B, A → C, CD → E, B → D, E → A}, which of the following functional dependencies are not implied by the above set ?
MH SET - 2020, SET Exam - 2020,
Answer: B
The dependency not implied is BD → CD.
Test each by computing the closure of its left side under {A → B, A → C, CD → E, B → D, E → A}.
- \(\{B, D\}^{+}\): B → D adds nothing new, and no other dependency applies, because each needs A, E or C. So \(\{B, D\}^{+} = \{B, D\}\), which lacks C: BD → CD is not implied.
- \(\{C, D\}^{+}\): CD → E, E → A, A → B gives ABCDE, so CD → AC holds.
- \(\{B, E\}^{+}\): E → A, B → D, so BE → AD holds.
- \(\{A, B\}^{+}\): A → C, B → D, so AB → CD holds.
Please log in or register to report this question.