内容发布更新时间 : 2024/12/23 4:19:18星期一 下面是文章的全部内容请认真阅读。
SC中，成绩完全依赖于(学号，课程号)，在C中，主属性是课程号，其他非主属性均完全依赖于课程号。因此这个分解是2NF模式。
(3) 上述两个模式，SC已是3NF，而在C中，TADDR传递依赖于课程号，因此还需分成两个模式：
C1(课程号，TNAME)， T(TNAME，TADD)。 总共有三个模式。是第三范式了。
15.已知学生关系模式
S(Sno，Sname，SD，Sdname，Course，Grade)
其中：Sno学号、Sname姓名、SD系名、Sdname系主任名、Course课程、Grade成绩。 (1)写出关系模式S的基本函数依赖和主码。
(2)原关系模式S为几范式？为什么？分解成高一级范式，并说明为什么? (3)将关系模式分解成3NF，并说明为什么? 参考解答：
(1)写出关系模式S的基本函数依赖和主码。 答: 关系模式S的基本函数依赖如下：
Sno→Sname，SD→Sdname，Sno→SD，(Sno，Course) →Grade 关系模式S的码为：（Sno，Course）。
(2)原关系模式S为几范式？为什么？分解成高一级范式，并说明为什么?
答: 原关系模式S是属于1NF的，码为(Sno，Course)，非主属性中的成绩完全依赖于码，而其它非主属性对码的函数依赖为部分函数依赖，所以不属于2NF。
消除非主属性对码的函数依赖为部分函数依赖，将关系模式分解成2NF如下： S1(Sno，Sname，SD，Sdname) S2(Sno，Course，Grade)
(3)将关系模式分解成3NF，并说明为什么? 答: 将上述关系模式分解成3NF如下：
关系模式S1中存在Sno→SD，SD→Sdname，即非主属性Sdname传递依赖于Sno，所以S1不是3NF。进一步分解如下：
S11(Sno，Sname，SD) S12(SD，Sdname) 分解后的关系模式S11、S12满足3NF。
对关系模式S2不存在非主属性对码的传递依赖，故属于3NF。所以，原模式S(Sno，Sname，SD，Sdname，Course，Grade)按如下分解满足3NF。
S11(Sno，Sname，SD) S12(SD，Sdname)S2(Sno，Course，Grade)
16．指出下列关系模式是第几范式 (1)R(X，Y，Z) FD={XY?Z}
其典型实例就是我们的SC（Sno，Cno，Grade） R(X，Y，Z)的主码为XY，非主属性为Z。
关系模式R(X，Y，Z)中不存在非主属性对码的部分函数依赖——>属于二范式 关系模式R(X，Y，Z)中不存在非主属性对码的传递函数依赖——>属于三范式 关系模式R(X，Y，Z)中起决定作用的只有码——>属于BC范式 故在函数依赖范围内，关系模式R(X，Y，Z)属于BC范式 (2)R(X，Y，Z) FD={ Y?Z， XZ?Y } R(X，Y，Z)的主码为XZ，非主属性为Y 属于第三范式：因为其中不存在非主属性；
但不属于BC范式：因为起决定作用的除了码以外还有非主属性（Y） (3)R(X，Y，Z) FD={ Y?Z， Y?X， X?YZ } R(X，Y，Z)的候选码为Y和X，非主属性为Z
- 33 -
不存在非主属性对码的部分函数依赖和传递函数依赖，故属于三范式 又，起决定作用的只有码，所以也是BC范式 (4)R(X，Y，Z) FD={ X?Y， X?Z } 典型实例Student（Sno，Sname，Ssex） R(X，Y，Z)的候选码为X，非主属性为Y和Z
不存在非主属性对码的部分函数依赖和传递函数依赖，故属于三范式 又，起决定作用的只有码，所以也是BC范式
(5)R(W，X，Y，Z) FD={ X?Z， WX?Y } 典型实例S_C（ Sno，Cno， Grade，，Cname） R(W，X，Y，Z)的候选码为WX，非主属性为Y和Z 因为非主属性Z不是完全依赖于码（WX），而是依赖于码中的一部分（X）， 所以存在非主属性对码的部分函数依赖，故没有达到二范式，仅属于一范式 (6)R(A，B，C，D) ，FD={B?D， AB?C } 典型实例S_C（Sno，Cno ，Grade，，Cname） R(W，X，Y，Z)的候选码为WX，非主属性为Y和Z 因为非主属性Z不是完全依赖于码（WX），而是依赖于码中的一部分（X）， 所以存在非主属性对码的部分函数依赖，故没有达到二范式，仅属于一范式 (7)R(A，B，C) FD={ A?B， B?A， C?A } 典型实例：若规定一个系的学生都住在一个住处，一个住处也只能入住一个系，则典型实例为：S_Loc(Sdept， Sloc， Sno)
主码为C，非主属性为AB，
因存在非主属性（B）对码C的传递函数依赖，故不是三范式，最多是二范式 又，不存在非主属性对码的部分函数依赖，故属于二范式。
- 34 -