2016关系模式的规化理论.pptVIP

第6章 关系模式的规范化理论 本章主要内容 　　关系数据库的规范化设计是指面对一个现实问题，如何选择一个比较好的关系模式集合。规范化设计理论对关系数据库结构的设计起着重要的作用。 本章主要内容 关系模式的规范化理论 6.1 关系模式设计中的问题 假设需要设计一个学生学习情况数据库StuDB。 下面我们以模式S_C_G（S#，SN，SD，SA，C＃，CN，G，PC＃）为例来说明该模式存在的问题。下表是其一个实例。 关系模式的分解 我们采用分解的方法，将上述S_C_G分解成以下三个模式： S（S＃，SN，SD，SA） C（C＃，CN，PC＃） S_C（S＃，C＃，G） 6.2 函数依赖 1）函数依赖(Functional Dependency，简称FD) 2）几种类型的函数依赖 几种类型的函数依赖 3）关系的关健字和超关键字 6.3 函数依赖的公理系统 6.3.1 函数依赖的逻辑蕴涵 6.3.2 Armstrong公理系统 6.3.3 函数依赖集的等价与覆盖 6.3.1 函数依赖的逻辑蕴涵 例如在上述的传递函数依赖中，由X→Y，Y→Z，推导出X→Z，这可以表示为： ｛X→Y，Y→Z｝? X→Z 其中: ?表示逻