关系代数课件.ppt

第二章 关系数据模型;关系数据库简介;关系数据库简介;关系数据库简介;关系数据库简介;授课内容;2.1 关系数据结构及形式化定义;关系数据结构及其形式化定义;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系;关系的性质;关系的性质;关系的性质;关系的性质;关系的性质;关系模式;关系模式;关系模式;关系模式;关系数据库;关系数据库;有关码的概念;有关码的概念;2.2 关系操作;关系操作;关系操作;关系操作;关系操作;关系操作;关系操作;有关码的概念;2.3 关系的完整性;关系完整性;关系完整性;关系完整性;关系完整性;实体完整性;实体完整性;关系完整性;参照完整性;参照完整性;参照完整性;参照完整性;参照完整性;参照完整性;参照完整性;参照完整性;参照完整性;参照完整性;参照完整性;用户自定义完整性;2.4 关系代数;关系代数概述;关系代数概述;关系代数概述;传统的集合运算;传统的集合运算;传统的集合运算;传统的集合运算;传统的集合运算;传统的集合运算;传统的集合运算;传统的集合运算;传统的集合运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算——选择;专门的关系运算——选择;专门的关系运算——选择;专门的关系运算——选择;专门的关系运算——投影;专门的关系运算——投影;专门的关系运算——投影;专门的关系运算——投影;专门的关系运算——投影;课堂练习;课堂练习;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算——连接;Cno;专门的关系运算——连接;专门的关系运算——连接;专门的关系运算;Cno;专门的关系运算——除运算;专门的关系运算——除运算;专门的关系运算——除运算;专门的关系运算——除运算;专门的关系运算——除运算;R÷S = {tr [X] | tr ? R∧πY (S) ? Yx } 其中Yx：x在R中的象集，x = tr[X];练习;专门的关系运算——除运算;专门的关系运算——除运算;专门的关系运算——除运算;专门的关系运算——除运算;专门的关系运算——外连接;专门的关系运算——外连接;专门的关系运算——外连接;专门的关系运算——外连接;专门的关系运算——外连接;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算;专门的关系运算——集合运算;专门的关系运算——集合运算;专门的关系运算——集合运算;专门的关系运算——集合运算;专门的关系运算——集合运算;五、关系演算;关系演算 以数理逻辑中的谓词演算为基础 种类：按谓词变元不同分类 元组关系演算： 以元组变量作为谓词变元的基本对象 元组关系演算语言ALPHA 域关系演算： 以域变量作为谓词变元的基本对象 域关系演算语言QBE ;E.F.Codd提出 INGRES所用的QUEL语言是参照ALPHA语言研制的 语句 检索语句 GET 更新语句 PUT，HOLD，UPDATE，DELETE，DROP;语句格式： GET　工作空间名 [（定额）]（表达式1） [:操作条件] [DOWN/UP 表达式2];语句格式： GET 工作空间名 （表达式1） [例1] 查询所有被选修的课程号码。 GET W (SC.Cno)? RANGE SC X GET W (X.Cno): [例2] 查询所有学生的数据。 GET W (Student);语句格式： GET　工作空间名（表达式1）：操作条件 [例3] 查询信息系(IS)中年龄小于20岁的学生的学号和年龄。 GET W (Student.Sno，Student.Sage) : Student.Sdept=IS∧ Student.Sage20 RANGE Student X GET W (X.Sno，X.Sage) : X.Sdept=IS∧ X.Sage20 ;语句格式： GET　工作空间名（表达式1）[：操作条件] DOWN/UP 表达式2 [例4] 查询计算机科学系(CS)学生的学号、年龄，结果按年龄降序排序。 GET W (Student.Sno，Student.Sage) :Student.Sdept=CS‘ DOWN Student.Sage;语句格式： GET 工作空间名（定额）（表达式1） [：操作条件] [DO