数据库：关系数据库理论

1.函数依赖

1.1关系模式的定义

关系模式由五部分组成，即它是一个五元组：
·R(U, D, DOM, F)
R： 关系名
U： 组成该关系的属性名集合
D： 属性组U中属性所来自的域
DOM：属性向域的映象集合
F： 属性间数据的依赖关系集合

1.2什么是数据依赖

数据依赖

•是通过一个关系中属性间值的相等与否体现出来的数据间的
相互关系
•是现实世界属性间相互联系的抽象
•是数据内在的性质
•是语义的体现

数据依赖的类型

•函数依赖（Functional Dependency，简记为FD）
•多值依赖（Multivalued Dependency，简记为MVD）

函数依赖

2.关系规范化

•某一关系模式R为第n范式，可简记为R∈nNF。

第一范式（1NF）

每一属性值都是不能再分的元素，那么该关系是一个规范化的关系

第二范式（2NF）

关系属于1NF，且每个非主属性完全函数依赖于关键字，则该关系称为2NF

第三范式（3NF）

关系中每个非主属性不部分依赖于关键字，也不传递依赖于关键字的关系是属于3NF。

BC范式（BCNF）

关系模式R〈U,F〉中,若每一个决定因素都包含码,则R〈U,F 〉 ∈BCNF