注：本文面向于软考高级—系统架构设计师，具体来说是数据库部分，知识点偏零碎化。想要系统学习数据库原理的，可考虑去看《数据库原理》，清华大学出版社或其他出版社皆可。

概述

概念

关系，就是二维表。特性：

• 列不可分性：关系中每一列都是不可再分的属性，即不能出现如下复合属性
• 行列无序性：交换列的前后顺序不影响关系模式的语义表达
• 实体完整性：关系中不可能出现两个完全相同的元组

属性：二维表中的每一列称为属性，每个属性有一个名字称为属性名，某一列的值称为属性值。

值域：二维表中属性的取值范围。

元组：二维表中的一行数据称为元组，也叫记录。

分量：元组中的每个属性值称为元组的分量。

关系模式：关系的描述就是关系模式

超码：一个或多个属性的集合，这些属性的集合可以使我们在一个关系中唯一标识一个元组。

候选码：候选码是最小的超码，即候选码可以唯一标识一个元组，但除去候选码中的任何一个属性均不能唯一标识元组。

主码：当有多个候选码时可以选择一个作为主码，一个关系只有一个主码。主码能够唯一标识一个关系的元组且不含有多余元素。

外码：外码用于表示两个或多个实体间的关联关系。外码实际上是关系中的一个或多个属性，这些属性引用其他关系的主码或（候选码），详见参照完整性约束。

主属性：包含在任意候选码中的属性称为主属性，不包含在任意候选码中的属性叫非主属性。

逻辑蕴涵：设F是$R(U)$上的一个函数依赖集合，X和Y是R的属性子集。如果从F中的函数依赖能推导出$X→Y$，称F逻辑蕴涵$X→Y$，记作$F⊨X→Y$。

闭包：被F逻辑蕴涵的所有函数依赖集合称为