设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)：知足第二范式的前提下，全部非主属性不传递函数依赖于任何候选码。