关系代数中如何表示“不存在”？

Question

关系代数中如何表示“不存在”？

sud*_*udh 6 sql relational relational-algebra

如何在关系代数中表示 SQL“不存在”子句？

Answer 1

我认为您正在寻找存在量词(\xe2\x88\x83)，然后您可以将其否定 (~\xe2\x88\x83)。

\n\n

对评论的回应：我不记得我的大部分关系代数，但如果我要尝试一下，我会猜测一些类似的内容： \xcf\x83 _{\xe2\x88\x83\xcf\x83 （Y）}（S）。或者可能 \xcf\x80 _{\xe2\x88\x83\xcf\x80(Y)} (S); 我不太记得你是否想要选择或投影。

\n

存在量词是关系代数的一部分。它出现在我的教科书：Ramez Elmasri 的《数据库系统》（全球版，第 6 版，第 173 页）中。然而，我认为重写查询以完全摆脱 EXISTS 操作会更容易。（请参阅我的答案）。 (2认同)
它是关系演算而不是关系代数。 (2认同)

归档时间：	15 年，1 月前
查看次数：	14175 次
最近记录：	4 年，1 月前