关系模型-SQL简介-20140708导论.ppt

关系代数（13） 除 R(X , Y) ? S(Y) R?S只包含X中的属性 元组t属于R?S，当且仅当以下两个条件同时成立 t在?X(R)中。 对S中的每一个元组s，都有R中的元组r，使得： r[Y]=s[Y] r[X]=t 除法运算适合于回答“…所有的…”这类查询。 例 找出选修了所有课程的学生 ∏S#，C#(SC) ? ∏C#(C) 关系代数（14） ? 课程 数学 物理 ＝ 姓名 课程 成绩 张军 物理 93 王红 数学 86 张军 数学 93 刘英 数学 88 王红 物理 92 ? 课程 数学 物理 姓名 课程 张军 物理 王红 数学 张军 数学 刘英 数学 王红 物理 姓名 张军 王红 ＝ 姓名 成绩 张军 93 选修了所有课程并且成绩都相同的学生 选修了所有课程的学生 关系代数（15） 关系代数查询实例 求选修了其先修课为001号课程的学生名。 方案1：∏SN(?PC# = 001 (SC C S)) 方案2：∏SN(?PC# = 001 (C) SC S) 求未选修001号课程的学生号。 方案1：∏S#(?C# ≠ 001 (SC)) 方案2：∏S#(S)－∏S#(?C# = 001 (SC)) 求仅选修了001号课程的学生号。 选修001号课程的学生－选修了001号