第三章 数据库中的关系代数学.ppt

【例5】给出选课、选修课和必修课3个关系: 课号 课名 C2 计算机图形学 学号 课号 成绩 S1 C1 A S1 C2 B S1 C3 B S2 C1 A S2 C3 B S3 C1 B S3 C3 B S4 C1 A S4 C2 A S5 C2 B S5 C3 B S5 C1 A 选课 选修课 课号 科名 C1 数据结构 C3 操作系统 必修课 在选课表中查找已修过所有必修课 的学生学号 π学号,课程号（选课)÷必修课 关系除法运算分下面4步进行：1) 将被除关系的属性分为象集属性和结果属性：与除关系相同的属性属于象集属性，不相同的属性属于结果属性。2) 在除关系中，对与被除关系相同的属性（象集属性）进行投影，得到除目标数据集。3) 将被除关系分组，原则是，结果属性值一样的元组分为一组。4) 逐一考察每个组，如果它的象集属性值中包括除目标数据集，则对应的结果属性值应属于该除法运算结果集。 π学号，课号（选课）÷必修课 学号 课号 成绩 S1 C1 A S1 C2 B S1 C3 B S2 C1 A S2 C3 B S3 C1 B S3 C3 B S4 C1 A S4 C2 A S5 C2 B S5 C3 B S5 C1 A 学号 课号 S1 C1 S1 C2 S1 C3 S2 C1 S2 C3 S3 C1 S3 C3 S4 C1 S4 C2 S5 C2 S5 C3 S