范式：设计关系数据库时，不同的规范要求成为范式。
范式越高，冗余越小。
第一范式：符合1NF的关系中每个属性都不可以再分；
第二范式：在1NF的基础上，消除了非主属性对于码的部分函数依赖；
第三范式：在2NF的基础上，消除了非主属性对于码的传递函数依赖；
BCNF范式：在3NF的基础上，消除主属性对于码的部分函数依赖和传递函数依赖。
完全函数依赖：在函数依赖x→y中，x为一个属性或属性组，x中不存在任何真子集能够推出y则称y对于x完全函数依赖。
部分函数依赖：y函数依赖x，但不是完全函数依赖于x，则称y部分函数依赖于x。即x中存在真子集能够推出y。
码：属性或者属性组，能够确定表中除它之外的所有属性。
主属性：包含在码中的任何一个属性，成为主属性，码之外的所有属性称为非主属性。
注：参考自：https://www.zhihu.com/question/24696366