CH2关系模型与关系代数.ppt

除运算 象集（Image Set） 关系R(X , Y), X, Y是属性组，x是X上的取值，定义x在R中的象集为 Yx = { t[Y] | t?R ? t[X]= x } 从R中选出在X上取值为x的元组，去掉X上的分量，只留Y上的分量 X Y 张军同学所选修的全部课程 x=张军 Yx 姓名 课程 张军 物理 王红 数学 张军 数学 课程 数学 物理 关系代数 专门的关系运算 设关系r(R)和s(S)，属性集S是R的子集，即S?R，则关系r÷s是关系r中满足下列条件的元组在属性集R-S上的投影：? tr?r，记 x= tr[R-S]，则关系r中属性集R-S的取值x的象集Sx包含关系s。记作 r÷s = { tr[R-S]∣tr?r∧s?Sx } 关系代数 专门的关系运算 ③ 比较图2-20(a)和(b) ，修读过信息学院开设的所有课程的学生 就是关系r1中满足“courseNo列包含关系r2的所有行”的那些学生 。 关系代数 除运算的例子。关系数据库ScoreDB 中，求以下结果 (1) (∏studentNo, courseNo(Score))÷ (∏courseNo(σcourseName=基础会计∨courseName=操作系统(Course))) 表示查找既选修了“基础会计”又选修了“操作系统”课程的学生学号，查询结果如图2-21(c)所示。其中， 被除数∏studentNo, courseNo(Score)和除数 ∏courseNo(σcourseName=基础会计∨courseName=操作系统(Course))的 查询结果分别如图2-21(a)和(b)所示。 studentNo 0701008 0703010 0802005 (c) 查询(1)的结果 courseNo AC001 CS012 (b) ∏courseNo(σcourseName=基础会计∨courseName=操作系统(Course))的结果 studentNo courseNo 0701001 CN028 0701001 CS012 0701001 CS015 0701008 AC001 0701008 CN028 0701008 CS012 0701008 CS015 0703010 AC001 0703010 CN028 0703010 CS012 0703045 AC001 0703045 CN028 0703045 CS015 0802002 AC001 0802002 CN028 0802002 CS015 0802005 AC001 0802005 CS012 0802005 CS015 (a) ∏studentNo, courseNo(Score)的结果 关系代数 除运算的例子。关系数据库ScoreDB 中，求以下结果 (2) ∏studentNo, studentName(((∏studentNo, courseNo(Score))÷ (∏courseNo(Course))) ? Student) 表示查找选修了所有课程的学生的学号和姓名，查询结果如图2-21(e)所示。其中除数∏courseNo(Course)的查询结果如图2-21(d)所示 。 studentNo courseNo 0701001 CN028 0701001 CS012 0701001 CS015 0701008 AC001 0701008 CN028 0701008 CS012 0701008 CS015 0703010 AC001 0703010 CN028 0703010 CS012 0703045 AC001 0703045 CN028 0703045 CS015 0802002 AC001 0802002 CN028 0802002 CS015 0802005 AC00