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