第七章【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条件可以延申推导【8.30 e】8.30 考点【计算闭包、验证超码、正则覆盖、3NF、BCNF】【a 计算闭包】【b 验证超码】【c 正则覆盖】【d 3NF】【e BCNF】8.31 考点【BCNF】【a BCNF的条件】【b BCNF的拆解方法】8.32 考点【无关属性、BCNF、无损验证、保持依赖】【a 无关属性】【b BCNF】【c 无损验证】【d 保持依赖】8.33 考点【候选码、正则覆盖、3NF】【a 找候选码】【b 正则覆盖】【c d 3NF】8.34 考点【候选码、正则覆盖、3NF】【a 找候选码】【b 正则覆盖】【c d 3NF】