函数依赖：设X,Y是关系R的两个属性集合，当任何时刻R中的任意两个元组中的X属性值相同时，则它们的Y属性值也相同，则称X函数决定Y，或Y函数依赖于X。简单说：某个属性集决定另一个属性集时，称另一属性集依赖于该属性集。
平凡函数依赖：当关系中属性集合Y是属性集合X的子集时(Y⊆X)，存在函数依赖X→Y，即一组属性函数决定它的所有子集。
非平凡函数依赖：当关系中属性集合Y不是属性集合X的子集时，存在函数依赖X→Y，这种函数依赖为非平凡函数依赖。
完全函数依赖：设X,Y是关系R的两个属性集合，X’是X的真子集，存在X→Y，但对每一个X’都有X’!→Y，称Y完全函数依赖于X。
部分函数依赖：设X,Y是关系R的两个属性集合，存在X→Y，若X’是X的真子集，存在X’→Y，称Y部分函数依赖于X。
传递函数依赖:设X,Y,Z是关系R中互不相同的属性集合，存在X→Y(Y!→X),Y→Z，称Z传递函数依赖于X。
多值依赖：设R(U)是属性集U上的一个关系模式。X，Y，Z是U的子集,并且Z=U-X-Y。关系模式R(U)中多值依赖X→→Y成立，当且仅当对R(U)的任一关系r,给定的一对(x，z)值有一组Y的值，这组值仅仅决定于x值而与z值无关。若X→→Y,而Z为空集，则称X→→Y为平凡的多值依赖；若Z不为空，则称其为非平凡的多值依赖。
1NF消除决定因素
↓ 消除非主属性对码的部分函数依赖
2NF
↓ 消除非主属性对码的传递函数依赖
3NF
↓ 消除主属性对码的部分和传递函数依赖
BCNF
↓ 消除非平凡且非函数依赖的多值依赖
4NF
↓消除不是由候选码所蕴含的连接依赖
5NF