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

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

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