MySQL——三范式及函数依赖
前言：范式是评价一个关系模式质量好坏，什么是关系模式质量好坏，可自行百度，下面开始正文
范式规范如下图：
第一范式：如果关系模式R的每个关系r的属性值都是不可分的原子值，称R是第一范式
通俗的说：一个表中每个属性值都是不可分的，比如:
经过范式改造
第二范式：在第一范式的基础上，每个非主属性完全依赖于主键（候选键）
通俗来说：一个关系模式非主属性完全依赖于一个候选码
可以看出，非主属性成绩依赖于{学号，课程}
非主属性地址依赖于学号，这时便为局部依赖
{学号，课程，成绩}
{学号，系别，地址}
粗体为主键
而在此表中
学号确定系别，系别不能确定学号，系别确定地址，学号通过系别确定地址
即：
在关系模式中，主键X，属性Y，及非主属性Z，有
X推出Y，Y推不出X，Y能推出Z，
这样的关系为传递依赖
第三范式：不存在上述关系的关系模式为三范式（消除传递依赖）
将上表分解
总结：一个崭新明天即将开始，继续前行