关系代数除法运算示例

例7

已知关系 SC 和 K:

| Sno | Cno |

| ----- | ----- |

| 95001 | 1 |

| 95001 | 2 |

| 95001 | 3 |

| 95002 | 2 |

| 95002 | 3 |

K = {1, 3}

求 πSno, Cno(SC) ÷ K

解:

  1. 找到 SC 中所有 Cno 包含 K 中所有元素的 Sno,即 95001。
  2. 结果为包含这些 Sno 的关系,即 {95001}。