关系演算数据库

Question

我有一个模式，看起来像这样： 学生（SID，姓名，年龄，部门） 场（CID，名） 招生（SID，CID，期限，等级）

使用关系微积分，找到参加所有课程的学生的姓名。 我现在看起来像这样：

{t | ∃s∈Student（t.name = s.name ^∈e∈Enrollment（s.sid = e.sid ^∀c∈C（c.cid = e.cid）））}

有人可以告诉我如果这是正确的或不。

Answer 1

您的查询不正确或格式不正确。逻辑连词不在数量词范围内（即你不能写^∀），即使有，你的表达式也会尝试在单个学生的单次入学中找到所有课程ID。

正确的答案可以用英语说明：找到所有没有存在学生没有注册的课程的学生。