第6讲 关系代数(二).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 = tr[X]，Yx表示x在R中的象集， 分析 练习1：设有关系R、S，求： R÷S R S 练习2： 查询至少选修1号课程和3号课程的学生学号? 查询至少选修了一门其直接先行课为5号课的学生姓名。 查询选修了全部课程的学生学号和姓名。 * * 关系代数：除运算 关系数据库标准语言：数据定义 回顾： 1.执行何种查询时需要使用连接运算？ 2.自然连接同等值连接有什么区别？ 3.外连接适用于何种查询情形？ [例1] 根据除运算的定义分析如下例子： R S R÷S=？ 在关系R中，A可以取四个值{a1，a2，a3，a4} a1的象集为 {(b1，c2)，(b2，c3)，(b2，c1)} 　a2的象集为 {(b3，c7)，(b2，c3)} 　a3的象集为 {(b4，c6)}