關係演算數據庫

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。

正確的答案可以用英語說明：找到所有沒有存在學生沒有註冊的課程的學生。