2.1 名词解释 (1)关系模型：用二维表格结构表示实体集，外键表示实体间联系的数据模型称为关系模型。 (2)关系模式：关系模式实际上就是记录类型。它的定义包括：模式名，属性名，值域名以及模式的主键。 关系模式不涉及到物理存储方面的描述，仅仅是对数据特性的描述。 (3)关系实例：元组的集合称为关系和实例，一个关系即一张二维表格。 (4)属性：实体的一个特征。在关系模型中，字段称为属性。 (5)域：在关系中，每一个属性都有一个取值范围，称为属性的值域，简称域。 (6)元组：在关系中，记录称为元组。元组对应表中的一行；表示一个实体。 (7)超键：在关系中能唯一标识元组的属性集称为关系模式的超键。 (8)候选键：不含有多余属性的超键称为候选键。 (9)主键：用户选作元组标识的一个候选键为主键。（单独出现，要先解释“候选键”） (10)外键：某个关系的主键相应的属性在另一关系中出现，此时该主键在就是另一关系的外键， 如有两个关系S 和 SC,其中 S#是关系S 的主键，相应的属性 S#在关系SC 中也出现，此时 S#就是关系SC 的外键。 (11)实体完整性规则：这条规则要求关系中元组在组成主键的属性上不能有空值。 如果出现空值，那么主键值就起不了唯一标识元组的作用。 (12)参照完整性规则：这条规则要求“不引用不存在的实体”。 其形式定义如下：如果属性集K 是关系模式 R1 的主键，K 也是关系模式 R2 的外键，那么R2 的关系中， K 的取值只允许有两种可能，或者为空值，或者等于R1 关系中某个主键值。 这条规则在使用时有三点应注意： 1)外键和相应的主键可以不同名，只要定义在相同值域上即可。 2)R1 和 R2 也可以是同一个关系模式，表示了属性之间的联系。 3)外键值是否允许空应视具体问题而定。 (13)过 程 性语 言 ：在编 程 时必 须 给 出获 得 结果的操 作步 骤 ，即“干 什 么”和“怎 么干 ”。如 Pascal和 C 语 言 等。 (14)非 过 程 性语 言 ：编 程 时只须 指 出需 要什 么信 息 ，不必 给 出具体的操 作步 骤 。 各 种关系查 询 语 言 均 属于非 过 程 性语 言 。 (15)无 限 关系：当 一个关系中存在无 穷 多个元组时，此关系为无 限 关系。 如元组表达 式{t|┐ R(t)}表示所 有不在关系R 中的元组的集合，这是一个无 限 关系。 (16)无穷验证：在验证公式时需对无穷多个元组进行验证就是无穷验证。 如验...
