数据库的范式理论及相关证明

定义

规范化

将一个低一级的关系模式通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化。

---

第一范式

作为一个二维表，关系要符合一个最基本的条件：每一个分量必须是不可分的数据项。满足了这个条件的关系模式就属于第一范式（1NF）。

---

第二范式

若$R\in 1NF$，且每一个非主属性完全函数依赖于任何一个候选码，则$R\in 2NF$。

---

第三范式

设关系模式$R<U,F>\in 1NF$，若$R$中不存在这样的码$X$，属性组$Y$及非主属性$Z(Z\notin Y)$，使得$X\to Y$，$Y\to Z$成立，$Y\to X$不成立，则称$R<U,F>\in 3NF$。

每一个非主属性既不传递依赖于码，也不部分依赖于码。
所以，如果$R\in 3NF$，则必有$R\in 2NF$。

---

BCNF范式

关系模式$R<U,F>\in 1NF$，若$X\to Y$且$Y\notin X$时$X$必含有码，则$R<U,F>\in BCNF$。
也就是说，关系模式$R<U,F>$中，若每一个决定因素都包含码，则$R<U,F>\in BCNF$。

由BCNF范式的定义可以得到结论，一个满足BCNF的关系模式有：

• 所有非主属性对每一个码都是完全函数依赖。
• 所有主属性对每一个不包含它的码也是完全函数依赖。
• 没有任何属性完全依赖于非码的任何一组属性。

由于$R\in BCNF$，按定义排除了对任何属性对码的传递依赖与部分依赖，所以称$R\in 3NF$。

---

多值依赖

设$R(U)$是属性集$U$上的一个关系模式。$X$、$Y$、$Z$是$U$的子集，并且$Z=U-X-Y$。关系模式$R(U)$中多值依赖$X\to \to Y$成立，当且仅当对$R(U)$的任一关系$r$，给定一对$(x,z)$的值，有一组$Y$的值，这组值仅仅决定于$x$值而与$z$值无关。

另一形式化的定义：
在$R(U)$的任一关系$r$中，如果存在元组$t$、$s$使得$t[X]=s[X]$，那么交换$t$、$s$元组的$Y$值所得的两个新元组必在$r$中，则$Y$多值依赖于$X$，记为$X\to \to Y$，这里$X$、$Y$是$U$的子集，$Z=U-X-Y$。

---

证明

若$R\in 3NF$，则$R\in 2NF$

另一种证明思路：

---

若$R\in BCNF$，则$R\in 3NF$

---

任何一个二目关系$R\in BCNF$

---

证明多值依赖的传递性

假若$X$、$Y$、$Z$两两不相交，$X\to \to Y$，$Y\to \to Z$，则$X\to \to Z-Y$

---