sql - 关系代数 - 除法

Question

如果我有下表，并且我在关系代数中执行 R1/R2，结果会是 A 值为 1 和 3 的表吗？我有点困惑，因为我知道 3 会是一个结果，因为它同时包含 5 和 1，但结果 1 除了匹配值之外还有 B 的附加值，所以这也会包含在内，为什么？

     R1          R2
    +---+---+   +---+
    | A | B |   | B |
    |---|---|   |---|
    | 1 | 1 |   | 5 |
    | 1 | 2 |   | 1 |
    | 1 | 3 |   +---+
    | 1 | 4 |
    | 2 | 3 |
    | 2 | 4 |
    | 3 | 5 |
    | 3 | 1 |
    | 1 | 5 |
    | 5 | 7 |
    | 5 | 8 |
    +---+---+

Answer 1

在关系数据库中，划分定义为:
R1(Y,X) 除 R2(X) = R1[Y] 减 ((R1[Y] 乘以 R2) 减 R1)[Y]

请记住，R1[Y] 是“PROJECT R1 over Y”的另一种形式。
所以结果是 {1,3}