SQL Server 数据库实验课第九周——6.2规范化

一．

Y(X1,X2,X3,X4)
(X1,X2)→X3
X2→X4
侯选码？
属于第几范式？
答案
候选码：(X1,X2)
非主属性：X3，X4
该关系模式属于第一范式
因为X2→X4，所以X4部分函数依赖于候选码(X1,X2)，故不属于第二范式。

二．

R（A，B，C，D）
F={AB→D，AC→BD，B→C}
侯选码？
最高属于第几范式？
答案
候选码：(A,B),(A,C)
非主属性：D
该关系模式属于第三范式
该关系模式不存在部分函数依赖
虽然AC→BD，B→C，但是B不是非主属性，所以该关系模式不存在传递函数依赖。
不属于BCNF，因为B→C，但是B不包含码

三．

R（X，Y，Z，W）
F={Y←→W，XY→Z}
侯选码？
最高属于第几范式？
答案
候选码：(X,Y),(X,W)
非主属性：Z
该关系模式属于第三范式
非主属性：Y,W
是完全函数依赖因为Z完全依赖于码
不存在传递函数依赖，因为没有谁依赖于Z
不是BCNF因为W→Y但是W不含主码

四

R（A,B,C,D,E） F={A→B,CE→A,E→D}
1 求候选码
2 最高属于第几范式，为什么？
3 分解到3NF
答案
1.候选码：(C,E)
2.最高属于第一范式
因为候选码（C,E），而E→D，则D部分依赖于码，故不属于第二范式
3.将该关系模式R分解为三个关系模式
F1(A→B)
F2(CE→A)
F3(E-D)
故R1（A,B）,R2(A,C,E),R3(D,E)

五

R(商店编号，商品编号，数量，部门编号，负责人)
每个商店的每种商品只在一个部门销售，
每个商店的每个部门只有一个负责人
每个商店的每种商品只有一个库存数量
1 求候选码
2 R已达第几范式？为什么？
3 若不属于3NF，分解成3NF
答案
1.候选码：(商店编号,商品编号)
2.R已达第二范式
因为由题知
商店编号，商品编号→部门编号
商店编号，商品编号→数量
商店编号，部门编号→负责人
非主属性：数量，部门编号，负责人
不存在部分依赖，但是存在传递依赖，因为：
商店编号，商品编号→商店编号，部门编号
商店编号，部门编号→负责人而没有什么依赖于负责人
3.分解：
F1（商店编号，商品编号→部门编号；商店编号，商品编号→数量）
F2（商店编号，部门编号→负责人）
故关系模式R1(商店编号，商品编号，数量，部门编号)
R2(商店编号，部门编号，负责人)

六

R(A,B,C,D,E,F) F={A→C,AB→D,C→E,D→BF}
1 写出关键字
2 分解到2NF
3 分解到3NF
4 分解到4NF
答案
1.关键码：(A,B)，(A,D)
2.分解到2NF
因为AB→A，A→C所以存在部分函数依赖
AD→F，D→F所以存在部分函数依赖
F1(AB→D)
F2(D→F)
F3(A→C，C→E)
分解为R1(A,B,D)，R2(D,F)，R3(A,C,E)
3. 分解到3NF
因为A→C，C→E，存在传递函数依赖
F1(AB→D，D→B)
F2(D→F)
F3(A→C）
F4(C→E)
分解为R1(A,B,D)，R2(D,F)，R3(A,C)，R4(C,E)
5. 分解到4NF
因为D→B，D不包含码

Unicode Arrows：

$\leftarrow$ $\to$ $\uparrow$ $\downarrow$ $\nleftarrow$ $\nrightarrow$
代码

$\leftarrow$ $\rightarrow$ $\uparrow$ $\downarrow$ $\not\leftarrow$ $\not\rightarrow$

Unicode Math Symbols

$\subset$ $\supset$ $\subseteq$ $\supseteq$ $⊈$ $⊉$

$\subset$ $\supset$ $\subseteq$  $\supseteq$ $\nsubseteq$ $\nsupseteq$

箭头

分解为R1(A,B)，R2(B,D)，R3(D,F)，R4(A,C)，R5(C,E)
$X\leftarrow Y$ $X\to Y$
$X\nleftarrow Y$ $X\nrightarrow Y$
$X\nleftarrow Y$ $X\nrightarrow Y$
$X\stackrel{F}{\to }Y$ $X\stackrel{F}{⟶}Y$
$X\stackrel{P}{\to }Y$ $X\stackrel{P}{⟶}Y$
$X\stackrel{传递}{\to }Y$ $X\stackrel{传递}{⟶}Y$
$(Sno,Cno)\stackrel{F}{\to }Grade$
$X\stackrel{F}{⟶}Y$

$X \leftarrow Y$ $X \rightarrow Y$ 
$X \nleftarrow Y$ $X \nrightarrow Y$
$X \not\leftarrow Y$ $X  \not\rightarrow Y$
$X \overset F \rightarrow Y$ $X \overset F \longrightarrow Y$
$X \overset P \rightarrow Y$  $X \overset P \longrightarrow Y$
$X \overset {传递} \rightarrow Y$ $X \overset {传递} \longrightarrow Y$
$(Sno,Cno) \overset F \rightarrow Grade$
$X \stackrel {F} {\longrightarrow} Y$

包含

$X\subset Y$ $X\supset Y$ $X\not\subset Y$ $X\not\supset Y$
$X\subseteq Y$ $X\supseteq Y$ $X⊈Y$ $X⊉Y$

$X \subset Y$ $X \supset Y$ $X \not\subset Y$ $X \not\supset Y$
$X \subseteq Y$ $X \supseteq Y$ $X \nsubseteq Y$ $X \nsupseteq Y$