数据库范式

相关概念

这里我纯白话解释了，纯概念去百度查。

我们设 R(U) 是属性集合 U 的一个关系模式，可以理解为一张表就算关系 R，里面的属性的集合就是 U。

其中 U = {学号,姓名,年龄,身份证号,系名,系位置,课号,成绩}。

名词	概念解释	示例（基于属性集合 U）
函数依赖	通过属性(组) A 必能得出属性(组) B，就可以说 B 依赖于 A，用 A→B 表示。	学号→{姓名,年龄}
完全函数依赖	通过{A,B}能得出C，但是A 或 B单独得不出C，则 C 完全依赖于{A,B}。	{学号，课号}→成绩，学号或课号单独无法确定成绩。
部分函数依赖	通过{A,B}能得出C，A 或 B单独也能得出C，则 C 部分依赖于{A,B}。	{学号，身份证号}→姓名，学号或身份号单独也能确定姓名
传递函数依赖	通过 A 得出 B，通过B 得出 C，但是 C 得不到B，B 得不到 A，则 C 传递依赖于 A。	学号→系名，系名→系位置，但是反过来无法得出。

名词	说明
元组	二维表的每行数据，就是一个元组，每列就是一个属性。
数据库码	又称数据库关键码，是数据库中唯一能标识一个记录值的内部记录标志符。
候选码	如果关系中的某一属性(组)的值能唯一地标识一个元组，则称该属性组为候选码。
主码	就主键，一个关系中有多个候选码，选定其中一个为主码。
外码	就是外键。一个关系中的一个属性是另外一个关系中的主码则这个属性为外码。
主属性	候选码中的属性称为主属性。
非主属性	不包含在任何候选码中的属性称为非主属性。
实体的完整性	每个数据表都必须有主键，而作为主键的所有字段，其属性必须是唯一且非空。
约束类型	主键约束、唯一约束、自动增长列

【概述】

确保每列保证原子性，保证这个属性（字段）不能在被分割。

【示例】

下表中院系可以分割为系名和位置，故该设计不符合第一范式。

应修改为：

在第一范式的基础上，消除了非主属性对于主键的部分函数依赖，也就是说非主属性必须完全依赖于主键，一般针对多字段组成的主键才会违反该范式。

下表已满足第一范式，主键只能是{学号,课程号}，其他的字段都是非主属性。其中{学号,课程号}→姓名，并且学号→姓名，这就构成了姓名部分依赖于{学号,课程号}，故违反第二范式。

应进行拆分两张表：

【概述】

第三范式在第二范式的基础之上，消除了非主属性对于候选码的传递函数依赖。就是说非主属性之间不能有依赖关系，它们是互相独立的。

【示例】

下表已满足第二范式，主键是学号。其他字段都是非主属性，均完全依赖于主键，都能直接通过主键获取。但是，这里存在传递依赖关系为，学号→专业编码→专业名称/专业位置。其中，专业编码、专业名称、专业位置之间存在依赖关系，故违反第三范式。

应拆分为：