X→{A}∈Σ+：X→{A}是微不足道的，或者A是素数属性，或者X不是候选键的适当子集。根据上述理论，考虑以下例子。
R = {STUDENT#, FACULTY, COURSE#, SNAME}.
Σ = {{STUDENT#} → {SNAME, DEPARTMENT},
{DEPARTMENT} → {FACULTY}}
在上面的例子中，考虑Σ而不是Σ+，它是第二范式。如果Σ不违反正规形理论，我怎么能暗示Σ+也不违反正规形理论？
您可以清楚地写出2NF的定义：
FD覆盖集Σ的关系模式R在2NF 当... R ...对于所有X→Σ+中的{A} ...
然后，您可以明确地命名您的示例值：
R1 = {STUDENT＃，FACULTY，COURSE＃，SNAME} Σ1= {{学生＃}→{SNAME，DEPARTMENT}，{DEPARTMENT}→{FACULTY}}
然后你可以清楚地写出你的假设：
如果与FD覆盖集Σ1的关系模式R1在2NF中 然后关系模式R1与FD覆盖集Σ1+在2NF
然后，您可以使用参数替换定义中的参数：
if ... R1 ...对于Σ1+中的所有X→{A} ... 然后...... R1 ...对于Σ1++中的所有X→{A} ......
然后你可以证明对于所有FD集S，S ++ = S +。
然后你可以在最新版本的假设中用Σ1+代替Σ1++。
（R1和Σ1的值是什么？）