Как указать набор эквивалентных функциональных зависимостей для данного отношения

введите здесь описание изображения

Нам сказали, что FD:

A->B
B->C
C->A

Но с транзитивным правилом, поскольку A->B и B->C это также означает:

A->C

Я понял, что:

A->BC верно, так как A->B и A->C являются FD. Я могу разделить A->BC на A->B, A->C с помощью правила разделения

C->AB верно, поскольку C->A и из-за правила транзита: C->B верно (где C->A, A->B означает C->B)

Может ли кто-нибудь сказать мне правильный ответ и почему мой ответ неверен. Я не могу понять данный ответ.


functional-dependencies relational-algebra
person benscabbia    schedule 24.01.2015    source источник
comment
Что ж, обратная связь сообщает вам точно, почему ваш ответ неверен. Из него нельзя вывести B-›A.   -  person Mike Sherrill 'Cat Recall'    schedule 24.01.2015
comment
@MikeSherrill'CatRecall', какой ответ правильный (чтобы помочь мне понять это)?   -  person benscabbia    schedule 24.01.2015
comment
Правильный ответ тот, замыкание которого совпадает с замыканием множества S1. В вашем учебнике вас учат, как вычислять замыкание множества FD?   -  person Mike Sherrill 'Cat Recall'    schedule 24.01.2015
comment
Насколько мне известно, правила разделения (как объясняется в вашем ответе) не существует. Вероятно, проблема заключалась в выборе № 2. Я думаю, вам нужно выбрать между № 1 и № 4 (оба выглядят заманчиво :)   -  person NoChance    schedule 25.01.2015
comment
То, что ОП называет расщеплением, носители английского языка называют разложением.   -  person Mike Sherrill 'Cat Recall'    schedule 26.01.2015

Ответы (1)


arrow_upward
0
arrow_downward

Обсуждение того, почему ваш ответ неверен, можно найти в комментариях.

Правильный ответ №4: только в этом ответе A, B и C являются суперключами, как и в исходном наборе функциональных зависимостей. В #1 A не является суперключом (например, A -> B не подходит), в #3 C не является суперключом (например, C -> B не поддерживается).

person Alexander Serebrenik    schedule 08.02.2015
comment
это странно, я не мог прийти в себя, но после того, как я оставил его на несколько недель, все просто щелкнуло и теперь кажется чрезвычайно очевидным (я думаю, что увлекся и перебрал сложные вещи)! И в заключение, это явно не # 2 из-за того, что B не является суперключом (например, B -> C не выполняется) - person benscabbia; 09.02.2015