1.3.1 数据依赖
通过一个关系中属性之间值的相等与否体现出来的数据间的相互关系，是现实世界属性之间相互联系的抽象，是数据内在的性质，是语义的体现。
1.3.2 相关概念
1.函数依赖
设R(U)是一个关系模式，U是R的集合，X和Y是U的子集。对于R(U)上的任意一个可能的关系r，如果r中不存在两个元组，他们在X上的属性值相同，而在Y的属性值上不同，则称“X函数确定Y”或“Y函数依赖于X”，记为X->Y.
2.平凡函数依赖和非平凡函数依赖
在关系模式R(U)中，对于U的子集X和Y，如果X->Y且Y不是X的子集，则X->Y成为非平凡函数依赖，若是，则平凡函数依赖。
3.完全依赖与部分依赖
如果X->Y，并且对X的任何一个真子集X',不存在X'->Y，Y完全依赖于X。
4.传递函数依赖
如果X->Y,Y->Z,且Y不是X的子集，也不存在Y->X,则Z传递依赖于X
5.码
1.3.3 范式
范式->关系的规范化形式。
第一范式(1NF)
如果X->Y,Y->Z,且Y不是X的子集，也不存在Y->X,则Z传递依赖于X。
表1.2 不符合1NF的关系
image.png
表1.3符合1NF的关系
| 工作证号 | 员工姓名 | 基本工资 | 奖金 |
|---|---|---|---|
| 2006001 | 张天 | 800 | 3000 |
| 2006002 | 王耀 | 1000 | 4000 |
| 2006003 | 孙东平 | 1200 | 5000 |
第二范式(2NF)
第三范式(3NF)
4.关系模式规范化的步骤
image.png
网友评论