数据库系统概论(王珊第四版)-第二章..pptVIP

[例10] 查询至少选修一门其先行课为6号课程的学生名字 RANGE Course CX SC SCX GET W (Student.Sname) : ?SCX (SCX.Sno=Student.Sno∧ ?CX (CX.Cno=SCX.Cno∧CX.Pcno=6))? 前束范式形式： GET W (Student.Sname) : ?SCX ?CX (SCX.Sno=Student.Sno∧ CX.Cno=SCX.Cno∧CX.Pcno=6) （7）带有多个关系的表达式的检索 [例11] 查询成绩为90分以上的学生名字与课程名字。 RANGE SC SCX GET W(Student.Sname，Course.Cname) : ?SCX (SCX.Grade≥90∧ SCX.Sno=Student.Sno∧ Course.Cno=SCX.Cno) （8）用全称量词的检索 [例12] 查询不选1号课程的学生名字。 RANGE SC SCX GET W (Student.Sname) : ?SCX (SCX.Sno≠Student.Sno∨SCX.Cno≠1) 用存在量词表示： RANGE SC SCX GET W (Student.Sname) : ┓?SCX (SCX.Sno=Student.Sno∧SCX.Cno=1) （9）用两种量词的检索 [例13] 查询选修了全部课程的学生姓名。 RANGE Course CX SC SCX GET W (Student.Sname) : ?CX ?SCX (SCX.Sno=Student.Sno∧ SCX.Cno=CX.Cno) （10）用蕴函（Implication）的检索 ?[例14] 查询最少选修了95002学生所选课程的学生学号。 RANGE Couse CX SC SCX SC SCY GET W (Student.Sno) : ?CX(?SCX (SCX.Sno=95002∧ SCX.Cno=CX.Cno) ? ?SCY(SCY.Sno=Student.Sno∧ SCY.Cno= CX.Cno)) （11）聚集函数 聚集函数或 内部函数 [例15] 查询学生所在系的数目 GET W ( COUNT(Student.Sdept) ) [例16] 查询信息系学生的平均年龄 GET W (AVG(Student.Sage) : Student.Sdept=IS’ ) 二、更新操作 （1）修改操作步骤 ① 用HOLD语句将要修改的元组从数据库中读到工作空间中 HOLD 工作空间名（表达式1）[：操作条件 ] ② 用宿主语言修改工作空间中元组的属性 MOVE…TO… ③ 用UPDATE语句将修改后的元组送回数据库中 UPDATE 工作空间名 [例1] 把95007学生从计算机科学系转到信息系。 HOLD W (Student.Sno， Student.Sdetp): Student.Sno=95007 （从Student关系中读出95007学生的数据） MOVE IS TO W.Sdept （用宿主语言进行修改） UPDATE W （把修改后的元组送回Student关系） （2）插入操作 步骤 ① 用宿主语言在工作空间中建立新元组 ② 用PUT语句把该元组存入指定关系中 PUT 工作空间名 （关系名）? [例2] 学校新开设了一门2学分的课程“计算机组织与结构”，其课程号为8，直接先行课为6号课程。插入该课程元组 MOVE 8 TO W.Cno