A->BC ==> A->B A->C
B->C
A->B
AB->C [Extraneous attrib removed] ==> A->C
[A->B A->C B->C ] A->C is redundant
D is the answer.
https://www.youtube.com/watch?v=Q8j4lYeVIek
A-->BC and B--> C A---> C is transitive so min cover should b A-->B and B--> C
64.3k questions
77.9k answers
244k comments
80.0k users