07

Дано множество функциональных зависимостей S={A–>BC, B–>E, CD–>EF}, имеющих место для переменной-отношения R(A,B, C, D, E, F). Выполняется ли функциональная зависимость AD–>F для переменной-отношения R? Ответ пояснить.

Отношение: R(A,B,C,D,E,F)

Заданы функциональные зависимости:

S = {A --> BC, B --> E, CD --> EF}

Задача: AD->F Выводимо?

Решение:

A --> BC => A --> B, A --> C
A --> C => AD --> CD
AD --> CD, CD --> EF => AD --> EF
AD --> EF => AD --> E, AD --> F

AD->F выводимо.

<- or ->