数据库中有学生表Student(Sno，Sname，Ssex，Sage，Sdept)各属性分别表示为学号、姓名、性别、年龄、所在系；学生选课表SC(Sno，Cno，Grade)各属性分别表示为学号、课程号及成绩；课程表Course(Cno，Cname，Cpno，Ccredit)各属性表示为课程号、课程名、先行课、学分(先行课的意思是，比如课程号1有先行课5，说明要选课程1，就必须先选课程5)。用以上各表完成查询选修了全部课程的学生的姓名的语句补充：
SELETE Sname
FROM Student
WHERE NOT EXISTS
(SELETE *
FROM [2]
WHERE [3]
(SELETE *
FROM [4]
WHERE [5] AND [6]
))