关系数据库系代数运算.ppt

第二章 关系数据库 学习要点 关系模型 关系数据结构的形式化定义 关系完整性 关系代数 关系演算 序言 值得记住的 1970年，E.F.Codd提出关系数据库理论基础 E.F.Codd, “A Relational Model of Data for Large Shared Data Banks”, 《Communication of the ACM》,1970 关系数据库试验系统System R, INGRES 关系数据库应用数学方法来处理数据库中的数据, 80年代后成为最重要、最流行的数据库系统 典型实验系统 System R, University INGRES 典型商用系统 ORACLE, SYBASE, INFORMIX, DB2, INGRES 2.1 关系模型概述 关系模型由以下三部分组成 关系数据结构 关系（一张二维表） 关系操作： 查询操作 选择(Select)、投影(Project)、连接(Join)、除(Divide)、并(Union)、交(Intersection)、差(Difference) 更新操作 增加(Insert)、删除(Delete)、修改(Update) 关系完整性约束 实体完整性、参照完整性、用户定义完整性 关系语言 关系操作特点 操作对象和结果都是集合 高度非过程化的语言，不必借助循环结构就可以完成数据操作，能嵌入高级语言中使用 关系模型语言 关系代数语言 把关系当作集合，用集合运算和特殊的关系运算来表达查询要求和条件 是一种抽象的查询语言 关系演算语言 用谓词来表达查询要求和条件 谓词变元的基本对象可以是元组变量或域变量，故可分为元组关系演算和域关系演算两类 是一种抽象的查询语言 SQL 介于关系代数和关系演算之间 集DDL、DML和DCL一身的关系数据语言 2.2 关系数据结构的形式化定义 关系模型建立在集合代数基础上，从集合论角度讨论 关系的形式化定义 定义1：域(Domain)－形式化表示为D 一组具有相同数据类型的值的集合，如整数、实数等。定义2：笛卡尔积(Cartesian Product) P47 一组域D1,D2,…Dn的笛卡尔积 (d1,d2,d3,…dn)称为一个元组，di称为一个分量，集合中唯一元素的数量是集合的基数 若Di的基数为Mi，则笛卡尔集的基数M为 笛卡尔积 计算实例 例1：D1={甲,乙}, D2={1,2}, D3={a,b,c} 1）D1,D2,D3基数分别是多少？ 2）D1×D2＝？（基数？） 3）D1×D2×D3＝？（基数？） 笛卡尔集可表示为一个二维表 请将例子表示为二维表 关系数据结构的形式化定义定义3：关系 D1×D2×···×Dn的子集叫做在D1, D2, …, Dn上的关系，表示为 R(D1, D2, …, Dn) n：关系的度或目，表的列数，一般称n元关系 相关术语 候选码：能够唯一标识一个元组的属性组 一个关系可以有多个候选码 主码：一个关系中选定的一个候选码 主属性：主码的各个属性 非主属性（非码属性）：不包含在任何候选码中的属性 全码：若关系模式的所有属性组是这个关系模式的候选码 三类关系 基本关系（基本表或基表） 实际存在的表，是实际存储数据的逻辑表示 查询表 查询结果对应的表 视图表 由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据 关系 关系的限定及扩充 关系数据中的关系是有限集合 为关系的每一列附以属性名以取消关系元组的有序性 关系的性质 列同质，即每一列是同一类型的数据 不同的列可出自同一个域，每一列为一个属性，不同的属性被赋予不同的属性名 列的次序可以任意交换 任意两个元组不能完全相同 行的次序可以任意交换 分量必须取原子值，即不可再分 举例 列的顺序无所谓，次序可以任意交换 遵循这一性质的数据库产品(如ORACLE)，增加新属性时，永远是插至最后一列 但也有许多关系数据库产品没有遵循这一性质，例如FoxPro仍然区分了属性顺序 任意两个元组不能完全相同，由笛卡尔积的性质决定 但许多关系数据库产品没有遵循这一性质，例如Oracle，FoxPro等都允许关系表中存在两个完全相同的元组，除非用户特别定义了相应的约束条件 举例 行的顺序无所谓，行的次序可以任意交换 遵循这一性质的数据库产品(如ORACLE)，插入一个元组时永远插至最后一行 但也有许多关系数据库产品没有遵循这一性质，例如FoxPro仍然区分了元组的顺序 关系模式 关系模式是对关系的描述，形式化表示为 R(U, D, dom, F) U：组成该关系的属性名集合 D：属性组U中属性所来自的域 dom：属性向域的映象集合，如属性的类型、长度 F：属性间数据的依赖关系集合 ★可简记为R(U)或R(A1, A2, …, An)，其中Ai为