在哪里可以找到一个关于关系代数中除法运算的好例子/解释?[关闭]

请看一下这个演示,它解释了关系代数除法。 https://www2.cs.arizona.edu/~mccann/research/divpresentation.pdf

干杯

在我看来,所有这些参考文献从早期起仍然犯着同样的根本错误。

以维基百科为例:关系部门查询解决的问题似乎是“给我所有完成所有可能任务的学生”。

但现在假设“已完成”和“dbproject”都是空表(没有学生完成任何任务,也没有任务)。如果你知道普遍的量化应该如何处理空的集合,那么你就明白为什么这个问题的答案应该是,在这种情况下,“所有的学生”。

这个缺陷在几年前就已经被识别出来了,并且通过在关系除法运算符中添加第三个参数来处理,命名了从中绘制“所有学生”的表,在这种情况下,这应该是答案(不严格地说)。

请参阅最新版本的“数据库系统简介”,了解更详细的解释。

这也是为什么说“关系除法是笛卡尔积的关系逆,实数除法是实数乘法的逆”实际上是错误的原因。(怎么可能呢:它现在有三个参数而不是两个。)

令人惊讶的是,关系划分的这一特定方面完全被忽视了,即使是在其网站名中有.cs.edu的组织也是如此。

有一场精彩的演讲 this pdf 其中包括有用的例子和简单的解释。

你见过吗? the one on Wikipedia ?

在我的经验中,关系划分并没有用那么多。

This one 由伯莱森是相当不错的。

整架飞机和飞行员的事情并不是我想回答的那种问题。

这是一本普通的教科书 "Database Systems: Design, Implementation, and Management" ,我已经嵌入了到除法关系代数运算符的链接。

我重新创建了本书中图3.17中的示例以使用SQL。您可以在这里运行和处理查询, SqlFiddle

哇,我打赌3年后你就不需要这个了:p