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

Скажем, у меня есть отношение с именем PAPER = {ID, Title, Description, No.Students, Quarter}.

Если я скажу ID -> Title и {Title, Quarter} -> No.Students. Есть ли аксиома, которая позволяет мне сказать {ID, Quarter} -> No.Students?

Потому что, если id определяет title, нельзя ли просто заменить title на id во второй функциональной зависимости?


database functional-dependencies
person Ogen    schedule 15.05.2014    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Одним из дополнительных правил, вытекающих из аксиом Армстронга, является правило псевдотранзитивности. В нем говорится, что

If A->B and BC->D then AC->D.

Подставляем свои условия. . .

If ID->Title and {Title, Quarter}->No.Students, then {ID, Quarter}->No.Students
person Mike Sherrill 'Cat Recall'    schedule 23.05.2014
comment
Просто из любопытства, могу ли я сказать Title -> Id? - person Ogen; 23.05.2014
comment
Не на основе функциональных зависимостей в вашем вопросе. - person Mike Sherrill 'Cat Recall'; 23.05.2014