结构推理 有下列关系模式 1）学生关系S（或Student），包括学号SNo、姓名SN、年龄SA、系别SD； 2）课程关系C，包括课程号CNo、课程名CN、任课教师TN； 3）学生选课关系SC，包括SNo、CNo和成绩G。 注意：说明主键码和外键码（如果有的话）。 找出计算机系有不及格课程的学生名单。 1) 用关系代数表达式表达查询； 2) 用元组关系演算表达查询； 3）数据逻辑规则表达查询。