给定关系 R(a, b, c) 和 S(b, d)，其中 {Ra, Rb} 是 R 的主键， {Sb} 是 S 的主键， {Rb} 是外键在 R 中，指的是 {Sb}（数据已经在网站上作为样本给出）
运行以下方程
- R ⟕ S
- R ⨝ S
在https://dbis-uibk.github.io/relax/calc/local/uibk/local/0中，两者给出了相同的结果，但如何在数学上证明呢？
R ⟕ S = R ⨝ S
AskOverflow.Dev
给定关系 R(a, b, c) 和 S(b, d)，其中 {Ra, Rb} 是 R 的主键， {Sb} 是 S 的主键， {Rb} 是外键在 R 中，指的是 {Sb}（数据已经在网站上作为样本给出）
运行以下方程
在https://dbis-uibk.github.io/relax/calc/local/uibk/local/0中，两者给出了相同的结果，但如何在数学上证明呢？
R ⟕ S = R ⨝ S
由于 {Rb} 是引用 S 的外键，因此 R 中的每个元组都保证在 S 中有一个且只有一个匹配的元组，因此自然连接将导致所有 R 元组仅被选择一次。