关系规范化理论

总结：

一、函数依赖的推理规则

        1.自反律

        2.增光律

        3.传递律

        4.合并规则

        5.分解规则

        6.伪传递规则

        7.复合规则

二、关系规范化理论是什么？

关系数据库规范化理论就是数据库设计的一个理论指南。规范化理论提供了判断关系模式好坏的理论标准，帮助我们预测可能出现的问题，是数据库设计人员的有力工具，同时也使数据库设计工作有了严格的理论基础。首先了解函数依赖。

三、函数依赖基本概念

        在一个表里面，属性X可以映射到属性Y，也就是说知道了X就能确定Y，称X为决定因素。

四、一些术语和符号

（1）假设有A、B两个函数，A → B（A 决定 B，即A推出B，也叫做B函数依赖于A）。

（2）平凡函数依赖：当属性集Y是属性集X的子集时，必然存在函数依赖X→Y，这种类型称为平凡的函数依赖。

（3）非平凡函数依赖：如果Y不是X的子集，则X→Y为非平凡的函数依赖。

（4）部分函数依赖：X的某个真子集X’，有X’→Y，则称Y对X部分函数依赖。

（5）完全函数依赖：X的任何一个真子集X’，都没有X’→Y，则称Y对X完全函数依赖。

（6）传递函数依赖：若X→Y，没有Y→X，Y→Z，Y∉X，Z∉Y，则称Z对X传递函数依赖。

（7）范式：把关系模式规范化过程中为不同程度的规范化要求设立的不同的标准称为范式。

（8）无损连接分解：将泛关系模式R分解成数据库模式ρ，则称分解ρ相对于函数依赖集F是无损连接分解。

（9）保持函数依赖分解：把R分解成R1,R2,…,Rk后，函数依赖集F应被F在这些Ri上的投影所蕴含，则称分解ρ是保持函数依赖集F的分解。

五、函数依赖的推导规则

定律名称	条件	结果
自反律	Y⊆X⊆U	X→Y
增广律	X→Y，Z⊆U	XZ→YZ
传递律	Y→Y，Y→Z	X→Z
合并律	X→Y，X→Z	X→YZ
伪传递律	X→Y，YW→Z	XW→Z
分解律	X→Y，Z⊆Y	X→Z
复合律	X→Y，W→Z	XW→YZ