关于在Domain Relational Calculus中编写的查询

Question

我正在尝试学习域关系演算。考虑到下面的关系和查询，为什么我们不能为{<c>|< b, l, c, a> ∈ borrow ∧ a>1200}写第二个问题？我觉得它与查询是否安全有关，但问题一的答案是如何起作用的呢？我不知道到底出了什么问题。你能帮忙解释一下吗？非常感谢！ 来自http://www.cs.sfu.ca/CourseCentral/354/zaiane/material/notes/Chapter3/node18.html#SECTION00142000000000000000的来源 它所指的关系在这里http://www.cs.sfu.ca/CourseCentral/354/zaiane/material/notes/Chapter3/node8.html#SECTION00121000000000000000

Answer 1

请记住，Domain Relational Calculus中的查询定义

{<x1, ..., xn> | P(<x1, ..., xn>)}

表示“|”左侧出现的变量x1, ..., xn必须为 公式p(...)中唯一的自由变量。在您的示例中，变量b,l,a未绑定并保持空闲。在正确答案中，存在量词将它们联系起来。