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

前言

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

闭包

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

在这里我们介绍两种，一种是函数依赖集$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$。

分