SQL例题详细过程.doc

例题46：查询选修了全部课程的学生姓名。 假设共三门课程1，2，3，学生有95001-05003，选课表值如下： 95001 1（95001选了1号课程） 95001 2（95001选了2号课程） 95001 3（95001选了3号课程） 95002 3（95002选了3号课程） 可将题义转化为：查询这样的学生，没有一门课是他不选修的。（也就等价于这个学生选征了全部的课程） 1) 用关系演算来表达： RANGE SC SCX Course CX GET W (Student.Sname): (CX (SCX (SCX.Sno=Student.Sno ∧SCX.Cno= CX.Cno) (对于任何一门课CX来说，都能在SCX中找到这个学生的选课记录，就说明这个学生选了所有的课程，这个学生也就是符合条件的，可以被加入到结果集中) 2) 将带任意量词的关系演算进行等价转换 因为SQL中没有任意量词，为了写出SQL语句，先将关系演算进行等价变换，如下： ﹁(CX（﹁(SCX (SCX.Sno=Student.Sno ∧SCX.Cno= CX.Cno) ) 变换依据公式： ?x P(x) ≡ ((?x((P(x)) 变化之后的含义：没有一门课程是这个学生不选的。 （不存在这样一门课程：这个学生没有选） 3）方法一：直接根据语义写出SQL语句。 select sname from s where not exists select * from c where not exists select * from sc where sc.sno = s.sno and sc.cno = c.cno 4) 方法二：根据关系演算逐步转换完成SQL语句 ①因为最终需要得到的是学生姓名，所以可以先写最外层查询 select sname from s where … ②根据﹁(CX，可以大致写出如下： select sname from s where not exists select * from c where … ③根据﹁(SCX，可以进一步写出完整的SQL。 select sname from s where not exists select * from c where not exists select * from sc where sc.sno = s.sno and sc.cno = c.cno 4) 通过手动执行SQL的查询过程，验证完成SQL语句是否正确 最外层① 中间层② 最内层③ 说明 说明 95001 １ 95001,1 存在一条符合sc.sno = s.sno and sc.cno = c.cno这样的记录，因此③为false 对于所有的课程1，2，3来说：最内层③都是false，也就是对于中间层②来说没有一个是符合条件的，因此结果为空，中间层②返回为true； 中间层②为true则表明95001符合条件，所以可加加入最外层①的最终结果集中 95001,2 95001,3 95002,3 2 95001,1 存在一条符合sc.sno = s.sno and sc.cno = c.cno这样的记录，因此③为false 95001,2 95001,3 95002,3 3 95001,1 存在一条符合sc.sno = s.sno and sc.cno = c.cno这样的记录，因此③为false 95001,2 95001,3 95002,3 95002 １ 95001,1 没有一条符合sc.sno = s.sno and sc.cno = c.cno这样的记录，因此③为true 对于所有的课程1，2，3来说：最内层③有true，也就是对于中间层②来说有两个是符合条件的，因此结果为不为空，中间层②返回为false； 中间层②为false则表明95002不符合条件，所以不能加入最外层①的最终结果