设有两个关系：学生关系S（学号，姓名，年龄，性别）和选课关系SC（学号，课号，成绩），试用关系代数表达式检索没有选修B5课程的学生姓名。