第2节关系运算理论.pptVIP

第2章 关系运算理论 2.1 关系的数学定义 2.2 关系数据库 2.3 关系代数 用二维表格表示实体集，用关键码进行数据导航的数据模型称为关系模型。 关系模型是1970年由E.F.Codd提出的，在关系模型基础上发展的关系数据库系统已成为当今应用最广泛的数据库系统。 与层次模型、网状模型相比，关系模型有两个显著特点： ①数据结构简单，即用二维表格表示实体及实体集间的联系； ②有关系运算理论和关系模式设计理论等扎实的理论基础。 2.1 关系的数学定义2.1.1 关系的基本术语1. 关系模型的基本术语 二维表格对应的关系模式术语如下 属性：字段或数据项称为属性，也称为列。 属性值：字段值称为属性值。 关系模式：记录类型或表结构称为关系模式，即表头或表框架。关系模式是对关系的描述，一般表示为： 关系名（属性1，属性2，…，属性n） 元组：记录称为元组，也称为行。 关系：元组的集合称为关系，一个关系对应通常说的一个二维表。 值域：属性的取值范围称为属性的值域。 分量：元组中的一个属性值。 基数：元组的个数称为基数，即记录数。 元数：属性的个数称为元数，即列数。 2. 关键字（Key，关键码、键、码） 超键：若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为超键。 候选键：不含有多余属性的超键称为候选键。 主键：若一个关系有多个候选键，则选定其中一个为主键。 例 学生关系：学生（学号，姓名，年龄） 学生选课关系：选修（学号，课程号，成绩） 主属性：包含在任何一个候选键中的属性称为主属性。 非主属性：不包含在任何一个候选键中的属性称为非主属性。 3. 关系的类型 关系可以有三种类型： ①基本表（基本关系）--实际存在的表，它是实际存储数据的逻辑表示。 ②查询表--是查询结果对应的表。 ③视图--由基本表或其他视图表导出的表，是虚表（不对应实际存储的数据）。 4. 关系的性质 在关系数据库中，关系是一种规范化了的二维表格。 基本关系具有以下六条性质： ①列是同质的，即每一列中的分量是同一类型的数据，来自同一个域。 ②不同的列可以出自同一个域，称其中的每一列为一个属性，不同的属性要给予不同的属性名。 ③列的顺序无所谓。 ④任意两个元组不能相同。 ⑤行的顺序无所谓。 ⑥分量必须取原子量，即每一个分量都必须是不可分的数据项。 2.1.2 关系的数学定义 1. 域（Domain） 域是一组具有相同数据类型的值的集合。 如： {1, 3, 5, … , 99} 100以内的奇数 {男, 女} 两种性别的集合 2. 笛卡尔积 给定一组域D1，D2，…，Dn，这些域中可以有相同的，D1，D2，…，Dn的笛卡尔积为： 其中每一个元素（d1, d2, …, dn）叫做一个n元组，简称元组。 元组中的每一个值di叫做一个分量。 例： 设 D1＝{1，3}，D2＝{4，6} n个域的笛卡尔积对应一张二维表 3. 关系 D1×D2×…×Dn的子集叫作在域D1，D2，…，Dn上的关系。 表示为 R表示关系的名字，n是关系的目或度。 例： D1＝{王，赵} D2＝{计算机，电子} 通常一个学生只能选择一个专业，则 2.2 关系数据库2.2.1 关系模型 关系模型由关系数据结构、关系操作集合和关系完整性约束三部分组成。 1. 关系模型的数据结构非常单一 在关系模型中，现实世界的实体以及实体间的各种联系均用关系表示，在用户看来，关系模型中数据的逻辑结构是一张二维表。 2. 关系操作 关系模型给出了关系操作的能力。 关系模型中常用的关系操作包括选择、投影、连接、除、并、交、差等查询操作，和增加、删除、修改操作两大部分。查询的表达能力是其中最主要的部分。 关系操作的特点是集合操作方式，即操作对象和结果都是集合。 3. 关系的三类完整性约束 关系模型允许定义三类完整性约束：实体完整性、参照完整性和用户定义的完整性。其中实体完整性和参照完整性是关系模型必须满足的完整性约束条件，应该由关系系统自动支持。用户定义的完整性是应用领域需要遵循的约束条件，体现了具体领域中的语义约束。 ⑴ 实体完整性 若属性A是基本关系R的主属性，则属性A不能取空值。 实体完整性规则规定基本关系的所有主属性都不能取空值，而不仅是主码整体不能取空值。 实体完整性规则说明： ①实体完整性规则是针对基本关系而言的，一个基本表通常对应现实世界的一个实体集。 ②现实世界中的实体是可区分的，即他们具有某种唯一的标识，相应地关系模型中以主码作为唯一标识。 ③主码中的属性即主属性不能取空值，所谓空值就是不知道或无意义的值。如果主属性取空值，就说明存在某个不可标识的实体，即存在不可区分