关系代数（选课模型）

[例] 设教学数据库中有3个关系：
     学生关系S(SNO,SNAME,AGE,SEX)
     学习关系SC(SNO,CNO,GRADE)
     课程关系C(CNO,CNAME,TEACHER) （7）检索学习全部课程的学生姓名。
     编写这个查询语句的关系代数过程如下：
     (a) 学生选课情况可用πSNO,CNO(SC)表示；
     (b) 全部课程可用πCNO(C)表示；
     (c) 学了全部课程的学生学号可用除法操作表示。
     操作结果为学号SNO的集合，该集合中每个学生（对应SNO)与C中任一门课程号CNO配在一起都在πSCO，CNO（SC） 中出现（即SC中出现），所以结果中每个学生都学了全部的课程（这是"除法"操作的含义）：
     πSNO,CNO(SC)÷πCNO(C)
     (d) 从SNO求学生姓名SNAME，可以用自然连结和投影操作组合而成：
     πSNAME(S  (πSNO,CNO(SC)÷πCNO(C)))
     这就是最后得到的关系代数表达式。 
（8）检索所学课程包含S3所学课程的学生学号。
     注意：学生S3可能学多门课程，所以要用到除法操作来表达此查询语句。
     学生选课情况可用操作  πSNO,CNO(SC)表示；
     所学课程包含学生S3所学课程的学生学号，可以用除法操作求得：
     πSNO,CNO(SC)÷  πCNO(σ SNO='S3'(SC)） |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||对于上面两个问题，都涉及到两表的相除，小弟很费解因为找不到一个好的列子来说明除法这个概念。
所以希望各位帮忙把上面（7）（8）两问的关系模型转成SQL语句，最好说明一下除法这个概念。谢谢了。