Database normalization 正规形式中∑和∑+的用法

X→ {A}∈ Σ+ : X→ {A} 琐碎 A是一个基本属性或 X不是候选密钥的适当子集。 根据上述理论考虑下面的例子：

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

---

在上面的例子中，考虑了∑，但没有考虑∑及其第二范式。如果∑不违反范式理论，我怎么能暗示∑也不违反范式理论？

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

具有FD覆盖集∑的关系模式R在2NF中 什么时候R所有X→ {A} 在∑+

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

R1={学生、教员、课程、SNAME} ∑1={{STUDENT}→ {SNAME，DEPARTMENT}，{DEPARTMENT}→ {教员}

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

如果具有FD覆盖集∑1的关系模式R1在2NF中 那么，模式R1与FD覆盖集∑1+的关系在2NF中

然后可以用参数替换定义中的参数：

如果。。。R1。。。所有X→ {A} 在∑1+中。。。 然后R1。。。所有X→ {A} 在∑1++

然后您可以显示对于所有FD集S，S++=S+

然后，在最新版本的假设中，可以将∑1++替换为∑1+

R1∑1的值是多少有关系吗