8.18
考虑R(A,B,C)
F:A→→B
R中无函数依赖,自然是BCNF,A不是超码,故不是4NF
8.33
考虑实例
A | B | C | D | |
---|---|---|---|---|
t1t_1t1 | a | b | c | n |
t2t_2t2 | a | x | m | d |
t3t_3t3 | a | b | c | d |
t4t_4t4 | a | x | m | n |
满足A→→BC
但t3[R−B]与t2[R−B]不等t_3[R-B]与t_2[R-B]不等t3[R−B]与t2[R−B]不等
A→→BC成立,但A→→B不成立
8.34
4NF考虑了多值依赖的存在,而只考虑函数依赖的BCNF显然会比4NF多出冗余信息,故4NF更好