Использование Σ и Σ + в нормальных формах

Question

X → {A} ∈ Σ +: X → {A} тривиален, или A является простым атрибутом, или X не является надлежащим подмножеством ключа-кандидата.В соответствии с приведенной выше теорией рассмотрим следующий пример.

R = {STUDENT#, FACULTY, COURSE#, SNAME}.
Σ = {{STUDENT#} → {SNAME, DEPARTMENT},
{DEPARTMENT} → {FACULTY}}

В приведенном выше примере рассматривается Σ, но не Σ +, а во 2-й нормальной форме. Если Σ не нарушает теории нормальной формы, как я могу это подразумевать?что Σ + также не нарушает нормальных теорий форм?

Answer 1

Вы можете написать свое определение 2NF четко:

схема отношений R с набором обложек FD Σ находится в 2NF
, когда ... R ... для всех X → {A}в Σ + ...

Тогда вы можете однозначно назвать ваши значения в качестве примера:

R1 = {STUDENT #, FACULTY, COURSE #, SNAME}
Σ1= {{STUDENT #} → {SNAME, DEPARTMENT}, {DEPARTMENT} → {FACULTY}}

Тогда вы можете написать свою гипотезу ясно:

если схема отношенийR1 с набором обложек FD Σ1 находится в 2NF
, тогда схема отношений R1 с набором обложек FD Σ1 + находится в 2NF

Затем можно подставить аргументы для параметров в определении:

если ... R1 ... для всех X → {A} в Σ1 + ...
, то ... R1 ... для всех X → {A} в Σ1 ++ ...

Затем вы можете показать, что для всех множеств FD S, S ++ = S +.

Затем вы можете заменить Σ1 ++ на Σ1 + в последней версии гипотезы.

(Имеет ли значение, что значения R1 &Σ1 были?)