范式的定义
关系型数据库中的关系是需要满足一定条件的，满足这些不同程度的规范化就叫做范式。
范式按照规范化程度从低到高排序为第一范式，第二范式，第三范式，BC范式，第四范式，第五范式。
前导知识
函数依赖#
R(U)是属性集U的关系模型，X，Y是U的一个子集，对于R(U)中的任一个关系r，不可能存在两个元组在X上属性值相同，而在Y上属性值不同。则称X函数确定Y，或Y函数依赖X。
说人话：U是表(可能不止一个表，可以是有关系的多个表)的所有列，X，Y分别是这些属性列的一个子集，也就是若干个属性，对于所有在X这些属性上的值一样的行，在Y上的属性上也必须一样，满足这样条件的这若干个属性 X和Y叫称其函数依赖。
X相同则Y必须相同，但X不同Y可以相同，也可以不同。
如果Y是X的子集，就叫平凡的函数依赖，一般不考虑这种，因为就是废话，X整个都相同，子集肯定相同。
如果Y不是X的子集，叫做非平凡的函数依赖。
如果Y函数依赖X，那么X称为决定因素。
如果Y函数依赖X，但不依赖X的任何一个真子集，也就是X是极小的，那就称Y完全函数依赖X，否则称Y部分函数依赖X。
如果X决定Y，Y决定Z，且Y不决定X，那么称Z对X传递函数依赖。
码(键)#
U是属性全集，K是U的子集，若U完全函数依赖K，则称K为候选码，候选码若有多个，任意选择一个都可作为主码，若U部分函数依赖K，则称K为超码。显然，候选码当然也是超码，而且是最小的超码。
包含在任何一个候选码的属性都叫主属性，其他都叫非主属性。
在本书中主码和候选码统称为码，属性集K不是该关系模式(表)的码，而是另一个关系模式(表)的码，则称K为该关系模式(表)的外码。
求候选码#
例子：
举例
有这样一个配件管理表WPE(WNO,PNO,ENO,QNT),其中WNO表示仓库号，PNO表示配件号，ENO表示职工号，QNT表示数量。
有以下约束要求：
（1）一个仓库有多名职工；
（2）一个职工仅在一个仓库工作；
（3）每个仓库里一种型号的配件由专人负责，但一个人可以管理几种配件；
（4）同一种型号的配件可以分放在几个仓库中。
分析表中的函数依赖关系，可以得到：
（1）ENO->WNO;
（2）（WNO，PNO）->QNT
（3）（WNO，PNO）->ENO
（4）（ENO，PNO）->QNT
观察法?：#
候选码的定义就是一组能决定所有列(某一个元组)的属性。
所以根据这4个函数依赖关系，(WNO,PNO)显然肯定是，因为它可以决定QNT，也可以决定ENO，加上它本身，就是属性全集U了。
而(ENO,PNO)，虽然只有一个决定QNT，但是ENO可以单独决定WNO，所以显然(ENO,PNO)也就能一起决定QNT和WNO，因此也是候选码。
六大范式?
第一范式#
定义#
满足最基本的条件，每一个分量都是不可分的数据项。
说人话，每一列对应只有一个值。
第二范式#
定义#
R属于第一范式，且每一个非主属性完全函数依赖于任何一个候选码，则R属于第二范式
说人话，除了主码候选码之外的其他属性都要完全函数依赖于主码。
因为任意一个候选码都能作为主码，所以，也就是说，如果存在某个属性不是完全函数依赖于某一个候选码，可能是部分函数依赖，那就没了。
比如主键是(学号，课程号)，但是现在有一个属性完全函数依赖于学号，而部分函数依赖于(学号，课程号)，那就不满足第二范式。
第三范式#
定义#
R属于第二范式，若R中不存在码X，属性子集Y，非主属性Z，使得X决定Y，Y不决定X，Y决定Z，则R属于第三范式。
说人话，非主属性必须直接完全函数依赖于主键，中间不能有其他函数，即不能是传递函数依赖。
BC范式#
定义#
R属于第一范式，若X决定Y，且Y不是X的子集时X必含有码，即每一个决定因素都包含码，则R属于BC范式。
说人话， 若R是第一范式，且每个属性不部分函数依赖于候选码也不传递函数依赖于候选码，则R是BC范式，具体以下三点。所有非主属性对每一个码都是完全函数依赖。（也是第二范式要求）所有主属性对每一个不包含它的码也是完全函数依赖。（也就是排除了所有属性对码的部分依赖）没有任何属性完全函数依赖于非码的任何一组属性。（排除传递函数依赖）
实际上，BC范式就是在第三范式的基础上消除了主属性的传递依赖。
第四范式#
多值依赖#
说人话，多值依赖就是一个表中多对多的关系，如果可以分成两列，这两列多对多，这就平凡的多值依赖，如果是分成三列，固定某一列的值，其他两列多对多，这就是非平凡的多值依赖，第四范式要消除的就是非平凡的多值依赖。
函数依赖是特殊的多值依赖，因为多对多其实也是一对多。
定义#
R属于第一范式，对应R的每一个非平凡多值依赖，X->->Y，X都含有码，则R属于第四范式。
说人话，在满足第三范式的基础上，关系表中不能含有一个实体的两个或多个相互独立的多值因子。dalao博客
或者说，满足第四范式即要求每个非平凡的多值依赖都含有码，也就是实际上是函数依赖。
第五范式#
定义#
第五范式是指关系模式R依赖均由R候选码所隐含。
这辈子应该不会用到的内容，就不管了。
