Как проверить, находится ли разложение отношения в 3NF (третья нормальная форма)?

Question

Предположим, у меня есть схема R (ABCDE) и FD F = {AB C → D, C → E, D → B}. Как я могу проверить, находится ли это разложение (ABCD), (CE) в 3NF?

Answer 1

Используйте это как контрольный список для 2NF до BCNF:

---------------------------------------
For each nontrivial |        NF
    FD X --> Y      |
at least one holds  | 2nd   3rd   BCNF
---------------------------------------
X is a superkey        ✔     ✔     ✔

Y is a subkey          ✔     ✔

X is not a subkey      ✔
---------------------------------------

FD X --> Y is trivial iff Y ⊆ X

Ваш пример:

R(ABCDE)

F {ABC -> D, C -> E, D -> B}

R1 (ABCD)
R2 (CE)

Для R1 рассмотрите ABC -> D и D -> B.
Для R2 рассмотрим C -> E.

Рассматривая каждый из них как FD X -> Y, считается ли либо :

• X superkey,
• Y - это подключ.

Это должно ответить на вопрос "как?".