关系数据库理论之最小依赖集的求解

前言

最近学习数据库理论，刚好学到第六章的关于关系数据库极小函数依赖集的问题，此篇博客仅为记录学习，巩固知识点。在本篇中，会介绍什么是闭包，什么是极小函数依赖集以及极小函数依赖集的求法。如有问题，欢迎各位大佬指出——

闭包

在谈怎么样求最小函数依赖集之前，我们先来了解一下闭包的相关概念（主要是数据库这块涉及到的）。

在这里我们介绍两种，一种是函数依赖集$F$的闭包，一种是属性集$X$（$X\subseteq U$）关于$U$上的函数依赖集F的闭包$X_F{}^{+}$ 。

函数依赖集F的闭包

在关系模式$R<U，F>$中为$F$所逻辑蕴含的函数依赖的全体叫作 $F$的闭包，记为$F{}^{+}$。

属性集关于函数依赖集的闭包

设$F$为属性集$U$上的一组函数依赖，$X$、$Y\subseteq U$，$X_F{}^{+}$ = {$A|X\to A$能由$F$根据Armstrong公理导出}， $X_F{}^{+}$ 称为属性集$X$关于函数依赖集$F$的闭包。

说白了，这个闭包就是由一个（或一些）属性直接或间接推导出的所有属性的集合。

极小函数依赖集（最小覆盖）

定义

如果函数依赖集$F$满足下列条件，则称$F$是一个极小函数依赖集，亦称为最小依赖集或最小覆盖。

• $F$中任意函数依赖的右部仅含有一个属性。
• $F$中不存在这样的函数依赖$X\to A$，使得$F$与$F$−{$X\to A$}等价。
• $F$中不存在这样的函数依赖$X\to A$，$X$有真子集$Z$使得$F$−{$X\to A$}$\cup${$Z\to A$}与$F$等价。

解释

根据定义，我们知道，最小依赖集必须满足下面三个条件：

1. 被决定因素最小化： $F$的最小函数依赖的右侧只能有一个属性。
2. 决定因素最小化： $F$中不允许有这样的函数依赖：若函数依赖集中存在$AB\to Y$，现对该依赖的左部进行化简，即删除$A$，得$B\to Y$；或删除$B$，得$A\to Y$。在经过化简后的函数依赖集与没有化简前的函数依赖集等价，这样的函数依赖是不允许存在$F$中的。
3. 函数依赖数目最小化： 现存的函数依赖集中去掉一个函数依赖$X\to A$，所得到的新的函数依赖集与原来的函数依赖集是等价的，这样的函数依赖是不允许存在$F$中的。

应当指出，$F$的最小依赖集$F_m$不一定唯一，它与对各函数依赖$F{D}_i$及$X\to A$中$X$各属性的处置顺序有关。

通用算法

先插入一个推理规则：（由Armstrong公理系统的三条推理规则而得到的一个推理规则。）

分解规则： 由$X\to Y$以及$Z\subseteq Y$，可以得到$X\to Z$。

分三步对$F$进行$“$极小化处理$”$，找出$F$的一个最小依赖集来。

步骤：

Step1

逐一检查$F$中各函数依赖$F{D}_i$，例如对于函数依赖：$X\to AB$，使用分解规则，将其替换为{$X\to A$，$X\to B$}。

Step2

逐一取出$F$中左部非单个属性的依赖$F{D}_i$，判断左部的多余属性是否可以去掉。例如对于函数依赖$AB\to C$，判断$A$是否多余，则去掉$A$，考查$B$的闭包，如果其包含$C$，则$A$为多余属性，此时用$B\to C$取代$AB\to C$，否则不能取代。或者判断$B$是否多余，则去掉$B$，考查$A$的闭包，如果其包含$C$，则用$A\to C$取代$AB\to C$，否则不能取代。以此重复，直到左边的决定因素都达到最小化，或者不能取代，则结束。

Step3

逐一检查$F$中各函数依赖$F{D}_i$：例如对于函数依赖$X\to A$，令$G=F-$ {$X\to A$}，去掉$X\to A$，求属性集$X$关于函数依赖集$G$的闭包，如果其包含$A$，说明这个函数依赖是多余的，那么我们就可以删除这个函数依赖。

最后剩下的$F$就一定是极小依赖集，并且与原来的$F$等价。因为对$F$的每一次 $“$改造$”$，都保证了改造前后的两个函数依赖集等价。

举例

$R=${$A,B,C,D,E,G$}，$F=${$B\to D$,$DG\to C$,$BD\to E$,$AG\to B$,$ADG\to BC$}，求$F$的最小函数依赖。

解

（这里解得顺序和上面步骤不太一样，在不影响最终结果时，其实可以换一下顺序的，不过还是建议大家按上面的步骤来，不然有时候可能会造成去掉的函数依赖数目变少了。不过本例中，顺序交换没有影响，主要是在第三步计算左部因子会比较快一些~，因此决定调一下顺序。）

1.首先根据函数依赖的分解性，对F进行第一次筛选。

需要变动的有：$ADG\to BC$ 拆解成$ADG\to B$，$ADG\to C$

得新的函数依赖集：$F=${$B\to D$$,$$DG\to C$$,$$BD\to E$$,$$AG\to B$$,$$ADG\to B$ $,$$ADG\to C$}

2.然后筛选多余的函数依赖。

• 去除$B\to D$得$F=${$DG\to C$$,$$BD\to E$$,$$AG\to B$$,$$ADG\to B$ $,$$ADG\to C$}，求得$B_F{}^{+}=${$B$}，不包含$D$，故不能去掉。
• 去掉$DG\to C$，得$F=${$B\to D$$,BD\to E$$,$$AG\to B$$,$$ADG\to B$ $,$$ADG\to C$}，求得$D{G}_F{}^{+}=${$D,G$}，不包含$C$，故不能去掉。
• 去掉$BD\to E$，得$F=${$B\to D$$,DG\to C$$,$$AG\to B$$,$$ADG\to B$ $,$$ADG\to C$}，求得$B{D}_F{}^{+}=${$B,D$}，不包含$E$，故不能去掉。
• 去除$AG\to B$得$F=${$B\to D$$,$$DG\to C$$,$$BD\to E$ $,$ $ADG\to B$ $,$$ADG\to C$}，求得$A{G}_F{}^{+}=${$A,G$}，不包含$B$，故不能去掉。
• 去除$ADG\to B$得$F=${$B\to D$$,$$DG\to C$$,$$BD\to E$$,$$AG\to B$$,$ $ADG\to C$}，求得$AD{G}_F{}^{+}=${$A,B,C,D,E,G$}，包含$B$，故去掉函数依赖$ADG\to B$。
• 去除$ADG\to C$得$F=${$B\to D$$,$$DG\to C$$,$$BD\to E$$,$$AG\to B$$,$ $ADG\to B$}，求得$AD{G}_F{}^{+}=${$A,B,C,D,E,G$}，包含$C$，故去掉函数依赖$ADG\to C$。

经过第二次筛选，得到新的函数依赖集：$F=${$B\to D$$,$$DG\to C$$,$$BD\to E$$,$$AG\to B$}

3.决定因素最小化，将函数依赖的左部尽可能的化简。

• 对于$DG\to C$，将$D$去掉，得$G\to C$，$G_F{}^{+}=${$G$}，不包含$C$，故不能去掉。将$G$去掉，得$D\to C$，$D_F{}^{+}=${$D$}，不包含$C$，故不能去掉。故函数依赖$DG\to C$已是最简，不能再化简了。
• 对于$BD\to E$，将$B$去掉，得$D\to E$，$D_F{}^{+}=${$D$}，不包含$E$，故不能去掉。将$D$去掉，得$B\to E$，$B_F{}^{+}=${$B,D,E$}，不包含$E$，故可以去掉$D$。故函数依赖$BD\to E$换为$B\to E$。
• 对于$AG\to B$，将$A$去掉，得$G\to B$，$G_F{}^{+}=${$G$}，不包含$B$，故不能去掉。将$G$去掉，得$A\to B$，$A_F{}^{+}=${$A$}，不包含$B$，故不能去掉。故函数依赖$AG\to B$已是最简，不能再化简了。

综上，最小函数依赖集为$F=${$B\to D$$,$$DG\to C$$,$$B\to E$$,$$AG\to B$}。

---

此外，在第二步中，我们筛选函数依赖时，是“串行”的——也就是一边看一边去掉（如果可以去掉的话）。我们上面已经指出过最小函数依赖集不唯一，那么根据处理的顺序，也就是去的是顺序，会使得我们最终得到的最小函数依赖集可能不同。 下面我们给出一个简单的例子：

在这里我们省去具体的步骤，仅直接给出结果（其实很简单，大家可以自己推一下）。我们处理的顺序按照上面解法里面的Step1-Step3。我们看到最终结果有两个最小依赖集，其原因就在我们处理的顺序不同，你去掉这个的时候，另一个可能就不是冗余的了。

结语

本文定义以及例子参考自：

• 《数据库系统概论（第五版）》 王珊 萨师煊 编著 清华大学出版社
• csdn博文 关系数据库理论之最小函数依赖集
• 学校老师上课给的题目

​