第一题
Y
(
X
1
,
X
2
,
X
3
,
X
4
)
Y(X1,X2,X3,X4)
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
解:
候选码: ( X 1 , X 2 ) (X1,X2) (X1,X2)
∵
X
2
→
X
4
\because X2 \rightarrow X4
∵X2→X4
∴
(
X
1
,
X
2
)
→
P
X
4
\therefore (X1,X2) \overset P \rightarrow X4
∴(X1,X2)→PX4
∴
Y
⊈
2
N
F
\therefore Y\not\subseteq 2NF
∴Y⊆2NF
∴
Y
⊆
1
N
F
\therefore Y\subseteq 1NF
∴Y⊆1NF
第二题
R
(
A
,
B
,
C
,
D
)
R(A,B,C,D)
R(A,B,C,D)
F
=
A
B
→
D
,
A
C
→
B
D
,
B
→
C
F= AB\rightarrow D,AC\rightarrow BD,B\rightarrow C
F=AB→D,AC→BD,B→C
候选码:
(
A
,
B
)
,
(
A
,
C
)
(A,B) ,(A,C)
(A,B),(A,C)
非主属性:D
A
B
→
D
AB\rightarrow D
AB→D
A
C
→
B
AC\rightarrow B
AC→B
A
C
→
D
AC\rightarrow D
AC→D
B
→
C
B\rightarrow C
B→C
∵
A
B
→
F
D
\because AB\overset F\rightarrow D
∵AB→FD
又
∵
A
C
→
F
D
又\because AC\overset F\rightarrow D
又∵AC→FD
∴
R
⊆
2
N
F
\therefore R\subseteq 2NF
∴R⊆2NF
又
∵
D
不
存
在
传
递
依
赖
又\because D不存在传递依赖
又∵D不存在传递依赖
∴
R
⊆
3
N
F
\therefore R\subseteq 3NF
∴R⊆3NF
∵
B
中
不
包
含
码
\because B中不包含码
∵B中不包含码
∴
R
⊈
B
C
N
F
\therefore R\not\subseteq BCNF
∴R⊆BCNF
第三题
R
(
X
,
Y
,
Z
,
W
)
R(X,Y,Z,W)
R(X,Y,Z,W)
F
=
Y
←
→
W
,
X
Y
→
Z
F=Y\leftarrow\rightarrow W,XY \rightarrow Z
F=Y←→W,XY→Z
解:
候选码:(X,Y),(X,W)
非主属性:Z
∵
X
Y
→
F
Z
\because XY\overset F \rightarrow Z
∵XY→FZ
又
∵
X
W
→
F
Z
又\because XW \overset F\rightarrow Z
又∵XW→FZ
∴
不
存
在
Z
的
部
分
函
数
依
赖
\therefore 不存在Z的部分函数依赖
∴不存在Z的部分函数依赖
∴
R
⊆
2
N
F
\therefore R\subseteq2NF
∴R⊆2NF
∵
Z
不
存
在
传
递
依
赖
码
\because Z不存在传递依赖码
∵Z不存在传递依赖码
∴
R
⊆
3
N
F
\therefore R\subseteq3NF
∴R⊆3NF
∵
Y
→
W
\because Y\rightarrow W
∵Y→W
又
∵
Y
中
不
包
含
码
又\because Y中不包含码
又∵Y中不包含码
∴
R
⊈
B
C
N
F
\therefore R\not\subseteq BCNF
∴R⊆BCNF