Может ли атрибут, который появляется только в RHS функциональной зависимости, быть основным атрибутом?

Question

Я работаю над проблемой нормализации и зависаю от того, находится ли данное отношение в форме 2NF.Отношение задается как R (A, B, C, D, E, F, G), а набор FD задается как:

{A-> B, B-> AC, F->ACDE, ADE-> FG}.

Ключами-кандидатами, которые я нашел, являются {F, ADE, BDE, ACDE}.Однако я немного сбит с толку, если ACDE разрешено быть ключом-кандидатом, поскольку, насколько я понимаю, для того, чтобы атрибут появился в ключе, он должен либо появиться на LHS, либо на ОБА LHS и RHS функциональной зависимости.Если ACDE является допустимым ключом, то будет ли он нарушать 2NF, поскольку ADE является подмножеством ACDE и все еще может генерировать непростой атрибут G?

Answer 1

ACDE - это не ключ-кандидат, это просто супер-ключ.Это легко увидеть, если учесть, что ACDE содержит ADE, который является ключом-кандидатом.

На самом деле C не может быть основным атрибутом, поскольку любой атрибут появляетсяТолько в RHS функциональные зависимости не могут быть частью какого-либо ключа.

Так что в этом случае есть только три ключа-кандидата: ADE, BDE и F, и отношение не в 2NF, так как C, который являетсяне основной атрибут, определяется из подходящего подмножества ключа-кандидата.Например, это определяется из B.