X→{A}∈Σ+ ： X→{A}不重要或 A是主要属性或 X不是候选关键字的适当子集。 根据上述理论，请考虑以下示例。
R = {STUDENT#, FACULTY, COURSE#, SNAME}.
Σ = {{STUDENT#} → {SNAME, DEPARTMENT},
{DEPARTMENT} → {FACULTY}}
在上面的示例中，考虑了Σ，但不考虑Σ+及其第二范式。如果Σ不违反范式理论，那我可以暗示Σ+也没有违反范式理论吗？
答案 0 :(得分：1)
您可以清楚地写出2NF的定义：
具有FD封面集Σ的关系模式R在2NF中
中的所有X→{A}
当... R ...对于Σ+ ...
然后，您可以明确地命名示例值：
R1 = {学生＃，FACULTY，课程＃，SNAME}
Σ1= {{学生＃}→{SNAME，部门}，{部门}→{FACULTY}}
然后，您可以清楚地编写假设：
如果具有FD封面集Σ1的关系架构R1位于2NF中，
那么具有FD封面集Σ1+的关系模式R1位于2NF
然后您可以将参数替换为定义中的参数：
如果...Σ1+中所有X→{A}的R1 ... ...
然后...Σ1++中所有X→{A}的R1 ... ...
然后您可以证明对于所有FD集S，S ++ = S +。
然后，您可以在最新版本的假设中将Σ1++替换为Σ1+。
（R1和Σ1的值是否重要？）