一、函数依赖
设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
