基本函数依赖和候选键_白话详解数据库函数依赖和Armstrong公理及其引理

一、函数依赖

1. 函数依赖

定义：设 R(U) 是属性集合 U={ A1, A2, ... , An } 上的一个关系模式，X, Y 是 U 上的两个子集，若对 R(U) 的任意一个可能的关系 r ，r 中不可能有两个元组满足在 X 中的属性值相等而在 Y 中的属性值不等，则称 “ X 函数决定 Y ” 或 “ Y函数依赖于X ” ，记作

。

白话：在一个关系 R 中，属性(组) Y 的值是由属性(组) X 的值所决定的 。又可以说，在关系 R 中，若两个元组的 X 属性值相同，那么这两个元组的 Y 属性值也相同。

为什么叫做函数依赖？ 函数的定义：对于定义域中任意 x ，有且只有一个 y 与之对应。 属性之间的依赖：对于相同的 X 属性值，有且只有一个 Y 属性值与之对应。

本质：函数依赖的本质就是反应了 一个关系中属性之间的约束关系，或者依赖关系。函数依赖是一种数据依赖。

举例：1. U = { 学号，姓名，年龄，专业 }

{学号}

{ 姓名，年龄，专业 }

函数依赖 分为 非平凡函数依赖 和 平凡函数依赖。 非平凡函数依赖：对

，但

，则称

为非平凡的函数依赖。也就是说 X 决定 Y，但是 Y 不在 X 中，这种叫做非平凡函数依赖。否则就是平凡函数依赖。

2. 完全函数依赖和部分函数依赖

定义：在关系 R(U) 中， 若

，且对于 X 的任何真子集 X‘ 都有 X’

Y，则称 Y 完全函数依赖于 X，记为：

。否则称 Y函数部分依赖于 X，记为

。

白话：完全函数依赖就是说 属性组 X 的所有属性一起(即完全)才能决定属性 Y，去掉任何一个属性都不行。相反的，部分函数依赖就是说 属性组 X 中的 部分属性就可以决定 Y ，用不着全部。

Insight：如果 属性(组)Y 部分函数依赖于 属性组 X，则说明属性组 X 中存在着对属性(组) Y 的非受控冗余。在设计数据库时应避免这种情况。(对应着 2NF )。

举例：U = {学号，姓名，年龄，班号，班长，课号，成绩 }

{学号，课号}

U

{ 学号，课号 }

{ 姓名，年龄 }

{ 学号，课号 }

{ 成绩 }

解释：单个学号可以决定性别和年龄，单个学号就可以决定成绩。因此

和

对

是部分函数依赖。

3. 传递函数依赖

定义：在 R(U) 中，若

，且

，则称 Z 传递函数依赖于 X 。

白话：如果 X 函数决定 Y，Y 函数决定Z，且 Y、Z 都不包含于 X，Z 不包含于 Y ，Y 不能决定 X，则称 Z 传递函数依赖于 X。 注意！：若

，可以得到

，但 不能说 Z 传递函数依赖于 X。

Insight：传递函数依赖存在着非受控冗余。

举例：学生( 学号，姓名，系号，系主任 )

{学号}

{ 系号 }

{系号}

{ 系主任 }

{学号}

{ 系主任 }

“系主任” 是传递依赖于 “学号” 的。

图示：

注：以上图片来自哈工大战德臣老师的PPT

4. 与函数依赖相关的概念

(1). 候选键

定义：设 K 为 R(U) 中的属性或属性组合，若

，则称 K 为 R(U) 上的候选键。

白话：对于关系 R(U) 中的属性(组)K，如果 U 完全函数依赖于 K，即 K 中的所有属性一起才能决定 U，则称 K 为 R(U) 的候选键。

(2). 主键

如果有多个候选键，则可以选择任一候选键作为主键。

(3). 主属性

包含在任一候选键中的属性称为主属性，其他属性称为非主属性。

(4). 外来键

若 R(U) 中的属性(组)X 不是 R 的候选键，却是另一关系 S(U) 的候选键，则称 X 为 R(U) 的外来键，简称外键。

白话：一个关系的外键是另一关系的候选键。

(5). 逻辑蕴含

定义：设 F 是关系 R(U) 中的一个函数依赖集合，X、Y 是 R 的属性子集，如果能从 F 这个函数依赖集合中推导出

，则称 F 逻辑蕴含

，或者说

是 F 的逻辑蕴含。记作

。

(6). 闭包

定义 ：被 F 逻辑蕴含的所有函数依赖集合称为 F 的闭包，记作

。

白话：也就是说，能从 函数依赖集 F 中推导出的所有函数依赖组成的集合，称为 F 的闭包。(学过泛函的话应该能感觉到有种完备的概念)。

如果

，则称 F 是一个 全 函数依赖族。(函数依赖完备集)。

二、函数依赖的 Armstrong 公理及其引理

设 F 为 R(U) 的一组函数依赖，记为 R(U, F) 。

1. 函数依赖的 Armstrong 公理

(1). 自反律

若

，则

被 F 逻辑蕴含。

白话：若 属性集 Y 包含于 X，X 包含于 U，则

，则

。也就是说 如果属性集 Y 属于 X，则 X 可以决定 Y，又可以说 属性集 X 可以决定 他的属性 子集。(平凡函数依赖)

(2). 增广律

若

，且

，则

被 F 逻辑蕴含。

白话：如果

在 F 这个函数依赖集合中，另一属性(组) Z 是属性集 U 中的元素，那么从 F 中可以推导出 XZ 函数决定 YZ。

(3). 传递律

若

，且

，则

被 F 逻辑蕴含。

2. 函数依赖的 Armstrong 的引理

2.1 引理1

(1). 合并律

若

且

，则

。 证明：根据增广律可以得到

，

，再根据传递律得到，

。

(2). 伪传递律

若

且

，则

。 证明：证明方法依然是 增广律 和 传递律。

(3). 分解律

若

且

，则

。 证明：根据自反律可以得到

，再根据传递律，得证

。

2.2 引理2

如果 A1，A2，... ，An是属性，则

当且仅当对每个 Ai 有

2.3 属性(集)闭包 和 引理3

(1). 属性(集)闭包定义

对 R(U, F) ，

，令：

= Ai 用 armstrong 三个公理 可从 F 导出

，称

为 X 关于 F 的属性(集)闭包。

区分 闭包和属性(集)闭包： 闭包指的是 F的闭包，该集合包含的元素是函数依赖。 属性集闭包是 X属性(集) 关于 F 的属性(集)闭包，该集合包含的元素是属性。

(2). 引理3

若 从 F 这个函数依赖集合中可以用 Armstrong 公理 导出

，当且仅当

。

解释：只有 Y 这个属性 在 X 关于 F 的属性(集)闭包中，才能推出

，只要能推出 X 决定 Y，那 Y 一定在 X 关于 F 的属性(集)闭包中。

2.4 覆盖 和 引理4、5

(1) 覆盖

定义：对 R(U) 上的两个函数依赖集合 F、G，如果

，则称 F 和 G 也是等价的，也称作 F 覆盖 G 或者 G 覆盖 F。

(2) 引理4

(3) 引理5

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

2.5 最小覆盖

(1). 最小覆盖

F 满足：F 中每个函数依赖的右边部分都是单个属性；

对任何

，有 F -

不等价于 F；

对任何

，( F-

不等价于F。

则 F 为 最小覆盖 或者 最小依赖集。

解释： 对于第 2 点，如果去掉

这个函数依赖，那么从 F 中不能推导出

，也就是说 F 中的每一个函数依赖都是必需的，一个不能少。 对于第 3 点，Z 是 函数依赖的 左边部分 的一个子集，如果去掉

这个函数依赖，加上 X 子集

的依赖依然不等价于F，即

是不能由

代替的。

(2). 定理

每个函数依赖集 F 都有等价的最小覆盖 F‘。