已知关系模式：学生(学号，姓名，性别，年龄，系别)，选课(学号，课程号，成绩)，用关系代数实现查询没有选修课程号为′C5′课程的学生学号。