使用关系演算元组关系演算创建查询

如何解决使用关系演算元组关系演算创建查询

我有以下数据库方案：

student: sid
course: pid
prerequisite: cid,precid
records: sid,cid

我如何在关系微积分中创建一个查询，以便我需要找到所有参加 PSY100 课程的学生都参加了所有先决条件的课程？我想用至少一个全称量词∀来写这个。

我的想法是找到一些课程，对于所有课程返回，并且对于记录中的所有学生，存在一个参加 PSY100 的学生，该学生也参加了该课程返回的先决条件。

所以我是这样写的

{x:cid | ∃ c IN course [c(cid) = x(cid) AND
  ∀ y IN course ∀ r record
  ( y(cid) = c(cid) AND r(cid) = c(cid)
   → ∃ p IN prerequisite ( r(cid) = PSY100 AND r(cid) = p(pid) )] 

我真的很困惑。我很确定这是错误的。任何帮助将不胜感激！