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

文章目录

6.1 问题的提出

6.2 规范化

6.2.1 函数依赖

6.2.2 码

6.2.3 范式

6.2.4 2NF

6.2.5 3NF

6.2.6 BCNF

6.2.7 多值依赖

6.2.8 4NF

6.2.9 规范化小结

6.3 数据依赖的公理系统

6.1 问题的提出

• 针对具体问题，应该如何构造一个适合于它的数据库模式，即应该构造几个关系模式，每个关系由哪些属性组成等。
• 人们以关系模型为背景讨论这个问题，形成了数据库逻辑设计的工具——关系数据库的规范化理论。

关系模式是一个五元组： 𝑅(𝑈,𝐷,DOM,𝐹)

• 关系名 𝑅 是符号化的元组语义
• 𝑈 为一组属性
• 𝐷 为 𝑈 中的属性所来自的域
• DOM 为属性到域的映射
• 𝐹 为 𝑈 上的一组数据依赖

由于 𝐷、DOM 与模式设计关系不大，因此在本章中把关系模式看作一个三元组： 𝑅<𝑈,𝐹> 。

当且仅当 𝑈 上的一个关系 𝑟 满足 𝐹 时， 𝑟 称为关系模式 𝑅 的一个关系。

作为二维表，关系要符合一个最基本的条件：每个分量必须是不可分的数据项。满足了这个条件的关系模式就属于第一范式（1NF）。

数据依赖

• 一个关系内部属性与属性之间的一种约束关系
• 通过属性间值的相等与否体现出来的数据间相关联系
• 是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现

数据依赖的主要类型：函数依赖（Functional Dependency，FD）、多值依赖（Multi-Valued Dependency，MVD）

函数依赖普遍存在于现实生活中

例：描述一个学生关系，可以有学号、姓名、系名等属性。

• 一个学号只对应一个学生，一个学生只在一个系中学习
• “学号”值确定后，学生的姓名及所在系的值就被唯一确定

Sname=𝑓(Sno) ， Sdept=𝑓(Sno)

即 Sno 函数决定 Sname ， Sno 函数决定 Sdept ，记作 Sno→Sname ， Sno→Sdept

【例 6.1】建立一个描述学校教务的数据库，涉及的对象包括：学生的学号（Sno）、所在系（Sdept）、系主任姓名（Mname）、课程号（Cno）、成绩（Grade）。

假设学校教务的数据库模式用一个单一的关系模式 Student 来表示，则该关系模式的属性集合为：

𝑈={Sno,Sdept,Mname,Cno,Grade}

现实世界的已知事实（语义）：

• ① 一个系有若干学生，但一个学生只属于一个系
• ② 一个系只有一名（正职）负责人
• ③ 一个学生可以选修多门课程，每门课程有若干学生选修
• ④ 每个学生学习每一门课程有一个成绩

得到属性组 𝑈 上的一组函数依赖 𝐹 ：

𝐹={Sno→Sdept,Sdept→Mname,(Sno,Cno)→Grade}

关系模式 Student 中存在的问题：

（1）数据冗余

浪费大量的存储空间。比如，每一个系的系主任姓名重复出现，重复次数与该系所有学生的所有课程成绩出现次数相同。

（2）更新异常（update anomalies）

数据冗余，更新数据时，维护数据完整性代价大。比如，某系更换系主任后，必须修改与该系学生有关的每一个元组。

（3）插入异常（insertion anomalies）

如果一个系刚成立，尚无学生，则无法把这个系及其系主任的信息存入数据库。

（4）删除异常（deletion anomalies）

如果某个系的学生全部毕业了，则在删除该系学生信息的同时，这个系及其系主任的信息也丢掉了。

结论：

• Student 关系模式不是一个好的模式。
• 一个“好”的模式应当不会发生插入异常、删除异常和更新异常，数据冗余应尽可能少。

原因：这个模式中的函数依赖存在某些不好的性质。

解决方法：用规范化理论改造关系模式来消除其中不合适的函数依赖。

把这个单一的模式分成三个关系模式：

S(Sno,Sdept,Sno→Sdept)

SC(Sno,Cno,Grade,(Sno,Cno)→Grade)

DEPT(Sdept,Mname,Sdept→Mname)

这三个模式都不会发生插入异常、删除异常的问题，数据的冗余也得到了控制。

6.2 规范化

6.2.1 函数依赖

定义 6.1：设 𝑅(𝑈) 是属性集 𝑈 上的关系模式， 𝑋 和 𝑌 是 𝑈 的子集。若对于 𝑅(𝑈) 的任意一个可能的关系 𝑟 ， 𝑟 中不可能存在两个元组在 𝑋 上的属性值相等，而在 𝑌 上的属性值不等，则称 𝑋 函数确定 𝑌 或 𝑌 函数依赖于𝑋 ，记作 𝑋→𝑌 。

函数依赖和别的数据依赖一样是语义范畴的概念，只能根据语义来确定一个函数依赖。例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立。

• 𝑋→𝑌，但 𝑌⊈𝑋，则称 𝑋→𝑌 是非平凡的函数依赖。
• 𝑋→𝑌，但 𝑌⊆𝑋，则称 𝑋→𝑌 是平凡的函数依赖。对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义。若不特别声明，总是讨论非平凡函数依赖。
• 若 𝑋→𝑌，则 𝑋 称为这个函数依赖的决定属性组，也称为决定因素（determinant）。
• 若 𝑋→𝑌，𝑌→𝑋，则记作 𝑋←→𝑌 。
• 若 𝑌 不函数依赖于𝑋，则记作 𝑋↛𝑌。

定义：在 𝑅(𝑈) 中，如果 𝑋→𝑌，并且对于 𝑋 的任何一个真子集 𝑋′ , 都有 𝑋′↛𝑌, 则称 𝑌 对 𝑋 完全函数依赖，记作 𝑋→𝐹𝑌 。

若 𝑋→𝑌，但 𝑌 不完全函数依赖于 𝑋，则称 𝑌 对 𝑋 部分函数依赖，记作 𝑋→𝑃𝑌 。

定义：在 𝑅(𝑈) 中，如果 𝑋→𝑌 (𝑌⊈𝑋) ， 𝑌↛𝑋 ， 𝑌→𝑍 ， 𝑍⊈𝑌 ，则称 𝑍 对 𝑋 传递函数依赖（transitive functional dependency）。记为： 传递𝑋→传递𝑍 。

例 6.1 中 (Sno,Cno)→𝐹Grade 是完全函数依赖， (Sno,Cno)→𝑃Sdept 是部分函数依赖。

Sno→Sdept ， Sdept→Mname 成立，所以 传递Sno→传递Mname 。

6.2.2 码

定义：设 𝐾 为 𝑅 中的属性或属性组合。若 𝐾→𝐹𝑈 ，则 𝐾 称为 𝑅 的候选码（candidate key）。

如果 𝑈 部分函数依赖于 𝐾，即 𝐾→𝑃𝑈 ，则 𝐾 称为超码（surpkey）。候选码是最小的超码，即 𝐾 的任意一个真子集都不是候选码。

若关系模式 𝑅 有多个候选码，则选定其中的一个为主码（primary key）。

主属性与非主属性

• 包含在任何一个候选码中的属性，称为主属性（prime attribute）
• 不包含在任何候选码中的属性称为非主属性（nonprime attribute）或非码属性（non-key attribute）

最简单的情况，单个属性是码；最极端的情况，整个属性组是码，称为全码（all-key）。

【例 6.2】S(Sno_,Sdept,Sage)，单个属性 Sno 是码， SC(Sno,Cno_,Grade) 中，属性组合合(Sno,Cno) 是码。

【例 6.3】关系模式 𝑅(𝑃,𝑊,𝐴_) ，𝑃 表示演奏者，𝑊 表示作品，𝐴 表示听众。一个演奏者可以演奏多个作品，某一作品可被多个演奏者演奏，听众可以欣赏不同演奏者的不同作品这个关系模式的码为（ 𝑃,𝑊,𝐴 ），即全码。

定义：关系模式 𝑅 中属性或属性组 𝑋 并非 𝑅 的码，但 𝑋 是另一个关系模式的码，则称 𝑋 是 𝑅 的外部码（foreign key），也称外码。

6.2.3 范式

• 范式是符合某一种级别的关系模式的集合。
• 关系数据库中的关系是要满足一定要求的，满足不同程度要求的为不同范式。
• 满足最低要求的叫第一范式，简称 1NF。

范式之间存在联系：

5NF ⊂ 4NF ⊂ BCNF ⊂ 3NF ⊂ 2NF ⊂ 1NF

某一关系模式 𝑅 为第 𝑛 范式，可简记为 𝑅∈ NF。

各种范式之间的关系

一个低一级范式的关系模式，通过模式分解（schema decomposition）可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化（normalization）。

6.2.4 2NF

定义：若关系模式 𝑅∈ 1NF，且每一个非主属性完全函数依赖于任何一个候选码，则 𝑅∈ 2NF。

【例 6.4】S-L-C(Sno, Sdept, Sloc, Cno, Grade)，Sloc 为学生的住处，并且每个系的学生住在同一个地方。S-L-C的码为 (Sno,Cno)，则函数依赖有：

(Sno, Cno) →𝐹 Grade

Sno → Sdept, (Sno, Cno) →𝑃 Sdept

Sno → Sloc, (Sno, Cno) →𝑃 Sloc

Sdept → Sloc（每个系的学生只住一个地方）

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

（1）插入异常。如果插入一个新学生，但该生还未选课，即该生无 Cno，由于插入元组时必须给定码值，因此插入失败。

（2）删除异常。如果 S4 只选了一门课 C3，现在他不再选这门课，那么 C3 这个数据项就要删除；而 C3 是主属性，删除了 C3，整个元组就必须一起删除，使得 S4 的其他信息也被删除了。

（3）修改复杂。如果一个学生选了多门课，则 Sdept，Sloc 被存储了多次。如果该生转系，则需要修改所有相关的 Sdept 和 Sloc，造成修改的复杂化。

解决的办法是用投影分解把关系模式 S-L-C 分解成两个关系模式：SC(Sno,Cno,Grade) 和 S-L(Sno,Sdept,Sloc)。

6.2.5 3NF

定义：设关系模式 𝑅∈ 1NF，若 𝑅 中不存在这样的码 𝑋， 属性组 𝑌 及非主属性 𝑍（𝑍⊈𝑌）, 使得 𝑋→𝑌 ，𝑌→𝑍 成立，𝑌↛𝑋 ， 则称 𝑅∈ 3NF。

关系模式 SC 没有传递依赖，关系模式 S-L 存在非主属性对码的传递依赖。因此 SC ∈ 3NF，S-L ∉ 3NF。

一个关系模式 𝑅 如果不是 3NF，就会产生于2NF 相类似的问题。

解决的办法是将 S-L 分解成 S-D(Sno,Sdept) ∈ 3NF 和 D-L(Sdept,Sloc) ∈ 3NF。分解后的关系模式 S-D 与 D-L 中不再存在传递依赖。

6.2.6 BCNF

定义：设关系模式 𝑅∈ 1NF，若 𝑋→𝑌 且 𝑌⊈𝑋 时 𝑋 必含有码，则 𝑅∈ BCNF。

也就是说，关系模式 𝑅 中，若每一个决定因素都包含码， 则 𝑅∈ BCNF。

满足 BCNF 的关系模式所具有的性质：

• 所有非主属性对每一个候选码都是完全函数依赖。
• 所有主属性对每一个不包含它的候选码也是完全函数依赖。
• 没有任何属性完全函数依赖于非码的任何一组属性。

【例 6.5】考察关系模式 C(Cno,Cname,Pcno)，它只有一个码 Cno，没有任何属性对 Cno 部分依赖或传递依赖， 所以 C ∈ 3NF。同时 C 中 Cno 是唯一的决定因素，所以 C ∈ BCNF。

【例 6.6】关系模式 S(Sno,Sname,Sdept,Sage)，假定 Sname 也具有唯一性，那么 S 就有两个码，这两个码都由单个属性组成，彼此不相交。其他属性不存在对码的传递依赖与部分依赖，所以 S ∈ 3NF。同时 S 中除 Sno，Sname 外没有其他决定因素，所以 S 也属于 BCNF。

【例 6.7】关系模式 SJP(S,J,P) 中， S 是学生，J 表示课程，P 表示名次。每一个学生选修每门课程的成绩有一定的名次，每门课程中每一名次只有一个学生（即没有并列名次）。

由语义可得到函数依赖：（S,J）→P ；（J,P）→S

（S,J）与（J,P）都可以作为候选码。

关系模式中没有属性对码传递依赖或部分依赖，所以 SJP∈ 3NF。

除（S,J）与（J,P）以外没有其他决定因素，所以 SJP∈ BCNF。

【例 6.8】关系模式 STJ(S,T,J) 中，S 表示学生，T 表示教师，J 表示课程。每一教师只教一门课，每门课有若干教师，某一学生选定某门课，就对应一个固定的教师。由语义可得到函数依赖：（S,J）→T ；（S,T）→J ， T→J 。

STJ 中的函数依赖

因为没有任何非主属性对码传递依赖或部分依赖，STJ∈ 3NF。

因为 T 是决定因素，而 T 不包含码， 所以 STJ∉ BCNF。

6.2.7 多值依赖

【例 6.9】学校中某一门课程由多个教师讲授，他们使用相同的一套参考书。每个教师可以讲授多门课程，每种参考书可以供多门课程使用。用关系模式 Teaching(C,T,B) 来表示课程 C、教师 T 和参考书 B 之间的关系。

Teaching 具有唯一候选码 (C,T,B)，即全码，因而 Teaching ∈ BCNF。

存在问题：

（1）数据冗余度大：有多少名教师，参考书存储多少次。

（2）增加操作复杂：当某一课程增加一名任课教师时，该课程有多少本参考书，就必须插入多少个元组。

（3）删除操作复杂：某一门课要去掉一本参考书，该课程有多少名教师，就必须删除多少个元组。

（4）修改操作复杂：某一门课要修改一本参考书，该课程有多少名教师，就必须修改多少个元组。

产生原因：存在多值依赖

定义：设 𝑅(𝑈) 是属性集 𝑈 上的一个关系模式。𝑋，𝑌，𝑍 是 𝑈 的子集，并且 𝑍=𝑈−𝑋−𝑌 。关系模式 𝑅(𝑈) 中多值依赖 𝑋→→𝑌 成立，当且仅当对 𝑅(𝑈) 的任一关系 𝑟，给定的一对 (𝑥,𝑧) 值，有一组 𝑌 的值，这组值仅仅决定于 𝑥 值而与 𝑧 值无关。

多值依赖的另一个等价的定义

在 𝑅(𝑈) 的任一关系 𝑟 中，如果存在元组 𝑡 、𝑠 使得 𝑡[𝑋]=𝑠[𝑋]，那么就必然存在元组 𝑤 、𝑣∈𝑅 ，（𝑤 、𝑣 可以与 𝑠 、𝑡 相同），使得 𝑤[𝑋]=𝑣[𝑋]=𝑡[𝑋]，而 𝑤[𝑌]=𝑡[𝑌]，𝑤[𝑍]=𝑠[𝑍]，𝑣[𝑌]=𝑠[𝑌]，𝑣[𝑍]=𝑡[𝑍]（即交换 𝑠 、𝑡 元组的 𝑌 值所得的两个新元组必在 𝑟 中），则 𝑌 多值依赖于 𝑋，记为 𝑋→→𝑌。这里 𝑋、𝑌 是 𝑈 的子集，𝑍=𝑈−𝑋−𝑌。

若 𝑋→→𝑌，而 𝑍=𝜙，即 𝑍 为空，则称 𝑋→→𝑌 为平凡的多值依赖。

【例 6.10】关系模式 WSC(𝑊,𝑆,𝐶) 中，𝑊 表示仓库，𝑆 表示保管员，𝐶 表示商品。假设每个仓库有若干个保管员，有若干种商品。每个保管员保管所在仓库的所有商品，每种商品被所有保管员保管。

按照语义对于 𝑊 的每一个值 𝑊𝑖，𝑆 有一个完整的集合与之对应而不问 𝐶 取何值。所以 𝑊→→𝑆。

W→→S 且 W→→C

对应 𝑊 的某一个值 𝑊𝑖 的全部 𝑆 值记作 {𝑆}𝑊𝑖（表示此仓库工作的全部保管员），全部 𝐶 值记作 {𝐶}𝑊𝑖（表示在此仓库中存放的所有商品），应当有 {𝑆}𝑊𝑖中的每一个 𝑆 值和 {𝐶}𝑊𝑖中的每一个 𝐶 值对应。于是 {𝑆}𝑊𝑖与 {𝐶}𝑊𝑖之间正好形成一个完全二分图，因而 𝑊→→𝑆。

由于 𝐶 与 𝑆 的完全对称性，必然有 𝑊→→𝐶 成立。

多值依赖的性质

（1）多值依赖具有对称性。即若 𝑋→→𝑌，则 𝑋→→𝑍，其中𝑍=𝑈−𝑋−𝑌。

多值依赖的对称性可以用完全二分图直观地表示出来。

从例 6.10 容易看出，因为每个保管员保管所有商品，同时每种商品被所有保管员保管，显然若 𝑊→→𝑆，必然有 𝑊→→𝐶。

（2）多值依赖具有传递性。即若 𝑋→→𝑌，𝑌→→𝑍 ，则 𝑋→→𝑍−𝑌。

（3）函数依赖是多值依赖的特殊情况。即若 𝑋→𝑌，则 𝑋→→𝑌。

（4）若 𝑋→→𝑌，𝑋→→𝑍，则 𝑋→→𝑌𝑍。

（5）若 𝑋→→𝑌，𝑋→→𝑍，则 𝑋→→𝑌∩𝑍。

（6）若 𝑋→→𝑌，𝑋→→𝑍，则 𝑋→→𝑌−𝑍，𝑋→→𝑍−𝑌。

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

（1）多值依赖的有效性与属性集的范围有关

若 𝑋→→𝑌 在 𝑈 上成立，则在 𝑊（𝑋𝑌⊆𝑊⊆𝑈）上一定成立；反之则不然，即 𝑋→→𝑌 在 𝑊（𝑊⊂𝑈）上成立，在 𝑈 上并不一定成立。

原因：多值依赖的定义中不仅涉及属性组 𝑋 和 𝑌 ，而且涉及 𝑈 中其余属性 𝑍 。

一般地，在 𝑅(𝑈) 上若有 𝑋→→𝑌 在 𝑊（𝑊⊂𝑈）上成立，则称 𝑋→→𝑌 为 𝑅(𝑈) 的嵌入型多值依赖。

函数依赖 𝑋→𝑌 的有效性仅决定于 𝑋、𝑌 这两个属性集的值。

只要在 𝑅(𝑈) 的任何一个关系 𝑟 中，元组在 𝑋 和 𝑌 上的值满足定义 6.1，则函数依赖 𝑋→𝑌 在任何属性集 𝑊（𝑋𝑌⊆𝑊⊆𝑈）上成立。

（2）若函数依赖 𝑋→𝑌 在 𝑅(𝑈) 上成立，则对于任何 𝑌′⊂𝑌 均有 𝑋→𝑌′ 成立。而多值依赖 𝑋→→𝑌 若在 𝑅(𝑈) 上成立，却不能断言对于任何 𝑌′⊂𝑌 有 𝑋→→𝑌′成立。

6.2.8 4NF

定义：关系模式 𝑅∈ 1NF，如果对于 𝑅 的每个非平凡多值依赖 𝑋→→𝑌（𝑌⊈𝑋），𝑋 都含有码，则称 𝑅∈ 4NF。

4NF 就是限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖。4NF 所允许的非平凡多值依赖实际上是函数依赖。

可以用投影分解的方法消去非平凡且非函数依赖的多值依赖。

函数依赖和多值依赖是两种最重要的数据依赖。

• 如果只考虑函数依赖，则属于 BCNF 的关系模式规范化程度已经是最高的。
• 如果考虑多值依赖，则属于 4NF 的关系模式规范化程度是最高的。

6.2.9 规范化小结

• 在关系数据库中，对关系模式的基本要求是满足第一范式。
• 规范化程度过低的关系不一定能够很好地描述现实世界，可能存在插入异常、删除异常、修改复杂、数据冗余等问题。解决方法就是对其进行规范化，转换成高级范式。
• 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式集合，这种过程就叫关系模式的规范化。
• 关系数据库的规范化理论是数据库逻辑设计的工具。

规范化的基本思想

• 逐步消除数据依赖中不合适的部分，使模式中的各关系模式达到某种程度的“分离”
• 即采用“一事一地”的模式设计原则：让一个关系描述一个概念、一个实体或者实体间的一种联系，若多于一个概念就把它“分离”出去
• 因此规范化实质上是概念的单一化

规范化过程

不能说规范化程度越高的关系模式就越好，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式。上面的规范化步骤可以在其中任何一步终止。

6.3 数据依赖的公理系统

定义：对于满足一组函数依赖 𝐹 的关系模式 𝑅<𝑈,𝐹>，其任何一个关系 𝑟，若函数依赖 𝑋→𝑌 都成立（即 𝑟 中任意两元组 𝑡、𝑠，若 𝑡[𝑋]=𝑠[𝑋]，则 𝑡[𝑌]=𝑠[𝑌]），则称 𝐹 逻辑蕴涵 𝑋→𝑌。

Armstrong 公理系统（Armstrong's axiom）

设 𝑈 为属性集总体，𝐹 是 𝑈 上的一组函数依赖，于是有关系模式 𝑅，对 𝑅 来说有以下的推理规则：

A1 自反律（reflexivity rule）：若 𝑌⊆𝑋⊆𝑈，则 𝑋→𝑌 为 𝐹 所蕴涵。

A2 增广律（augmentation rule）：若 𝑋→𝑌 为 𝐹 所蕴涵，且 𝑍⊆𝑈，则𝑋𝑍→𝑌𝑍 为 𝐹 所蕴涵。

注：𝑋𝑍 表示 𝑋∪𝑍。

A3 传递律（transitivity rule）：若 𝑋→𝑌 及 𝑌→𝑍 为 𝐹 所蕴涵，则 𝑋→𝑍 为 𝐹 所蕴涵。

注：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于 𝐹。

定理：Armstrong 推理规则是正确的。

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

• 合并规则（union rule）：由 𝑋→𝑌，𝑋→𝑍 ，有 𝑋→𝑌𝑍。
• 伪传递规则（pseudo transitivity rule）：由 𝑋→𝑌，𝑊𝑌→𝑍，有 𝑋𝑊→𝑍。
• 分解规则（decomposition rule）：由 𝑋→𝑌 及 𝑍⊆𝑌，有 𝑋→𝑍。

引理 6.1：𝑋→𝐴1𝐴2⋯𝐴𝑘 成立的充分必要条件是 𝑋→𝐴𝑖 成立 (𝑖=1,2,⋯,𝑘)。

定义：在关系模式 𝑅<𝑈,𝐹> 中为 𝐹 所逻辑蕴涵的函数依赖的全体叫作 𝐹 的闭包（closure），记为 𝐹+。

人们把自反律、传递律和增广律称为 Armstrong 公理系统。

Armstrong 公理系统是有效的、完备的。

• 有效性：由 𝐹 出发根据 Armstrong 公理推导出来的每一个函数依赖定在 𝐹+ 中。
• 完备性：𝐹 中的每一个函数依赖，必定可以由 𝐹 出发根据 Armstrong 公理推导出来。

定义：设 𝐹 为属性集 𝑈 上的一组函数依赖，𝑋、𝑌⊆𝑈 ，能由根据公理导出𝑋𝐹+={𝐴|𝑋→𝐴 能由 𝐹 根据 Armstrong 公理导出} ，𝑋𝐹+ 称为属性集 𝑋 关于函数依赖集 𝐹 的闭包。

由引理 6.1 容易得出引理 6.2。

引理 6.2：设 𝐹 为属性集 𝑈 上的一组函数依赖，𝑋、𝑌⊆𝑈，𝑋→𝑌 能由 𝐹 根据 Armstrong 公理导出的充分必要条件是 𝑌⊆𝑋𝐹+。

定理：Armstrong 公理系统是有效的、完备的。

Armstrong 公理的完备性及有效性说明了“导出”和“蕴涵”是两个完全等价的概念。

从蕴涵（或导出）的概念出发，又引出了两个的数依赖集等价和最小依赖集的概念。

定义：如果 𝐺+=𝐹+ ，就说函数依赖集 𝐹 覆盖 𝐺 （𝐹 是 𝐺 的覆盖，或 𝐺 是 𝐹 的覆盖），或 𝐹 与 𝐺 等价。

引理：𝐹+=𝐺+的充分必要条件是 𝐹+⊆𝐺+和 𝐺⊆𝐹+。

定义：如果函数依赖集 𝐹 满足下列条件，则称 𝐹 为一个极小函数依赖集，亦称为最小依赖集或最小覆盖（minimal cover）。

（1）𝐹 中任一函数依赖的右部仅含有一个属性。

（2）𝐹 中不存在这样的函数依赖 𝑋→𝐴，使得 𝐹 与 𝐹−{𝑋→𝐴} 等价。

（3）𝐹 中不存在这样的函数依赖 𝑋→𝐴，𝑋 有真子集 𝑍 使得𝐹−{𝑋→𝐴}∪{𝑍→𝐴} 与 𝐹 等价。

定理：每一个函数依赖集 𝐹 均等价于一个极小函数依赖集 𝐹𝑚。此 𝐹𝑚 称为 𝐹 的最小依赖集。