数据库 第七、八章习题总结
第七章
【7.21】
【7.22】
【7.23】
第八章
【8.25】
【8.26】
闭包计算
【8.30 a】
证明超码
【8.30 b】
无关属性：左侧是否能删，删除后是否仍然能推出原来的依赖（缺乏练习）
【8.32 a】
无损验证：即R1∩R2是否能决定R1或R2
【8.32 c】
保持依赖：F规则是否会跨表
【8.32 d】
找候选码：
①找右侧没有的，没有的一定在候选码中
②前后夹击
【8.34 a】
正则覆盖：最小的规则集合F
①拆右
②删依赖（删传递结论、删平凡、删多条件）
③合左
【8.30 c】
3NF
考查三个条件
①平凡
②左超
③右候选
考查合并方法
①找候选（不在右 则全取 左右夹击）
②正则覆盖（
Ⅰ拆右
Ⅱ删依赖（删传递结论、删平凡、删多条件）
Ⅲ合左
）
③合成正则覆盖为R1 R2 R3...
④验证任意候选码是否在单个R内
⑤删除包含
【8.34 d】
BCNF
考查两个条件
①平凡
②左超
考查拆分方法
①找违背
②分解为R1(α β)、R2(R-(β-α))（拆为已交验证的属性和没验证的属性+连接键）
③在R1 R2中分别验证原始规则集F的投影Fproj的BCNF条件（可以延申推导）