范式中Σ和Σ+的用法

Question

XΣ+ {A}∈Σ+：X→{A}是平凡的，或者A是主属性，或者X不是候选键的真子集。根据上面的理论，考虑下面的例子。

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

在上面的例子中，考虑了Σ+，而不是Σ+，它在第二个范式中，Σ不违反范式理论，我怎么能暗示Σ+也不违反范式理论呢？

Answer 1

你可以清楚地写出你对2NF的定义：

具有FD覆盖集Σ的

关系模式R在2NF中

当..。R.。对于Σ+中的所有X→{A} ...

然后，您可以明确地命名您的示例值：

R1 = {STUDENT#，FACULTY，COURSE#，SNAME}

系1= {{STUDENT#}系{名称，系}，{系}→{系}}

然后你可以清楚地写出你的假设：

如果具有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的值有关系吗？)