数据库原理_数据依赖和关系模式的规范化.pptVIP

定理10-5 算法10-5产生一个保持依赖且化为3NF的分解。 算法10-6 求分解关系模式为3NF的一个无损且保持依赖 的分解。 　　输入：关系模式Ｒ及其函数依赖集Ｆ。 　　输出：分解Ｒ为3NF的一个无损且保持依赖的分解。 　　方法：首先用算法10-5求出分解R为3NF且保持依赖的分解 ，设 ＝｛R1，R2，…，Rk｝，设Ｘ为Ｒ的一个键，则 ＝ ∪{R(X)}。 　　 定理10-6　算法10-6产生一个保持依赖的化为3nf的无损 分解。 【例10-9】　设有关系模式R（S＃，SN，P，C，S，Z），其中S＃表示学号，SN表示学生姓名，P表示省，C表示市，S表示街道及号码，Z表示邮政编码。R满足函数依赖集F＝｛S＃→SN，S＃→P，S＃→C，S＃→S，S＃→Z｛P，C，S｝→Z，Z→P，Z→C｝。试分解R为3NF。 解：首先只保持依赖，分解R为3NF。 　 求F的最小覆盖，所有函数依赖右边已是单属性，但有些函数依 赖是冗余的。 　 因为S＃→P，S＃→C，S＃→S，故S＃→｛P，C，S｝。根据传递 律可得S＃→Z，即F中的S＃→Z能由其他函数依赖导出，可以省去。 　 用算法10-5求 ： ＝｛（S＃,SN,P,C,S）,（P,C,S,Ｚ）, （Z,P,C）｝ 　 因Ｒ的键为S＃，故可得 ＝｛（S＃,SN,P,C,S）, （P,C,S,Z）,(Z