问题标签 [tuple-relational-calculus]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
tuples - 使用关系演算（元组关系演算）创建查询
我有以下数据库方案：
如何在关系微积分中创建一个查询，以便我需要找到所有参加过 PSY100 课程的学生都已完成所有先决条件的所有课程？我想用至少一个全称 ∀ 来写这个。
我的想法是找到课程，对于所有要返回的课程，并且对于记录中的所有学生，都存在一个参加过 PSY100 的学生，该学生也满足了返回该课程的先决条件。
所以我把它写成这样
我真的很困惑。我很确定这是错误的。任何帮助将不胜感激！
sql - 逆向步骤，将 SQL 查询转换回元组关系演算？
不确定它是否是正确的 SQL，并且希望将 SQL 向后转换回元组关系演算以检查正确性。假设我们提出这个查询来显示所有完成介绍的参与者都完成了所有需求类的类。所以我们有两个表，进度和要求。其中progress: mId(string), cId(string) and requirements: : cId(string), rId(string) 所有的注册都在进行中，所有的需求都在指定的需求表中。
我们首先从他们完成介绍会话的进度表中选择所有成员。Select mId From progress Where cId='intro'
然后我们拥有完成介绍的所有成员，因此我们可以选择成员完成的所有其他不同的课程。
现在我们已经完成了所有完成介绍的成员完成的所有课程，现在我们可以找出应该提供给完成介绍的所有成员的所有下一个可能的课程？
好的，在我写完问题后，我认为这个查询不正确，因为现在我们已经完成了所有参加介绍的成员的所有课程，但不一定所有课程都由单个学生完成，对吗？请检查我的工作。非常感谢任何帮助。
relational-database - 在元组微积分 DBMS 中使用通用量词
在这个查询中，为什么指定要排除的元组而不是要包含的元组？
我们可以编写与 -> {e.lname, e.fname|Employee(e) AND ∀x((Project(x) AND x.dnum=5) AND (∃w(WORKS_ON(w) AND w. Essn=e.Ssn AND x.Pnumber=w.Pno))}