第2正規形
関係スキーマRにおいて成⽴する⾃明でない
どの関数従属性 X → Y においても
条件1. X が R の超キーである
のいずれかを満たすとき、Rは第2正規形である
第2正規形の例
条件2. Y が R のキー属性である
条件3. X が R のキーの部分集合でない
商品
ユーザ
営業担当 営業成績
FD4
FD1
2NFはBCNFの中間⽣成物なので重要性が低い
キーから関数従属性
をたどれば,
すべての属性が決まる
Q5: 関数従属性にもとづく正規化2
Q. 関係スキーマR およびその関数従属性が与えられ
たとき, R から3NFもしくはBCNFを導出せよ.
なお,途中過程も⽰すこと. また,分解の過程で
得られる関係スキーマに正規化レベルを付与せよ.
FD1
: A, B → C
FD2
: C → B
FD3
: C → D
FD4
: C → E
FD5
: E → F
R (A, B , C, D, E, F)
Slide 64
Slide 64 text
A4: 関数従属性にもとづく正規化2
A
B
E
C D
FD4
FD2
FD5
FD1
2NF
D F
FD5
BCNF
FD5
で分解
次の分解ターゲット
FD3 F
A
B
E
C D
FD4
FD2
FD1
2NF
FD3
Slide 65
Slide 65 text
A4: 関数従属性にもとづく正規化2
C E
FD4
BCNF
FD4
で分解
次の分解ターゲット
A
B
C D
FD2
FD1
2NF
FD3
A
B
E
C D
FD4
FD2
FD1
2NF
FD3
Slide 66
Slide 66 text
A4: 関数従属性にもとづく正規化2
C D
FD3
BCNF
FD3
で分解
A
B
C
FD2
FD1
3NF
A
B
C D
FD2
FD1
2NF
FD3
Slide 67
Slide 67 text
A4: 関数従属性にもとづく正規化2
D F
FD5
BCNF
C E
FD4
BCNF
C D
FD3
BCNF
3NF
A
B
C
FD1
R1
( D , F )
FD4
: D → F
R3
( C , D )
FD3
: C → D
R2
( C , E )
FD4
: C→ E
R4
( A, B, C )
FD1
: A, B → C FD2
: C → B
FD2