2.3关系演算.ppt

第2章 关系模型和关系运算理论 本章重要概念（一） （1）基本概念 关系模型，关键码（主键和外键），关系的定义和性质，三类完整性规则，ER模型到关系模型的转换规则，过程性语言与非过程性语言。 （2）关系代数 五个基本操作，四个组合操作，七个扩充操作。 本章重要概念（二） （3）关系演算 元组关系演算和域关系演算的原子公式、公式的定义。关系演算的安全性和等价性。 （4）关系代数表达式的优化 关系代数表达式的等价及等价转换规则，启化式优化算法。 （5）关系逻辑 谓词、原子、规则和查询，规则的安全性，用规则模拟关系代数表达式。 本章概要 本章先介绍关系模型的基本概念；然后介绍关系运算的三种理论：关系代数、关系演算和关系逻辑。 关系模型和关系运算理 2.1 关系模型的基本概念 2.2 关系代数 2.3 关系演算 2.4 关系代数表达式的优化 2.5 关系逻辑 2.1 关系模型的基本概念 2.1.1 基本术语 2.1.2 关系的定义和性质 2.1.3 关系模型的三类完整性规则 2.1.4 ER模型向关系模型的转换规则 2.1.5 关系模型的三级体系结构 2.1.6 关系模型的形式定义和优点 2.1.7 关系查询语言和关系运算 基本术语(1) 定义2.1 用二维表格表示实体集，用关键码进行数据导航的数据模型称为关系模型（relational Model）。这里数据导航(data navigation)是指从已知数据查找未知数据的过程和方法。 基本术语(2) 在关系模型中，字段称为属性，字段值称为属性值，记录类型称为关系模式。在图2.2中，关系模式名是R。记录称为元组（tuple），元组的集合称为关系（relation）或实例（instance）。一般用大写字母A、B、C、… 表示单个属性，用大写字母 …、X、Y、Z表示属性集，用小写字母表示属性值，有时也习惯称呼关系为表或表格，元组为行(row)，属性为列(column)。 关系中属性个数称为“元数”（arity），元组个数为“基数”(cardinality)。 基本术语(3) 关系元数为5，基数为4 基本术语(4) 关键码(key,简称键)由一个或多个属性组成。在实际使用中，有下列几种键。 （1）超建（super Key） （2）候选键（candidate Key） （3）主键(primary Key) 在图2.1中，（工号，姓名）是模式的一个超键，但不是候选键，而（工号）是候选键。在实际使用中，如果选择（工号）作为删除或查找元组的标志，那么称（工号）是主键。 （4）外键（foreign Key） 关系的定义和性质 定义2.2 关系是一个属性数目相同的元组的集合。 在关系模型中，对关系作了下列规范性限制： （1）关系中每一个属性值都是不可分解的； （2）关系中不允许出现重复元组（即不允许出现相同的元组）； （3）由于关系是一个集合，因此不考虑元组间的顺序，即没有行序； （4）元组中的属性在理论上也是无序的，但使用时按习惯考虑列的顺序。 关系模型的三类完整性规则(1) 实体完整性规则（entity integrity rule） 要求关系中元组在组成主键的属性上不能有空值。如果出现空值，那么主键值就起不了惟一标织元组的作用。 关系模型的三类完整性规则 (2) 参照完整性规则（reference integrity rule） 定义2.3 参照完整性规则的形式定义如下： 如果属性集K是关系模式R1的主键，K也是关系模式R2的外键，那么在R2的关系中，K的取值只允许两种可能，或者为空值，或者等于R1关系中某个主键值。 这条规则的实质是“不允许引用不存在的实体”。 在上述形式定义中，关系模式R1的关系称为“参照关系”，关系模式R2的关系称为“依赖关系”。“主表”和“副表”，“父表”和“子表”。 关系模型的三类完整性规则 (3) 例2.1 下面各种情况说明了参照完整性规则在关系中如何实现的。 ① 在关系数据库中有下列两个关系模式： S（S#，SNAME，AGE，SEX） SC（S#，C#，GRADE） 这里带下划线者为主键，带波浪线者为外键。据规则要求关系SC中的S# 值应该在关系S中出现。如果关系SC中有一个元组（S7,C4,80），而学号S7却在关系S中找不到，那么我们就认为在关系SC中引用了一个不存在的学生实体，这就违反了参照完整性规则。 另外，在关系SC中S# 不仅是外键，也是主键的一部分，因此这里S# 值不允许空。 关系模型的三类完整性规则 (4) ② 设工厂数据库中有两个关系模式： DEPT(D#，DNAME) EMP(E#，ENAM