(10) 用蕴函(Implication)的检索[例14]查询最少选修了95002学生所选课程的学生学号。 RANGE Couse CX SC SCY GET W (Student.Sno): CX(SCX (SCX.Sno='95002'∧SCX.Cno=CX.Cno) t SCY(SCY.Sno=Student.Sno∧ tt SCY.Cno= CX.Cno))