数据库系统概论_(第四版)王珊_萨师煊__全部课件chp2-2详解.pptVIP

An Introduction to Database System （4）带定额的检索 格式 GET　工作空间名（定额）（表达式1） [：操作条件] [DOWN/UP 表达式2] [例5] 取出一个信息系学生的学号。 GET W (1) (Student.Sno): Student.Sdept=IS? [例6] 查询信息系年龄最大的三个学生的学号及其年龄，结果按年龄降序排序。 GET W (3) (Student.Sno，Student.Sage): Student.Sdept=IS DOWN Student.Sage An Introduction to Database System （5）用元组变量的检索 元组变量的含义 表示可以在某一关系范围内变化（也称为范围变量Range Variable） 元组变量的用途 ① 简化关系名：设一个较短名字的元组变量来代替较长的关系名。 ② 操作条件中使用量词时必须用元组变量。 定义元组变量 格式：RANGE 关系名 变量名 一个关系可以设多个元组变量 An Introduction to Database System (6) 用存在量词的检索 操作条件中使用量词时必须用元组变量 [例8] 查询选修2号课程的学生名字。 RANGE SC XGET W (Student.Sname): ?X(X.Sno=Student.Sno∧X.Cno=2) [例9] 查询选修了这样课程的学生学号，其直接先行课是6号课程。 RANGE Course CX GET W (SC.Sno): ?CX (CX.Cno=SC.Cno∧CX.Pcno=6) An Introduction to Database System 用存在量词的检索(续) [例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) An Introduction to Database System （7）带有多个关系的表达式的检索 ?[例11] 查询成绩为90分以上的学生名字与课程名字。 RANGE SC SCX GET W(Student.Sname，Course.Cname): ?SCX (SCX.Grade≥90 ∧ SCX.Sno=Student.Sno∧ Course.Cno=SCX.Cno) An Introduction to Database System （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) An Introduction to Database System （9）用两种量词的检索 [例13] 查询选修了全部课程的学生姓名。 RANGE Course CX SC SCX GET W (Student.Sname): CX ?SCX (SCX.Sno=Student.Sn