关系数据库规范化之函数依赖和范式

设R(u)是一个属性集上的关系模式，x,y是u的子集。

函数依赖：如果x-->y,则称y函数依赖于x。

平凡函数依赖：如果x-->y，且y是x的子集。

非平凡函数依赖：如果x--->，且y不是x的子集。

完全函数依赖：如果x-->y，且x的任何一个真子集都不能推出y，则y完全函数依赖于x。

部分函数依赖：如果x-->y，且x的至少存在一个真子集能推出y，则y部分函数依赖于x。

传递函数依赖：如果x-->y，且y-/->x,y-->z，则称z传递函数依赖于x。

 

第一范式(1NF)：每个属性值都是一个不可分解的数据项。

第二范式(2NF)：满足第一范式的前提下，所有非主属性完全函数依赖于任何候选码。

第三范式(3NF)：满足第二范式的前提下，所有非主属性不传递函数依赖于任何候选码。