关于用域关系演算编写的查询
About query written in Domain Relational Calculus
我正在尝试学习域关系演算。考虑到下面的关系和查询，为什么我们不能写 for{<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
记住，领域关系演算中查询的定义
{<x1, ..., xn> | P(<x1, ..., xn>)}
表示出现在‘|’左边的变量x1, ..., xn一定是
公式中唯一的自由变量p(...)。在您的示例中，变量 b,l,a 未绑定并保持自由状态。在正确答案中，存在量词将它们绑定。
我正在尝试学习域关系演算。考虑到下面的关系和查询，为什么我们不能写 for{<c>|< b, l, c, a> ∈ borrow ∧ a>1200} 第二个问题呢？我觉得这与查询是否安全有关，但是问题一的答案如何起作用？我不知道到底出了什么问题。你能帮忙解释一下吗？非常感谢！
记住，领域关系演算中查询的定义
{<x1, ..., xn> | P(<x1, ..., xn>)}
表示出现在‘|’左边的变量x1, ..., xn一定是
公式中唯一的自由变量p(...)。在您的示例中，变量 b,l,a 未绑定并保持自由状态。在正确答案中，存在量词将它们绑定。