8.18
考虑R(A,B,C)
F:A→→B
R中无函数依赖,自然是BCNF,A不是超码,故不是4NF
8.33
考虑实例
A | B | C | D | |
---|---|---|---|---|
t 1 t_1 t1 | a | b | c | n |
t 2 t_2 t2 | a | x | m | d |
t 3 t_3 t3 | a | b | c | d |
t 4 t_4 t4 | a | x | m | n |
满足A→→BC
但 t 3 [ R − B ] 与 t 2 [ 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更好