Нетривиальная функциональная зависимость в замыкании множества функциональной зависимости

enter code hereЯ готовлюсь к экзамену по базе данных.

У меня есть вопрос о поиске нетривиальной функциональной зависимости для R={A,B,C,D,E,F,G} с заданным набором функциональных зависимостей как:

A->B
A->D
C->EA
F->G

Ключ-кандидат в этом случае — CF, поскольку CF+=ABCDEFG

Нетривиальная функциональная зависимость может быть C->B

Верно ли это? Если нет, то как рассчитать нетривиальную функциональную зависимость и как ее доказать с помощью аксиом Армстронга?

Спасибо за ваше терпение и время


relational-database functional-dependencies
person user1214208    schedule 15.09.2012    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Намекать:

C->EA

эквивалентно

C->E и C->A

person Tegiri Nenashi    schedule 17.09.2012
comment
Ок, понял. C->B может быть получено C->EA, которое по правилу декомпозиции может быть C->E и C->A A->B По транзитивности, C->B, которое является нетривиальной функциональной зависимостью Правильно ли я понимаю? - person user1214208; 17.09.2012