函数依赖及范式

 

1、函数依赖

若对于R(U)的任意两个可能的关系r1、r2,若r1[x]=r2[x],则r1[y]=r2[y],或者若r1[x]不等于r2[x],则r1[y]不等于r2[y],称X决定Y(X→Y),或者Y依赖X。

 

 

2、完全函数依赖

设X,Y是关系R的两个属性集合,X’是X的真子集,存在X→Y,但对每一个X’都有X’!→Y,则称Y完全函数依赖于X。

 

3、部分函数依赖

设X,Y是关系R的两个属性集合,存在X→Y,若X’是X的真子集,存在X’→Y,则称Y部分函数依赖于X。

 

4、传递函数依赖

设X,Y,Z是关系R中互不相同的属性集合,存在X→Y(Y !→X),Y→Z,则称Z传递函数依赖于X。

 

5、范式

1NF

---消去非主属性对键的部分函数依赖--->

2NF

---消去非主属性对键的传递函数依赖--->

3NF

---消去主属性对键的传递函数依赖--->

BCNF

 


版权声明:本文为zhaoqiaoshi原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接和本声明。