我的关系代数运算是否产生了预期的结果？

Question

我有这些表：

        水手          

sid sname 分级年龄
--- ------ ------ ---
22 灰尘 7 45 
31 约翰 8 55 
58 本 10 35 

         船        

投标名称颜色
--- --------- -----
101 因特拉克蓝 
102Interlake红色  
103剪刀绿
104剪刀红  

       储备

sid投标日期
--- --- ----------
22 104 8/10/2014
22 103 7/05/2014
58 103 8/11/2014
31 102 8/11/2014

我试图找到水手，sname和rating，他们同时保留了红色和绿色的 船，我需要用关系代数符号来写。

我试过这个：

文本版本，用于复制/参考目的：

R1 := 船 ⋈ 服务
R2 := σ color='红色' (R1)
R3 := σ color='绿色' (R1)
R4 := R2 ∩ R3
R5 := R4 ⋈ 水手
R6 := π 名称，评级(R5)

有人告诉我这是错误的，但没有解释原因。有人可以向我解释问题是什么吗？

这一行被标记为错误：

 R4 := R2 ∩ R3 

Answer 1

这确实是错误：

    R4 := R2 ∩ R3 

如果我们尝试获得您的解决方案的中间结果，我们会得到：

R1：

出价 bname 颜色 sid 日期
--- --------- ----- --- ----------
102 因特拉克红 31 8/11/2014
103 剪刀绿色 22 7/05/2014
103 剪刀绿色 58 8/11/2014
104 剪刀红色 22 8/10/2014

进而：

R2：（仅“红色”）

出价 bname 颜色 sid 日期
--- --------- ----- --- ----------
102 因特拉克红 31 8/11/2014
104 剪刀红色 22 8/10/2014

R3：（仅“绿色”）

出价 bname 颜色 sid 日期
--- --------- ----- --- ----------
103 剪刀绿色 22 7/05/2014
103 剪刀绿色 58 8/11/2014

R4将是一个空关系，因为没有什么东西可以既是红色又是绿色。当然，这不是练习所要求的。

R4：

出价 bname 颜色 sid 日期
--- --------- ----- --- ----------

你需要做的是让R2'与R3'，的预测R2和R3分别，只有属性sid。然后取它们的交点为R4：

    R1 := ...
    R2 := ...
    R3 := ...
    R2' := ? sid (R2)
    R3' := ? sid (R3)
    R4 := R2' ∩ R3'
    R5 := ...
    R6 := ...