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

sud*_*udh 6 sql relational relational-algebra

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

eld*_*his -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认同)