目录
关系模式由五部分组成，是一个五元组：R(U, D, DOM, F)
- 关系名R是符号化的元组语义
- U为一组属性
- D为属性组U中的属性所来自的域
- DOM为属性到域的映射
- F为属性组U上的一组数据依赖（关系内部属性与属性之间的一种约束关系，主要分函数依赖和多值依赖）
由于D、DOM与模式设计关系不大，本博客中把关系模式看作一个三元组：R<U,F>
规范化
1.1函数依赖
参考简书作者eliter0609
1.1.1函数依赖
设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r 中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y
解释：若在一张表中，属性或属性组X确定，必定能确定属性Y的值，则称Y函数依赖于X，记做X->Y
举例：在学生表ST中通过学号能唯一确定一个姓名，则姓名函数依赖于学号
学生表ST
| 学号 | 姓名 | 性别 |
|---|---|---|
| 1 | 张三 | 男 |
1.1.2平凡函数依赖与非平凡函数依赖
定义：设一个关系为R(U)，X和Y为属性集U上的子集，若X→Y且X不包含Y，则称X→Y为非平凡函数依赖，否则若X包含Y则必有X→Y，称此X→Y为平凡函数依赖
举例：在学生表ST中，学号总能函数决定它本身，记作“学号→学号”，此为平凡函数依赖。（学号，性别）->性别与（学号，性别）->学号也是平凡函数依赖
通常，我们主要讨论的是非平凡函数依赖：如学生表ST中学号函数决定的其他属性都是非平凡函数依赖
1.1.3完全函数依赖与部分函数依赖
1、完全函数依赖
定义：设X，Y是关系R的两个属性集合，X' 是X的真子集，存在X→Y，但对每一个X' 都有X' !→Y，则称Y完全函数依赖于X
解释：在一张表中，若 X → Y，且对于 X 的任何一个真子集（假如属性组 X 包含超过一个属性的话），X' → Y 不成立，那么我们称 Y 对于 X 完全函数依赖
举例：在成绩表SG中，成绩完全函数依赖于（学号，CID（课程号））
成绩表SG
| 学号 | CID(课程号) | 成绩 |
|---|---|---|
| 1 | 1 | 80 |
2、部分函数依赖
定义：设X，Y是关系R的两个属性集合，存在X→Y，若X' 是X的真子集，存在X' →Y，则称Y部分函数依赖于X
解释：假如 Y 函数依赖于 X，但同时 Y 并不完全函数依赖于 X，那么我们就称 Y 部分函数依赖于 X
举例：学生表ST中（学号，姓名）->性别，但是存在学号->性别，所以称性别部分依赖于（学号，姓名）
1.1.4传递函数依赖
定义：设X，Y，Z是关系R中互不相同的属性集合，存在X→Y(Y !→X)，Y→Z，则称Z传递函数依赖于X
解释：假如 Z 函数依赖于 Y，且 Y 函数依赖于 X （严格来说还有一个X 不包含于Y，且 Y 不函数依赖于Z的前提条件），那么我们就称 Z 传递函数依赖于 X
举例：关系S1（学号，系名，系主任），学号 → 系名，系名 → 系主任，并且系名 !→ 学号，所以学号 → 系主任为传递函数依赖
1.2码
设K为R<U,F>中的属性或属性组合。若K U，则K称为R的一个候选码
- 如果U部分函数依赖于K，则K称为超码。候选码是最小的超码，即K的任意一个真子集都不是候选码
若关系模式R有多个候选码，则选定其中的一个做为主码
包含在任何一个候选码中的属性 ，称为主属性，其余称为非主属性
整个属性组是码，称为全码
关系模式 R中属性或属性组X 并非 R的码，但 X 是另一个关系模式的码，则称 X 是R 的外码
1.3范式
参考简书作者eliter0609
范式是符合某一级别的关系模式的集合
范式种类
各种范式之间存在联系
- 某一关系模式R为第n范式，可简记为R∈nNF
一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化
1.3.1 1NF
定义：每个分量必须是不可分开的数据项。满足了这个条件的关系模式就属于第一范式（1NF）
解释：在一列中不能插入两个及以上不同属性的值
1.3.2 2NF
定义：若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于任何一个候选码，则R∈2NF
解释：第二范式（2NF）要求数据库表中的每个实例或记录必须可以被唯一地区分。选取一个能区分每个实体的属性或属性组，作为实体的唯一标识，即要有主码
举例：如果在成绩表SG中添加一列姓名变成下面这样，SG表的主码是学号加CID(课程号)，但是（学号）->姓名，所以姓名部分函数依赖于（学号，CID(课程号)），不符合2NF
成绩表SG
| 学号 | CID(课程号) | 成绩 |
|---|---|---|
| 1 | 1 | 80 |
成绩表SG 2.0
| 学号 | CID(课程号) | 成绩 | 姓名 |
|---|---|---|---|
| 1 | 1 | 80 | 张三 |
1.3.3 3NF与 BCNF
1、3NF
定义：在1NF基础上，任何非主属性不依赖于其它非主属性（在2NF基础上消除传递依赖）
解释：第三范式（3NF）要求一个关系中不包含已在其它关系已包含的非主属性信息
举例：如果在课程表SC中添加一列老师姓名，变成如下，存在CID(课程号)->TID(授课老师ID)，TID(授课老师ID)->教师姓名，TID(授课老师ID) !->CID(课程号)，所以教师姓名传递函数依赖于CID(课程号)，不满足3NF，但是满足2NF，主码是CID
课程表SC
| CID (课程号) | 课程名称 | TID(授课老师ID) | 学分 |
|---|---|---|---|
| 1 | 数学 | 1 | 2 |
课程表SC 2.0
| CID (课程号) | 课程名称 | TID(授课老师ID) | 学分 | 教师姓名 |
|---|---|---|---|---|
| 1 | 数学 | 1 | 2 | 李四 |
2、BCNF
若关系模式R属于第一范式，且每个属性都不传递依赖于R的候选，则这种关系模式属于BCNF
1.4范式分解
参考博主IrvingW
1.5规范化小结
by 云烟成雨yycy