数据库设计3范深入

根据三种关系完整性约束中实体完整性的要求，关系中的码（注２）所包含的任意一个属性都不能为空，所有属性的组合也不能重复。
为了满足此要求，图中的表，只能将学号与课名的组合作为码，否则就无法唯一地区分每一条记录。


3范的分析的思维流程：
一、
第1步：找出数据表中所有的码。
   定义：【码：关系中的某个属性或者某几个属性的组合，用于区分每个元组
（可以把“元组”理解为一张表中的每条记录，也就是每一行），（码之间没有依赖关系）】。
   【操作：查看所有每一单个（两个，三个依次往上）属性，当它的值确定了，是否剩下的所有属性值都能确定。】
	
第2步：根据第一步所得到的码，找出所有的主属性。【主属性有两个：学号和课程】

第3步：数据表中，除去所有的主属性，剩下的就都是非主属性了。【非主属性有四个：姓名、系名、系主任、分数】

第4步：查看是否存在非主属性对码的部分函数依赖。【（学号，课名） →  姓名 ：姓名依赖于学号但是不依赖与课程】
                                               【（学号，课名） →  系名 ：同上部分依赖：有两个以上属性的组合码才存在部分依赖】
											   【（学号，课名） →  系主任 ： 同上】
二、所以表存在非主属性对于码的部分函数依赖，最高只符合1NF的要求，不符合2NF的要求，为了让表符合2NF的要求，我们必须消除这些部分函数依赖，
只有一个办法，就是将大数据表拆分成两个或者更多个更小的数据表，在拆分的过程中，要达到更高一级范式的要求，这个过程叫做”模式分解“。

三、仅仅符合2NF的要求，很多情况下还是不够的，而出现问题的原因，在于仍然存在非主属性系主任对于码学号的传递函数依赖
3NF在2NF的基础之上，消除了非主属性对于码的传递函数依赖。也就是说， 如果存在非主属性对于码的传递函数依赖，则不符合3NF的要求。

验证数据库合理的方法：
1、每一名学生的学号、姓名、系名、系主任这些数据重复多次。每个系与对应的系主任的数据也重复多次——数据冗余过大。
2、假如学校新建了一个系，但是暂时还没有招收任何学生（比如3月份就新建了，但要等到8月份才招生），那么是无法将系名与系主任的数据单独地添加到数据表中去的 ——插入异常注(2NF)
3、假如将某个系中所有学生相关的记录都删除，那么所有系与系主任的数据也就随之消失了（一个系所有学生都没有了，并不表示这个系就没有了）。——删除异常（3NF）
4、假如李小明转系到法律系，那么为了保证数据库中数据的一致性，需要修改三条记录中系与系主任的数据。——修改异常。（2NF）

精华总结：
                           解决
部分：有多个主属性组成的码--------->每一个主属性一个码分离成一个表。

                                                解决
传递：一个非主属性通过另一个非主属性依赖与码------------> 把这两个非主属性分离到另一个表