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[RB]t2[RB]不等

A→→BC成立,但A→→B不成立

8.34

4NF考虑了多值依赖的存在,而只考虑函数依赖的BCNF显然会比4NF多出冗余信息,故4NF更好

Logo

DAMO开发者矩阵,由阿里巴巴达摩院和中国互联网协会联合发起,致力于探讨最前沿的技术趋势与应用成果,搭建高质量的交流与分享平台,推动技术创新与产业应用链接,围绕“人工智能与新型计算”构建开放共享的开发者生态。

更多推荐