2021-04-26练习题＋规范化练习
目录
- 例题
-
- 一.
- 二．
- 三．
- 练习
例题
一.
Y(X1,X2,X3,X4)
( X 1 , X 2 ) → X 3 (X1,X2)\rightarrow X3 (X1,X2)→X3
X 2 → X 4 X2\rightarrow X4 X2→X4
侯选码？
属于第几范式？
候选码是（x1，x2）。
非主属性是x3，x4.
因为 ( X 1 , X 2 ) → F X 3 (X1,X2)\overset F\rightarrow X3 (X1,X2)→FX3
( X 1 , X 2 ) → P X 3 (X1,X2)\overset P\rightarrow X3 (X1,X2)→PX3 存在部分函数依赖，所以不属于第二范式，属于第一范式。
二．
R（A,B,C,D）
F={ A B → D AB\rightarrow D AB→D, A C → B D AC\rightarrow BD AC→BD, B → C B\rightarrow C B→C}
侯选码？
最高属于第几范式？
候选码（A,B）(A,C) 非主属性是D
D没有部分或者传递依赖于码，所以属于3NF.
并不是所有决定因素都包含码，所以不属于BCNF。
故最高属于第三范式。
三．
R（X,Y,Z,W）
F={ Y ← → W Y \leftarrow\rightarrow W Y←→W, X Y → Z XY\rightarrow Z XY→Z}
侯选码？
最高属于第几范式？
候选码是（X,Y）（W,X）非主属性Z
因为Z完全依赖于码，所以属于第二范式。
因为Z没有传递依赖于码，所以属于第三范式。
并不是所有的决定因素都包含码，所以不是BCNF
故最高属于第三范式。
练习
X ← Y X\leftarrow Y X←Y
X → Y X\rightarrow Y X→Y
Y ↚ Y Y \nleftarrow Y Y↚Y
X ↛ Y X \nrightarrow Y X↛Y
X ↚ Y X \not\leftarrow Y X←Y
X ↚ Y X \not\leftarrow Y X←Y
$X\leftarrow Y$
$X\rightarrow Y$
$Y \nleftarrow Y$
$X \nrightarrow Y$
$X \not\leftarrow Y$
$X \not\leftarrow Y$
X → F Y X \overset F\rightarrow Y X→FY
X ← F Y X\overset F\leftarrow Y X←FY
X → P Y X\overset P\rightarrow Y X→PY
X ← P Y X\overset P\leftarrow Y X←PY
X ← 传 递 Y X\overset {传递}\leftarrow Y X←传递Y
X → 传 递 Y X\overset {传递}\rightarrow Y X→传递Y
( S n o , C n o ) → F G r a d e (Sno,Cno)\overset F\rightarrow Grade (Sno,Cno)→FGrade
X ⟵ F Y X\overset F\longleftarrow Y X⟵FY
X ⟶ F Y X \stackrel {F} {\longrightarrow} Y X⟶FY
X ⟶ P Y X \stackrel {P} {\longrightarrow} Y X⟶PY
$X \overset F\rightarrow Y$
$X\overset F\leftarrow Y$
$X\overset P\rightarrow Y$
$X\overset P\leftarrow Y$
$X\overset {传递}\leftarrow Y$
$X\overset {传递}\rightarrow Y$
$(Sno,Cno)\overset F\rightarrow Grade$
$X\overset F\longleftarrow Y$
$X \stackrel {F} {\longrightarrow} Y$
$X \stackrel {P} {\longrightarrow} Y$
x ⊂ y x\subset y x⊂y
x ⊃ y x\supset y x⊃y
x ⊄ y x\not\subset y x⊂y
x ⊅ y x\not\supset y x⊃y
x ⊆ y x\subseteq y x⊆y
x ⊇ y x\supseteq y x⊇y
x ⊈ y x\nsubseteq y x⊈y
x ⊉ y x\nsupseteq 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$