关系数据库理论

6.1 问题的提出

6.1.1 关系模式的表示

关系模式是五部分组成，是一个五元组（R，U，D，DOM，F）

1. 关系名 R 是符号化的元组语义
2. U 为一组属性
3. D 为属性值 U 中属性所来自的域
4. DOM 为属性到域的映射
5. F 为属性组 U 上的一组数据依赖

第一范式：每个分量必须是不可分的数据项。

数据依赖：一个关系内部属性与属性之间的一种约束关系，是通过属性间值的相等与否体现出来的数据间相互关系。

1. 函数依赖（一对一）
2. 多值依赖（一对多）

函数依赖存在的问题：

1. 数据冗余
2. 更新异常
3. 插入异常
4. 删除异常

6.2 规范化

6.2.1 函数依赖

定义1：设 R（U）是属性集 U 上的关系模式，X、Y 是 U 的子集。若对于 R（U）的任意一个可能的关系 r，r 中不可能存在元组在 X 上的属性集相等，而在 Y 上的属性值不等，则称“ X 函数确定 Y ” 或 “ Y 函数依赖于 X”，记住 X->Y。

1. X->Y，但 Y 不属于 X 则称 X->Y 是非平凡的函数依赖
2. X->Y，但 Y 属于 X 则称 X->Y 是平凡的函数依赖
3. 若 X->Y，则 X 称为这个函数依赖的决定属性组，也称为决定因素
4. 若 X->Y，且 Y->X，则记为 X<–>Y

定义2：在 R（U）中，如果 X->Y，并且对于 X 的任何一个真子集 X‘，都有 X’-/>Y，则称 Y 对于 X 完全函数依赖，记住 X-F>Y；若 X->Y，但 Y 不完全函数依赖于 X，则称 Y 对于 X 部分函数依赖，记住 X-P>Y。

定义3：在 R（U）中，如果 X->Y（Y 不属于 X），Y->X，Y->Z，Z 不属于 Y，则称 Z 对 X 传递函数依赖。记作：X-传递>Z。