database - 关于用域关系演算编写的查询

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

请记住，域关系演算中查询的定义

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

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