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

В настоящее время у меня есть набор/функциональные зависимости:

Отношение R{A, B, C, D, E, F } удовлетворяет следующим ФЗ:

AB → C C→A BC → D ACD → B BE → C CE → FA CF → BD D →EF

У меня есть ответ:

{A B → C, C → A, B C → D, B E → C, C E → F, C F → B D, D → E F}

Однако я знаю, что неприводимые множества не могут иметь два атрибута в правой части.

Что я делаю неправильно?


functional-dependencies
person user2158890    schedule 22.09.2013    source источник

Ответы (2)


arrow_upward
0
arrow_downward

Как мы знаем, мы должны следовать 3 свойствам, которые удовлетворяют. Один из них: Атрибуты RHS (зависимые) должны быть в одиночной форме. Если это нарушит, это приведет к неприводимому набору.

person user2845384    schedule 04.10.2013

arrow_upward
0
arrow_downward

сначала разложите FD, который имеет более одного атрибута в LHS.

i.e. CE->FA

затем возьмите CE-> F и CE-> A

и CF → BD

затем возьмите CF->B и CF->D

теперь реши это, ты получишь ответ.

person vaidehi shah    schedule 15.03.2017