关系：学生-包含一个snumber和sname
snumbersname10dave20sam30amy40ron50ava公司
课程-包含C编号和C说明
CNumbercDescriptionMath100代数1SCI200生物学300写作1
报名人数-人数、人数和最终成绩
SNUMBERCNUMBERFINAL10MATH1009010SCI2008520ENG00010030MATH1009930SCI2009230ENG009150ENG0084
通用量化查询：查找已注册dave已注册的所有课程的学生的学名和学号。不要在你的答案中包括戴夫。
答案应该是艾米和她的伙伴。
我的解决方法不对，有什么帮助吗？？？

以下是我尝试的文本形式的解决方案：选择stud.sname，stud.snumber from student stud where s.sname！='“dave”和“not exists”（从enrollment enroll中选择true，其中enroll.snumber=stud.snumber和“not exists”（从courses中选择true，其中course.cnumber=enroll.cnumber和stud.sname='dave'））；