- 特别说明
本文中的出现的‘对象’，可以理解为数据库中的一条记录。
本文中的出现的‘属性’，可以理解为数据库中的一条记录中的字段。
主属性可以理解为数据库中的一条记录的主键。
非主属性可以理解为数据库中的一条记录的主键以外的字段。
函数依赖
定义一：Method(x)=y,x、y是一个对象，x在经过一个函数后会得到y。
我们就说：x函数确定y，y函数依赖x。x值决定y值，记成：x->y
例如：
(学号，课程号)->(成绩)
(学号，课程号)->(姓名)
(学号，课程号)->(学号)
(学号)->(姓名)
上面的都是x->y模型。
定义二：x->y,x、y是一个对象，x在经过一个函数后会得到y，y不是x的子集
我们就说：x->y是非平凡函数，否则为平凡函数
例如：
(学号，课程号)->(成绩)是非平凡函数
(学号，课程号)->(姓名)是非平凡函数
(学号，课程号)->(学号)是平凡函数
(学号)->(姓名)是非平凡函数
任何对象都存在平凡函数，一般我们就只讨论非平凡函数的情况。
定义三：x->y,x、y是一个对象，x的任何真子集x'都不能x'->y。
我们就说：x完全属性函数确定y，y完全函数依赖x。完全x对象值决定y值，记成：(full)x->y
x存在一个真子集x'能得到x'->y。
我们就说：x非完全属性函数确定y，y非完全函数依赖x。非完全x对象值决定y值，记成：(part)x->y
例如：
(学号，课程号)->(成绩)是(full)x->y
(学号，课程号)->(姓名)是(part)x->y，因为存在(学号)->(姓名)
(学号)->(姓名)是(full)x->y
定义四：x->y,y->z，且y->x不成立。
我们就说：x传递函数确定z。
例如：
(学号)->(系别)，(系别)->(系主任)
范式和规范化
第一范式
定义：一个对象的所有属性不可再分，符合第一范式，记：1NF
例如：
(员工编号，姓名，(基本工资、职务工资))，其中的一个属性可以再分，就不符合第一范式。改成：
(员工编号，姓名，基本工资，职务工资)，符合第一范式
第二范式
定义：符合第一范式后，一个对象的非主属性完全函数依赖主属性，符合第二范式，记：2NF
例如：
(学号，课程号，姓名，成绩)
其中的主属性是学号和课程号，应该(full)(学号，课程号)->(姓名，成绩)必须成立才行，
可惜存在(学号)->(姓名)，即存在就不符合第二范式。
改成：
(学号，课程号，成绩)和(学号，姓名)，符合第二范式
第三范式
定义：符合第二范式后，一个对象的非主属性不传递依赖主属性，符合第三范式，记：3NF
例如：
(员工编号，宿舍编号，宿舍费用)，
其中存在一个依赖关系：
(员工编号)->(宿舍编号)，(宿舍编号)->(宿舍费用)，就不符合第三范式。改成：
(员工编号，宿舍编号)和(宿舍编号，宿舍费用)，符合第三范式
