关系数据库的规范化

一、函数依赖

    数据以来是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系，是现实世界属性间相互联系和约束的抽象，是数据内在的性质，是语义的体现。函数依赖则是一种最重要、最基本的数据依赖。

    （1）函数依赖：设R（U）是属性集U上的关系模式，X和Y是U的子集。若对R(U)的任何一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数决定Y或Y函数依赖于X，记作X→Y。

    （2）非平凡的函数依赖：如果X→Y，但 Y ∉ X ，则称X→Y是非平凡的函数依赖。

    （3）平凡的函数依赖：如果X→Y，但是Y∈X，则称X→Y是平凡的函数依赖。

    （4）完全函数依赖：在R（U）中，如果X→Y，并且对于X的任何一个真子集X’，都有X’不能决定Y，则称Y对X完全函数依X　ｆ　＞Y。

    （5）部分函数依赖：如果Ｘ→Ｙ，但Ｙ不完全函数依赖Ｘ，则称Ｙ对Ｘ部分函数依赖，记作X　ｐ　＞Y。部分函数依赖也称局部函数依赖。(例如：学号，身份证→姓名，同样学号→姓名）

    （6）传递依赖：在Ｒ（Ｕ，Ｆ）中，如果Ｘ→Ｙ，Ｘ不包含Ｙ，Ｙ不能函数决定Ｘ，Ｙ→Ｚ，则称Ｚ对Ｘ传递函数依赖。

    （7）码：设Ｋ为Ｒ（Ｕ，Ｆ）中的属性的组合，若Ｋ→Ｕ，且对于Ｋ的任何一个真子集Ｋ’，都有Ｋ’不能觉得Ｕ，则Ｋ是Ｒ的候选码，若有多个候选码，则选一个作为主码。候选码通常也称候选码关键字。

    （8）主属性和非主属性：包含在任何一个候选码中的属性叫做主属性，否则叫做非主属性。

    （9）外码：若Ｒ（Ｕ）中的属性或属性组Ｘ非Ｒ的码，但Ｘ是另一个关系的码，则称Ｘ为外码。