习题课-关系演算.pptVIP

实例： Dept Course Student S_C SNO SNAME AGE SEX DNO 07001 ZHANG 19 F 001 07002 LI 20 M 002 … …. … … … DNO DNAMS TEL LOC 001 COMPUTER X701 002 COMM X401 … … … .. CNO CNAME HOURS CREDIT C01 DB 80 8 C02 ORACLE 30 3 … … … … SNO CNO SCORE 07001 C01 86 07001 C02 75 07002 C02 99 实例: 1. 查询系号为001的年龄在19岁以上的所有男生的学号和姓名； 2. 打印各系学生名单，要求输出系名、学生学号、姓名、性别； 3. 查询学号为‘07002’学生选修的全部课程的课名、学时、学分 4. 查询‘COMPUTER’系学生的成绩，结果包括学号、姓名、课名、分数； 5. 查询没有选修‘DB’课的学生学号、姓名； 6. 查询至少选修了学号为‘07001’学生选修的全部课程的学生学号、姓名。 实例: 查询系号为001的年龄在19岁以上的所有男生的学号和姓名； {t|(?u)(Student(u) ∧u[5]=‘001’∧u[3]=‘19’∧u[4]=‘M’ ∧t[l]=u[1])∧t[2]=u[2])} 实例: 2. 打印各系学生名单，要求输出系名、学生学号、姓名、性别； {t|(?u)(?v)(DEPT(u)∧STUDENT(v) ∧u[l]=v[5] ∧t[l]=u[2]∧t[2]=v[1])∧t[3]=v[2] ∧t[4]=v[4]} 实例: 3. 查询学号为‘07002’学生选修的全部课程的课名、学时、学分 {t|(?u)(?v)(course(u)∧s_c(v) ∧u[l]=v[2] ∧v[l]=‘07002’ ∧t[l]=u[2]∧t[2]=u[3])∧t[3]=u[4] } 实例: 4. 查询‘COMPUTER’系学生的成绩，结果包括学号、姓名、课名、分数； {t|(?u)(?v)(?x)(?y)(dept(u)∧student(v)∧course(x)∧s_c(y) ∧u[l]=v[5]∧v[l]=y[1] ∧x[l]=y[2] ∧u[2]=‘COMPUTER’ ∧t[l]=v[1]∧t[2]=v[2])∧t[3]=x[2]∧t[4]=y[3] } 实例: 5. 查询没有选修‘DB’课的学生学号、姓名； {t|(?u)(?v)(?w)(student(u)∧course(v)∧s_c(w) ∧( u[l]=w[1]?(w[2]=v[1]∧v[2] !=‘DB’) ∧t[l]=u[1]∧t[2]=u[2])} 实例: 6. 查询至少选修了学号为‘07001’学生选修的全部课程的学生学号、姓名。 {t|(?u) (student(u)∧(?v)s_c(v) ∧( v[l]=‘07001’? (?w)(s_c(w)∧v[2]=w[2]∧w[1]=u[1] ) ∧t[l]=u[1]∧t[2]=u[2])} 习题 3.13: S(SNO, SNAME, AGE, SEX, SDEPT) SC(SNO,CNO,GRADE) C(CNO,CNAME,CDEPT,TNAME) 1.检索LIU老师所授课程的课程号、课程名； 2.检索年龄大于23岁的男同学的学号与姓名； 3.检索学号为S3学生所学课程的课程号与任课老师名； 4.检索至少选修LIU老师所授课程中一门课的女学生姓名； 5.检索WAN同学不学的课程的课程号； 6.检索至少选修两门课程的学生学号； 7.检索全部学生选修的课程课程号与课程名； 8.检索选修课程包含LIU老师所授课程的学生学号。 习题 3.13 1.检索LIU老师所授课程的课程号、课程名； {t|(?u) (c(u)∧u[4]=‘LIU’ ∧t[l]=u[1]∧t[2]=u[2])} 习题 3.13 2.检索年龄大于23岁的男同学的学号与姓名； {t|(?u)