2关系数据库解析.pptVIP

例2: 在关系C中增加一门新课程（C13, ML, C3，2）。 解： 如果令这门新课程元组所构成的关系为R， 则有： R={（C13，ML，C3 ， 2）}，这时结果为： C=C∪R。 并运算 * 差运算 例3: 求选修了001号而没有选002号课程的学生学号。 ∏S#(?C# = 001 (SC)) －∏S#(?C# = 002(SC)) 例4: 找出未选修任何课程的学生 未选修任何课程的学生=所有学生 – 选修课程的学生 = ∏S#(S) － ∏S#(SC) * 差运算 例5： 学号为S17的学生因故退学，在学生-课程数据库中将其删去。 ) ( 17 # S S S S = - s 和 ) ( 17 # SC SC S S = - s * 修改运算 例6：将关系S中的年龄增加一岁。 S (S# ，SNAME， AGE+1 ，SEX) 例7：将关系S中学生S6的年龄改为22岁。 其中，W为修改后的学生有序组构成的关系，即 W={(S6,…, 22 ,…)}。 …表示原值 * 交运算 例8: 求选修了001号和002号课程的学生学号。 ∏S#(?C# = 001 (SC))∩∏S#(?C# = 002(SC)) * 选择运算 例9： 找年龄不小于20的男学生。 ?AGE≥20 ∧ SEX=‘男’（S） 投影 例10： 找001号学生所选修的课程号。 ?C# ( ?S#=001（SC）） 例11： 求选修了001号课程的学生学号。 ∏S# (?C# = 001 (SC)) 例12：求选修了001号课程的学生学号和姓名。 连接运算 例13：求选修了课程名为MATHS的学生姓名。 ∏S#，SNAME(?C# = 001 (S SC)) ∏SNAME(?CNAME = MATHS (S C SC)) * 连接运算 求选修了其先修课为001号课程的学生姓名。 方案1：∏SNAME(?PC# = 001 (SC C S)) 方案2：∏SNAME(?PC# = 001 (C) SC S) 哪一个效率更高？ 例14： * 连接运算 求001号学生所在系的名称。 ∏DNAME(?S# = 001 (S) DEPT) 例15： * 除运算 例16：求同时选修了001和002号课程的学生学号。 方案1： ∏S#，C#(SC) ? ?C# = 001? C# = 002 (C) 方案2： SC ? ?C# = 001? C# = 002 (C)) 哪一个正确？ * 除运算 ? 课程 数学 物理 ＝ 姓名 课程 成绩 张军 物理 93 王红 数学 86 张军 数学 93 王红 物理 92 ? 课程 数学 物理 姓名 课程 张军 物理 王红 数学 张军 数学 王红 物理 姓名 张军 王红 ＝ 姓名 成绩 张军 93 选修了全部课程的学生 选修了全部课程并且成绩都相同的学生 * 例17：找出选修了所有课程的学生 ∏S#，C#(SC) ? ∏C#(C) 除运算 * 综合练习 例18： 求没有选修001号课程的学生姓名。 = 所有学生 – 选修了001号课程学生 ∏SNAME(S) -∏SNAME(?C# = 001 (S SC)) ∏SNAME(?C# ≠ 001 (S SC)) 哪一个正确？ * 例19： 求选修课程中包含了所有S01号学生所选修课程的学生学号。 ∏S#，C#(SC) ? ∏C#(?S# = S01 (SC) 综合练习 * 例20： 检索至少选修了课程号为C2和C4的学生学号。 ∏S#，C# (SC) ? ∏C# (?C# = ‘C2’ ?C#=‘C4’ (C)) 综合练习 * 2.5 关系演算 元组关系演算 关系不但可以二维表的形式表示，同时还可以用谓词表示。 关系也可以看作是一个集合。 元组关系演算公式的递归定义 域关系演算 域关系演算公式的递归