问题描述
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) )]
我真的很困惑。我很确定这是错误的。任何帮助将不胜感激！
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）