Если у меня есть отношение R (A, B, C, D, E), а FDs A -> C, AB -> D, CD -> E, E полностью функционально зависит от AB?

Question

Допустим, мы имеем отношение R (A, B, C, D, E)

СОБ являются:
A -> C
AB -> D
CD -> E

Я знаю, что ключ - это AB.

Мой вопрос: Является ли E полностью или частично зависимым от AB?

Я думаю, что это полностью зависит, так как AB определяет E, если я использую правила вывода FD. Но мой коллега говорит, что E частично зависит от AB, поскольку C частично зависит от AB. Что является правильным?

Спасибо за вашу помощь

Answer 1

Это полностью зависит от AB, потому что вы не имеете зависимость (даже транзитивно один) A->E или B->E. На практике это означает: если я скажу вам значение AилиB, вы не смогли бы сообщить мне значение E - вам нужно и значения для вывода значения. Посмотрите на this short page on functional dependencies:

Y полностью функционально зависит от X и не должно быть никаких Z → Y, где Z представляет собой собственное подмножество X.

В этом контексте A или B бы - подмножества.

Глядя на все ваши отношения в более широкой картине, это похоже на теоретическую конструкцию. По крайней мере, это было бы плохо проработан:

• CD -> EПерерывы третья нормальная форма
• A -> CПерерывы второй нормальной формы - C частично зависит от AB