一节授课顺序.pptVIP

4. 除法(Division) 除法运算是二目运算，设有关系R（X，Y）与关系S（Y，Z），其中X，Y，Z为属性集合，R中的Y与S中的Y可以有不同的属性名，但对应属性必须出自相同的域。关系R除以关系S所得的商是一个新关系P（X），P是R中满足下列条件的元组在X上的投影：元组在X上分量值x的象集Yx包含S在Y上投影的集合。记作： R÷S={tr[X]|tr∈R∧Πy(S)?Yx} 其中，结果只包含X属性中的分量，Yx为x在R中的象集，x= tr[X]。 除法运算为非基本运算，可以表示为： R÷S=Πx(R)－Πx(Πx(R)×S－R) 例2.11 已知关系R和S，如图2.11(a)，(b)所示，则R÷S如图(c)所示。 与除法的定义相对应，本题中X={A,B}={(a1,b2),(a2,b4),(a3,b5)}，Y={C,D}={(c3,d5),(c4,d6)}，Z={F}={f3,f4}。其中，元组在X上各个分量值的象集分别为： (a1,b2)的象集为{(c3,d5),(c4,d6)} (a2,b4)的象集为{(c1,d3)} (a3,b5)的象集为{(c2,d8)} S在Y上的投影为{(c3,d5),(c4,d6)} 显然只有(a1,b2)的象集包含S在Y上的投影，所以R÷S={(a1,b2)} R S R÷S 例: 2.6.1 R 除法运算同时从行和列的角度进行运算，适合于包含“全部”之类的短语的查询。 例2.12 查询选修了全部课程的学生学号和姓名。 ΠSNO,CNO(SC)÷ΠCNO(C) ΠSNO,SN(S) 2.6 关系演算 关系演算是以数理逻辑中的谓词演算为基础的，通过谓词形式来表示查询表达式。 根据谓词变元的不同，可将关系演算分为元组关系演算和域关系演算。 2.6.1 元组关系演算语言 元组关系演算是以元组变量作为谓词变元的基本对象。 元组关系演算语言的典型代表是E.F.Codd提出的ALPHA语言，这种语言虽然没有实际实现，但较有名气。 这里主要介绍ALPHA语言 2.5.1.1 ALPHA语言 ALPHA语言是以谓词公式来定义查询要求的。在谓词公式中存在客体变元，这里称为元组变量。 元组变量是一个变量，其变化范围为某一个命名的关系。 ALPHA语言的基本格式是： 操作符 工作空间名 (表达式)[:操作条件] [DOWN (UP) 属性] 操作符有GET（检索），PUT（写），HOLD（读），UPDATE（修改），DELETE（删除记录），DROP（删除表）等多种。 工作空间是指内存空间，可以用一个字母表示，通常用W表示，也可以用别的字母表示。工作空间是用户与系统的通信区。 表达式用于指定操作对象，它可以是关系名或属性名，一条操作语句可以同时对多个关系或多个属性进行操作。 操作条件是用谓词公式表示的逻辑表达式，只有满足此条件的元组才能进行操作，这是一个可选项，缺省时表示无条件执行操作符规定的操作。除此之外，还可以在基本格式上加上排序要求，定额要求等。 下面以教学数据库（图1.12）为例，说明ALPHA语言的使用。 1. 数据查询 （1）简单查询 例 查询所有学生的数据。 GET W (S) GET语句的作用是把数据库中的学生关系S的数据读入内存空间W，。 冒号后面的操作条件缺省，表示无条件查询。 例2.13 查询所有被选修的课程号码。 GET W (SC.CNO) （2）条件查询 由冒号后面的逻辑表达式给出查询条件，在表达式中可以使用如下三类运算符： ① 比较运算符：，≥，，≤，=等于，≠； ② 逻辑运算符：∧（与）,∨（或）,┐（非） ③ 表示执行次序的括号：（） 其中，比较运算符的优先级高于逻辑运算符，可以使用（）改变它们的优先级。 例2.14 查询计算机系工资高于1000元的教师的姓名和工资。 GET W (T.TN,T.SAL):T.DEPT=’计算机’∧T.SAL1000 （3）排序查询 例2.15 查询S3同学所选课程号及成绩，并按成绩降序排列。 GET W (SC.CNO,SC.SCORE):SC.SNO=’S3’ DOWN SC.SCORE DOWN表示降序，后面紧跟排序的属性名。 升序排列时使用UP。 （4）定额查询 例2.15 查询一名男教师的教师号和姓名。 GET W (1) (T.TNO,T.TN):T.SEX=’男’ 所谓的定额查询就是通过在W后面的括号中加上定额数量，限定查询出元组的个数。 这里(1)表示查询结果中