1.3 数据库的规范化

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