Это в BCNF?

Question

Предположим, что отношение получается путем разложения из отношения с атрибутами ABCDEFGHI и что зависимости над ABCDEFGHI перечислены ниже.

R (A, B, F) B-> E A-> F

Нам нужно преобразовать это отношение в BCNF

То, что я сделал до сих пор, это

R1 (AB) R2 (AF) R3 (BE)

Isчто-нибудь еще, что я должен сделать?Это правильный BCNF или я что-то упустил?

Answer 1

Этот ответ следует из отредактированного вопроса под следующими гипотезами:

1. исходное отношение R (ABCDEFGHI)
2. оболочка удерживающих его функциональных зависимостей - {B->E, A->F}

Конечно, если мои гипотезы неверны, ответ неверен!

В этом случае:

1. единственный ключ-кандидат исходного отношения ABCDGHI;
2. в разложенном отношении R1(ABF) единственной нетривиальной зависимостью, которая имеет место, является A -> F, поэтому отношение имеет единственный ключ-кандидат AB;
3. отношение не в BCNF, а разложение в BCNF равно {R2(AF), R3(AB)}

Обратите внимание, что вы не можете разложить отношение, добавив в свой посторонний атрибут, например, E.