02__关系数据库.ppt

* 元组关系演算以元组变量作为谓词变元的基本对象。一种典型的元组关系演算语言是E.F.Codd提出ALPHA语言，这一语言虽然没有实际实现，但关系数据库管理系统INGRES所用的QUEL语言是参照ALPHA语言研制的，与ALPHA十分类似。 * AlPHA语言用RANGE来说明元组变量。例中X是关系Student上的元组变量，用途是简化关系名，即用X代表Student。 * 关系演算的另一种形式是域关系演算。域关系演算以元组变量的分量即域变量作为谓词变元的基本对象。 QBE是Query By Example（即通过例子进行查询）的简称，其最突出的特点是它的操作方式。它是一种高度非过程化的基于屏幕表格的查询语言，用户通过终端屏幕编辑程序以填写表格的方式构造查询要求，而查询结果也是以表格形式显示，因此非常直观，易学易用。 * 关系演算的另一种形式是域关系演算。域关系演算以元组变量的分量即域变量作为谓词变元的基本对象。 QBE是Query By Example（即通过例子进行查询）的简称，其最突出的特点是它的操作方式。它是一种高度非过程化的基于屏幕表格的查询语言，用户通过终端屏幕编辑程序以填写表格的方式构造查询要求，而查询结果也是以表格形式显示，因此非常直观，易学易用。 ALPHA的检索操作(5 of 10) 用存在量词的检索 注意语义要求,“有一个”，“任意”等语义。 例 查询选修2号课程的学生的名字 RANGE SC X GET W (Student.Sname): ?X(X.Sno=Student.Sno∧X.Cno=‘2’) (理解：存在一条选课记录SC(即X)，使得X是要求的学生Student所选的，且X的课程号是2) ALPHA的检索操作(6 of 10) 带有多个关系的表达式的检索 例：查询成绩在90分以上的学生名字与课程名字。 RANGE SC SCX GET W (Student.Sname,Course.Cname): ?SCX(Student.Sno=SCX.Sno∧CSX.Cno= Course.Cno) 注：表达式中的表不需要存在量词 ALPHA的检索操作(7 of 10) 用全称量词的检索 例：不选1号课程的学生的姓名，类似上例： GET W (Student.Sname):??SCX(Student.Sno =SCX.Sno∧SCS.Cno=‘1) （要求的学生不存在1号课程的选课记录） 也可改为全称量词： RANGE SC SCX GET W (Student.Sname): ?SCX(Student.Sno≠SCX.Sno∨ CS.Cno≠‘1) （对于要求的学生，每一条选课记录要么不是他选的，要么不是选的1号课程） ALPHA的检索操作(8 of 10) 用两种量词的检索 根据语义分清使用全称和存在量词的条件。 例 查询选修了全部课程的学生姓名 RANGE Course CX RANGE SC SCX GET W (Student.Sname): ?CX ?SCX (SCX.Sno=Student.Sno ∧ SCX.Cno=CX.Cno) （要求的学生，对每一门课程都存在相应的选课记录） ALPHA的检索操作(9 of 10) 用蕴函（Implication）的检索 例 查询最少选修了95002号学生所选全部课程的学生的学号。 P：学生95002选修了课程CX。 q：学生Y也选了课程CX。 转换为? CX(p -q)的问题。 ALPHA的检索操作(10 of 10) 集函数 关系演算中，提供了COUNT、TOTAL、MAX、MIN、AVG等集函数。 函数名 功能 COUNT TOTAL MAX MIN AVG 对元组计数 求总和 求最大值 求最小值 求平均值 ALPHA的更新操作 修改操作 首先用HOLD语句将要修改的元组从数据库中读到工作空间中； 然后用宿主语言修改工作空间中元组的属性； 最后用UPDATE语句将修改后的元组送回数据库。 插入操作 首先用宿主语言在工作空间创建新元组； 然后用PUT语句把该元组放入指定的关系中。 删除 用HOLD语句HOLD语句将要删除的元组从数据库中读到工作空间中； 用DELETE语句删除该元组。 三、域关系演算语言QBE (1 of 2) QBE 是Query By Example（即通过例子进行查询）的简称，其最突出的特点是它的操作方式。 它是一种高度非过程化的基于屏幕表格的查询语言，用户通过终端屏幕编辑程序以填写表格的方式构造查询要求，而查询结果也是以表格形式显示，因此非常直观，易学易用。 三、域关系演算语言QBE(2 of 2) QBE中用示例元素来表示查询结果可能的例子，示例元素实质上就是域变量。 QBE操作