数据库中有学生表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 Course
WHERE (5)
(SELETE *
FROM SC
WHERE (6) AND (7) ))