4 关系数据理论

一、函数依赖

      设R(U)是属性U上的关系模式，X,Y是U的子集，若对于R(U)的任意一个可能的关系r，r中不可能存在另个元祖在X上的属性值相等，而在Y上的属性值不等，则成X函数确定Y或Y函数依赖与X。

1.完全函数依赖

     在R(U)中，如果X->Y，并且对X的任何一个真子集X，都有X不依赖于Y，则称Y对X完全函数依赖。

2.部分函数依赖

     在R(U)中，如果X->Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖。

3.传递函数依赖

     在R(U)中，如果X->Y，Y不依赖与X，Y依赖于Z，则称Z对X传递函数依赖。

二、范式

5NF<4NF<3NF<BCNF<2NF<1NF

1.1NF

2.2NF

3,3NF

4.BCNF

5.4NF

6.5NF