【数据库系统】函数依赖及其公理定理(2) Armstrong公理

1 .关于函数依赖的公理 Armstrong公理A1~A3

设$R(U)$是属性集$U=A_1,A_2,\dots ,A_n上$的一个关系模式，$F$为$R(U)$的一组
函数依赖，记为$R(U,F)$, 则有如下规则成立

• [A1]自反律(Reflexivity rule)：若Y⊆X⊆U（Y是X的一部分）, 则X→Y被F逻辑蕴涵（也就是X→Y恒成立），这条公理表示一个属性组可以决定它自身的每一个属性。
• [A2]增广律(Augmentation rule)：若X→Y∈F, 且Z∈U（说明Z是U上的一个属性或属性组）, 则XZ→YZ（在X→Y两端个加上一个Z）被F逻辑蕴涵
• [A3]传递律(Transtivity rule)：若X→Y∈F, 且Y→Z, 则X→Z被F逻辑
  蕴涵。

这三条公理的作用是用已知的函数依赖推出求隐含的函数依赖

证明：

1.1 Armstrong公理导出的引理

• (a)合并律(Union Rule)：若X→Y且X→Z, 则X →YZ。
• (b)伪传递律(Pseudo Transitivity)：若X→Y且WY→Z（其实就是把WY换成WX就可以了）, 则XW→Z。
• ©分解律(Decomposition Rule)：若X→Y且Z⊆Y, 则X→Z。

[引理3]如果$A_1,A_2,\dots ,A_n$是属性，则$X\to A_1,A_2,\dots ,A_n$ 当且仅当对每个$A_i$ 有$X\to Ai(1\le i\le n)$

这条引理说明了属性组合的函数依赖与单一属性的函数依赖的关系

2. 属性(集)闭包

前面说的闭包是函数依赖集的闭包，这里说的是属性(集)闭包

对$R(U,F),X\subseteq U,U=$ { $A_1,A_2,\dots ,A_n$}, 令：
$X_F^{+}$ = { $A_i$ | 用Armstrong 公理$A1,A2,A3$可从$F$导出$X\to A_i$ }（从公理可以推出$X$决定的所有单一属性的集合）
这里称$X_F^{+}$为$X$关于$F$的属性(集)闭包。
显然$X\subseteq X_F^{+}$

这个定义的你有毒就是如何判断一个$X\to Y$（一个函数依赖）是否属于一个函数依赖集,只需要判断$Y\subseteq X_F^{+}$即可
$X\to Y$，当且仅当$Y\subseteq X_F^{+}$

3.函数依赖集的最小覆盖

3.1 覆盖

对$R(U)$上的两个函数依赖集合$F、G$, 如果$F^{+}=G^{+}$，则称$F$和$G$是等价的，也称F覆盖G或者G覆盖F。

3.2 计算一属性集关于一组函数依赖的属性闭包

$Input：有限属性集合U,U上的函数依赖集合F,及U的子集X$
$Output：X关于F的属性闭包X^{+},记为X_F^{+}$
$Method：按下列规则递归计算属性序列X^0,X^1$,…

流程：

1. $令X^0=X,i=0$
2. $B$ = {$A|(\exists V)(\exists W)(V\to W\in F\cap V\subseteq X^i\cap A\subseteq W)$}（如果V中的属性都是之前已经求出来的属性闭包中的元素 ,那么W就是我要求的属性集合）
3. $X^{i+1}=B\cup X^i$（将刚刚求出来的集合加入）
4. $if(X^{i+1}!=X^i)$（当没有变化的时候）
5. ___$then$ $i=i+1$
6. ___$goto$ $2$
7. $X_F^{+}=X^i$算法终止

示例：

3.3 最小覆盖

[引理6] 每个函数依赖集F可被一个其右端至多有一个属性的函数依赖之集G覆盖。

用公式表达即为：6，$G$ = { $X\to A|X\to Y\in F\cap A\in Y$ }
这里，比如$X\to Y$，X中可能有很多属性，Y中也可能会有很多属性，如果我们把Y拆成单一的一个个属性，设为A，即有$X\to A$

[定义] 若F满足以下条件，则称F为最小覆盖(minimal Cover)或最小依赖集

1. F中每个函数依赖（$X\to Y$）的右部（$Y$）是单个属性；（单一属性）
2. 对任何$X\to A\in F$ , 有$F-${ $X\to A$ }不等价于F；(说明每个函数依赖$X\to A$是不可或缺的 )
3. 对任何$X\to A\in F,Z\subseteq X,(F-${$X\to A$ })∪{$Z\to A$}不等价于F (说明$X\to A$中的左端$X$ 没有多余的属性，公式中Z是X的真子集）

每个函数依赖集$F$都有等价的最小覆盖$F‘$
怎么求最小依赖？

为什么要求最小覆盖?
这个和后面的模式分解有关系