Правила функциональной зависимости

Question

Даны следующие функциональные зависимости: ABD -> C и C -> B

тогда этого достаточно, чтобы сказать, что AD -> C?

Обоснование состоит в том, что вы получите ABD -> CB, а затем B можно удалить с обеих сторон.

Answer 1

A+ = {A}
B+ = {B}
C+ = {B,C}   
D+ = {D}
AD+ = {A,D} 

Вы не можете удалить их с обеих сторон, так же, как вы не можете удалить C с обеих сторон в C+, показанном выше. Таким образом, ответ заключается в том, что этих двух FD недостаточно, чтобы сказать, что AD->C