数据库三范式

一个关系模式是一个五元组

关系名R，一组属性，域D（数据类型），属性到域的映射（长度），属性组U上的一组数据依赖。

由于D、DOM对模式设计关系不大，可以简化为三原组：

设是属性集U上的关系模式。X，Y是U的子集。若对于的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y的属性值不等，则称X函数确定Y或Y函数依赖于X记作。

，但Y不是X的集合则称是非平凡函数依赖。

平凡的函数依赖指Y包含于X，对任一关系模式，都是平凡的函数依赖。

若,则称X是决定因素。

若和记作。

定义：在R(U)中，如果，并且对于X的任何一个真子集,都有不能确定Y,则称Y对X完全函数依赖。

设K为中的属性或属性组合，若K完全依赖于U，则K为R的候选码。从候选码中选中一个作为主码。

包含在一个候选码中的属性，称为主属性，否则为非主属性或非码属性。

关系R中属性或属性组X并非R的码，但X是另一个关系的码，则称X是R的外部码。

介绍完一些难理解的概念之后，我们来看一下数据库三范式：

1、第一范式（1NF）
        在任何一个关系数据库中，第一范式（1NF）是对关系模式的基本要求，不满足第一范式（1NF）的数据库就不是关系数据库。
        所谓第一范式（1NF）是指数据库表的每一列都是不可分割的基本数据项，同一列中不能有多个值，即实体中的某个属性不能有多个值或者不能有重复的属性。如果出现重复的属性，就可能需要定义一个新的实体，新的实体由重复的属性构成，新实体与原实体之间为一对多关系。在第一范式（1NF）中表的每一行只包含一个实例的信息。例如，对于图3-2 中的员工信息表，不能将员工信息都放在一列中显示，也不能将其中的两列或多列在一列中显示；员工信息表的每一行只表示一个员工的信息，一个员工的信息在表中只出现一次。简而言之，第一范式就是无重复的列。

2、第二范式（2NF）
       第二范式（2NF）是在第一范式（1NF）的基础上建立起来的，即满足第二范式（2NF）必须先满足第一范式（1NF）。第二范式（2NF）要求数据库表中的每个实例或行必须可以被唯一地区分。为实现区分通常需要为表加上一个列，以存储各个实例的唯一标识。如图3-2 员工信息表中加上了员工编号（emp_id）列，因为每个员工的员工编号是唯一的，因此每个员工可以被唯一区分。这个唯一属性列被称为主关键字或主键、主码。
        第二范式（2NF）要求实体的属性完全依赖于主关键字。所谓完全依赖是指不能存在仅依赖主关键字一部分的属性，如果存在，那么这个属性和主关键字的这一部分应该分离出来形成一个新的实体，新实体与原实体之间是一对多的关系。为实现区分通常需要为表加上一个列，以存储各个实例的唯一标识。简而言之，第二范式就是非主属性非部分依赖于主关键字。

3、第三范式（3NF）
        满足第三范式（3NF）必须先满足第二范式（2NF）。简而言之，第三范式（3NF）要求一个数据库表中不包含已在其它表中已包含的非主关键字信息。例如，存在一个部门信息表，其中每个部门有部门编号（dept_id）、部门名称、部门简介等信息。那么在图3-2的员工信息表中列出部门编号后就不能再将部门名称、部门简介等与部门有关的信息再加入员工信息表中。如果不存在部门信息表，则根据第三范式（3NF）也应该构建它，否则就会有大量的数据冗余。简而言之，第三范式就是属性不依赖于其它非主属性。

总结：

1N:关系R中的属性都是不可分割的项.
2N:在1N的基础上,每个非主属性完全函数依赖于码.
3N:在2N的基础上,每一个非主属性既不部分依赖于码也不传递依赖于码.

例如：Sno确定Sdept，且Sdept不能确定Sno,Sdept又确定Sloc,则能够确定Sno可以确定Sloc,为传递依赖不属于三范式。