数据库系统概论 第六章 关系数据理论

6.1 问题的提出

• 一个关系模式是一个五元组$R(U,D,DOM,F)$。
  其中：
  • $R$是关系名，是符号化的元组语义；
  • $U$是一组属性；
  • $D$是属性组$U$来自的域；
  • $DOM$是属性到域的映射；
  • $F$是属性组U上的一组数据依赖。

---

  函数依赖是指类似于数学中的函数$y=f(x)$，自变量$x$确定之后，相应的函数值$y$也就唯一的确定了。

  若关系中的函数依赖存在某些不好的性质，则会造成以下些问题。如：

• 1.数据冗余太大
  比如，每一个系的系主任姓名重复出现等。将浪费大量的存储空间。
• 2.更新异常（Update Anomalies）
  由于数据冗余，当更新数据库中的数据时，必须要付出很大的代价来维护数据库的完整性，否则会面临数据不一致的危险。比如，某系更换系主任后，必须修改与该系学生有关的每一个元组。
• 3.插入异常（Insertion Anomalies）
  如果一个系刚成立，尚无学生，就无法把这个系及其系主任的信息存入数据库。
• 4.删除异常（Deletion Anomalies）
  如果某个系的学生全部毕业了，在删除该系学生信息的同时，这个系及其系主任的信息也全部丢弃了。

【解决方法】 将该模式拆分成三个关系模式
$$\begin{gathered} S(Sno,Sdept,Sno\to Sdept) \\ SC(Sno,Cno,Grade,(Sno,Cno)\to Grade) \\ DEPT(Sdept,Mname,Sdept\to Mname) \end{gathered}$$

---

6.2 规范化

6.2.1 函数依赖

• 定义6.1 设$R(U)$是属性集$U$上的关系模式。$X,Y$是$U$的子集。若对于$R(U)$的任意一个可能的关系$r$，$r$中不可能存在两个元组在$X$上的属性值相等，而在$Y$上的属性值不等，则称 $X$函数确定$Y$ 或 $Y$函数依赖于$X$ ，记作$X\to Y$。
• 定义6.2 在$R(U)$中，如果$X\to Y$，并且对于$X$的任何一个真子集$X^{\prime }$，都有$X^{\prime }\nrightarrow Y$，则称 $Y$对$X$完全函数依赖，记作$X\stackrel{F}{\to }Y$。
  若$X\to Y$，但$Y$不完全函数依赖于$X$，则称 $Y$对$X$部分函数依赖，记作$X\stackrel{P}{\to }Y$。
• 定义6.3 在$R(U)$中，如果$X\to Y,Y⊊X，Y\nrightarrow X，Y\to Z$，则称**$Z$对$X$传递函数依赖。记为$X\stackrel{传递}{\to }Z$。
• 若$X\to Y,Y⊊X$,，则称$X\to Y$是非平凡的函数依赖。
• 若$X\to Y,Y\subseteq X$,，则称$X\to Y$是平凡的函数依赖。

---

6.2.2 码

• 定义6.4 设$K$为$R<U,F>$中的属性或属性组合，若$K\stackrel{F}{\to }U$，则称$K$为$R$的候选码（Candidate key）。若候选码多于一个，则选定其中的一个为主码（Primary key）。
    包含在任何一个候选码中的属性，称作主属性（Prime attribute）。不包含在任何码中的属性称为非主属性（Nonprime attribute）或非码属性（Non-key attribute）。最简单的情况，单个属性是码。最极端的情况，整个属性组是码，称为全码（All-key）。
• 定义6.5 关系模式$R$中属性或属性组$X$并非R的码，但$X$是另一个关系模式的码，则称$X$是$R$的外部码（Foreign key），也称外码。

---

6.2.3 范式

  关系数据库中的关系是要满足一定要求的，满足不同程度要求的为不同范式。满足最低要求的叫第一范式，简称1NF。在第一范式中满足进一步要求的为第二范式，其余以此类推。

---

6.2.4 2NF

• 定义6.6 若$R\in 1NF$，且每一个非主属性完全函数依赖于码，则$R\in 2NF$。

  一个关系模式$R$不属于$2NF$，就会产生以下几个问题：

• 1.插入异常
• 2.删除异常
• 3.修改复杂

---

6.2.5 3NF

• 定义6.7 关系模式$R<U,F>$中若不存在这样的码$X$，属性组$Y$及非主属性$Z（Z⊊Y)$使得$X\to Y,Y\to Z$成立，$Y\nrightarrow X$，则称$R<U,F>\in 3NF$。
    由定义6.7可以证明，若$R\in 3NF$，则每一个非主属性即不部分依赖于码也不传递依赖于码。

---

6.2.6 BCNF

  BCNF(Boyce Codd Normal Form)是由Boyce与Codd提出的，比上述的3NF又进了一步，通常认为BCNF是修正的第三范式，有时也称为扩充的第三范式。

• 定义6.8 关系模式$R<U,F>\in 1NF$。若$X\to Y$且$Y⊊X$时$X$必含有码，则$R<U,F>\in BCNF$。

  也就是说，关系模式$R<U,F>$中，若每一个决定因素都包含码，则$R<U,F>\in BCNF$。

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

• 所有非主属性对每一个码都是完全函数依赖；
• 所有的主属性对每一个不包含它的码，也是完全函数依赖；
• 没有任何属性完全函数依赖于非码的任何一组属性。
• 由于$R\in BCNF$，按定义派出了任何属性对码的传递依赖与部份依赖，所以$R\in 3NF$。但是若$R\in 3NF$，则$R$未必属于$BCNF$。

---

6.2.7 多值依赖

• 定义6.9 设$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$值无关。
  
    例如，在关系模式Teaching中，对于一个$（物理，光学原理）$有一组$T$值$|李勇，王军|$，这组值仅仅决定于课程$C$上的值（物理）。也就是说对于另一个$（物理，普通物理学）$它对用的一组$T$值仍是$|李勇，王军|$，尽管这时参考书B的值已经改变了。因此 $T$多值依赖于$C$，即$T\to \to C$。

• 若$X\to \to Y$，而$Z$为空，则称$X\to \to Y$为平凡的多值依赖。

多值依赖具有以下性质：

• （1）多值依赖具有对称性。即若$X\to \to Y$，则$X\to \to Z$，其中$Z=U-X-Y$。
• （2）多值依赖的传递性。即若$X\to \to Y,Y\to \to Z$，则$X\to \to Z-Y$。
• （3）函数依赖可以看作是多值依赖的特殊情况。即若$X\to Y$，则$X\to \to Y$。
• （4）若$X\to \to Y$，$X\to \to Z$，则$X\to \to YZ$。
• （5）若若$X\to \to Y$，$X\to \to Z$，则$X\to \to Y\cap Z$。
• （6）若若$X\to \to Y$，$X\to \to Z$，则$X\to \to Y-Z,X\to \to Z-Y$。

多值依赖与函数依赖的区别

• （1）多值依赖的有效性与属性集的范围有关。
  若$X\to \to Y$在$U$上成立，则在$W（XY\subseteq W\subseteq U）$上一定成立；反之则不然。
• （2）若函数依赖$X\to Y$在$R(U)$上成立，则对于任何$Y^{\prime }\subset Y$均有$X\to Y^{\prime }$成立。而多值依赖$X\to \to Y$若在$R(U)$上成立，却不能断言对于任何$Y^{\prime }\subset Y$有$X\to \to Y^{\prime }$成立。

---

6.2.8 4NF

• 定义6.10 关系模式$R<U,F>\in 1NF$，如果对于$R$的每个非平凡多值依赖$X\to \to Y(Y⊊X)$，$X$都含有码，则称$R<U,F>\in 4NF$。

---

6.2.9 规范化小结

---

6.3 数据依赖的公理系统

• 定义6.11 对于满足一组函数依赖$F$的关系模式$R<U,F>$，其任何一个关系$r$，若函数依赖$X\to Y$都成立（即$r$中任意两元组$t,s$，若$t[X]=s[X]$，则$t[Y]=S[Y]$），则称 $F$逻辑蕴含$X\to Y$。

---

Armstrong公理系统，设$U$为属性集总体，$F$是$U$上的一组函数依赖，于是有关系模式$R<U,F>$。对$R<U,F>$来说有以下的推理规则：

• A1.自反律：若$Y\subseteq X\subseteq U$，则$X\to Y$为$F$所蕴含。
• A2.增广律：若$X\to Y$为$F$所蕴含，且$Z\subseteq U$，则$XZ\to YZ$为F所蕴含。
• A3.传递律：若$X\to Y,Y\to Z$ 为$F$所蕴含，则$X\to Z$为$F$所蕴含。

  根据A1、A2、A3者3条推理规则可以得到下面三条很有用的推理规则：

• 合并规则：由$X\to Y,X\to Z$，有$X\to YZ$。
• 伪传递规则：由$X\to Y,WY\to Z$，有$XW\to Z$。
• 分解规则：由$X\to Y及Z\subseteq Y$，由$X\to Z$。

  Armstrong公理是有效的、完备的。Armstrong公理的有效性指的是：由$F$出发根据Armstrong公理推导出来的每一个函数依赖一定在$F^{+}$中（如下定义）；完备性是指$F^{+}$中的每一个函数依赖，必定可以由$F$出发根据Armstrong公理推到出来。

---

• 引理6.1 $X\to A_1{A}_{2}A...A_k$成立的充分必要条件是$X\to A_i$成立$(i=1,2,...,k)$。
• 定义6.12 在关系模式$R<U,F>$中为$F$所逻辑蕴含的函数依赖的全体叫作$F$的闭包，记为$F^{+}$。
• 定义6.13 设$F$为属性集$U$上的一组函数依赖， X ， Y ⊆ U , X F + = { A ∣ X → A 能 由 F 根 据 A r m s t r o n g 公 理 导 出 } X，Y\subseteq U, X_F^+ = \{A|X\rightarrow A能由F根据Armstrong公理导出\} X，Y⊆U,XF+​={A∣X→A能由F根据Armstrong公理导出}，$X_F^{+}$称为属性集 $X$关于函数依赖集$F$的闭包。
• 引理6.2 设$F$为属性集$U$上的一组函数依赖，$X,Y\subseteq U,X\to Y$能由$F$根据Armstrong公理导出的充分必要条件是$Y\subseteq X_F^{+}$。

---

6.3.1 求属性集X在函数依赖集F上的闭包

算法6.1 求属性集$X(X\subseteq U)$关于$U$上的函数依赖集$F$的闭包$X_F^{+}$。
输入：$X，F$
输出：$X_F^{+}$
步骤

• 1.令$X^{(0)}=X,i=0$
• 2.求$B$，这里 B = { A ∣ ( ∃ V ) ( ∃ W ) ( V → W ∈ F ∧ V ⊆ X ( i ) ∧ A ∈ W ) } B=\{A|(\exist V)(\exist W)(V\rightarrow W \in F \wedge V\subseteq X^{(i)} \wedge A \in W) \} B={A∣(∃V)(∃W)(V→W∈F∧V⊆X(i)∧A∈W)}
• 3.$X^{(i+1)}=B\cup X^{(i)}$
• 4.判断$X^{(i+1)}=X^{(i)}$吗？
• 5.若相等或$X^{(i)}=U$，则$X^{(i)}$就是$X_F^{+}$，算法终止
• 6.若否，则$i=i+1$，返回第2步

---

• 定义6.14 如果$G^{+}=F^{+}$，就说函数依赖集$F$覆盖$G$（$F$是$G$的覆盖，或$G$是$F$的覆盖），或$F$与$G$等价。
• 引理6.3 $F^{+}=G^{+}$的充分必要条件是$F\subseteq G^{+}\wedge G\subseteq F^{+}$。
• 定义6.15 如果函数依赖集$F$满足下列条件，则称$F$为一个极小函数依赖集。亦称为最小依赖集或最小覆盖。
  • （1）$F$中任意函数依赖的右部仅含有一个属性。
  • （2）$F$中不存在这样的函数依赖$X\to A$，使得$F$与 F − { X → A } F-\{X\rightarrow A\} F−{X→A}等价。
  • （3）$F$中不存在这样的函数依赖$X\to A$，$X$由真子集$Z$使得 F − { X → A } ∪ { Z → A } F-\{X\rightarrow A\}\cup \{Z\rightarrow A\} F−{X→A}∪{Z→A}与$F$等价。
• 定理6.3 每一个函数依赖集$F$均等价于一个极小函数依赖集$F_m$。此$F_m$称为$F$的最小依赖集。

---

6.3.2 构造F的最小函数依赖集

这是定理6.3的证明。
【证】 这是一个构造性的证明，分三步对$F$进行“极小化处理”，找出$F$的一个最小依赖集来。

• （1）逐一检查$F$中个函数依赖$F{D}_i:X\to Y$，若$Y=A_1{A}_2...A_k,k>2$，则用 { X → A i ∣ i = 1 , 2 , . . . , k } \{X\rightarrow A_i|i=1,2,...,k\} {X→Ai​∣i=1,2,...,k}来取代$X\to Y$。
• （2）逐一检查$F$中个函数依赖$F{D}_i:X\to A$，令 G = F − { X → A } G=F-\{X\rightarrow A\} G=F−{X→A}，若$A\in X_G^{+}$，则从$F$中去掉此函数依赖（因为$F$与$G$等价的充要条件是$A\in X_G^{+}$）。
• （3）逐一取出$F$中的函数依赖$F{D}_i:X\to A$，设$X=B_1{B}_2...B_m$，逐一考察$B_i(i=1,2,...m)$，若$A\in (X-B_i{)}_F^{+}$，则以$X-B_i$取代$X$。