给定关系 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
主页
/
user-249060