关系代数,不使用除法运算符

时间:2016-10-31 08:09:58

标签: relational-algebra

鉴于:

int[] ints = new int[10];

if (ints is IEnumerable<uint>)
{
    Console.WriteLine("This won’t be printed");
}
if (((object) ints) is IEnumerable<uint>)
{
    Console.WriteLine("This will be printed");
}

找出教授所在部门所有课程的教授的姓名。您的解决方案不得使用除法运算符。

这个问题是否可以使用关系代数解决?

我觉得这是不可能的,即使使用除法运算符也是如此。除非我们针对每个教授的名字或特定的部门重复这样做。

有什么好主意吗?

1 个答案:

答案 0 :(得分:0)

  

这个问题是否可以使用关系代数解决?

是的,确实如此。 &#34;所有&#34;是考虑关系分裂的线索。

但是关系师并不是一个原始的运算符。所以你可以&#34;使用&#34;通过使用可以定义它的运算符而不使用它。有很多来源可以学习&#34;所有&#34;和分区查询。

(&#34的元组返回条件;所有&#34;和&#34;至少&#34;查询,包括那些划分为和不适合的查询,涉及使用正式& #34; forall X&#34;和#34;不存在X&#34;和&#34;而不是&#34;导致代数&#34;减去&#34;而#34;存在X&#34; ;导致代数&#34;项目所有属性,但X &#34;。并且通常使用关系子集来解释这些条件更简单:第一关系是第二关系的子集当第一个的元组成员资格条件暗示第二个元组的成员资格条件时,&#34; P表示Q&#34;表示&#34;不是(P而不是Q)&#34;。其中&#34; ;而不是&#34;再次出现。)