数据库 | 关系数据库 | 函数依赖 | 码 | 范式

目录

如何判断R为第几范式？

规范化

关系模型

数据依赖

什么是函数依赖

定义

平凡函数依赖与非平凡函数依赖

完全函数依赖与部分函数依赖

传递函数依赖

确定函数依赖的方法

码

外部码

范式

1NF

2NF

3NF

BCNF

多值依赖

4NF

---

如何判断R为第几范式？

已知一个关系模式的属性之间的语义，也就是相互依赖的关系，如何判断该模式满足第几范式？

1、首先要通过语义把属性之间的函数依赖关系列出来，

2、然后确定哪些属性组合可以候选码，从而找出非主属性和主属性。

3、然后判断是否存在非主属性与码之间的部分函数依赖关系，如果存在，则不满足2NF，如不存在部分函数依赖，则属于2NF，

4、继续进行下一步判断；判断非主属性与码之间存在传递依赖关系，不存在，则为3NF；

5、决定因素是否包含码，满足条件则为BCNF

简而言之

---

规范化

规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。

---

关系模型

关系模式由五部分组成，即它是一个五元组： R(U, D, DOM, F)

R：关系名

U：组成该关系的属性名集合

D：属性组U中属性所来自的域

DOM：属性向域的映象集合

F：属性间数据的依赖关系集合

简化为一个三元组：R(U, F)

---

数据依赖

• 什么是函数依赖

• 定义

• 平凡函数依赖与非平凡函数依赖

• 完全函数依赖与部分函数依赖

<