mysql - 使用Join从SQL到元组关系演算

我有两个SQL查询需要转换为元组关系演算。第一个查询

SELECT immobilie.*
FROM immobilie
WHERE 'Preis'<'100000'

似乎很明显（如果我理解正确的话）：

{w|w ϵ MAKLER ∧ w.Preis < `100000‘}

但是第二个：

SELECT makler.*
FROM makler
JOIN immobilie
     ON makler.MaklerID = immobilie.angebotenVon
WHERE immobilie.Typ = 'Wohnung'

有一个联接，我找不到如何转换它的好例子。有人可以帮我一个解释吗？

最佳答案

TRC上的大多数材料似乎都是pdf格式。这可能与大量使用的符号有关。根据关于Berkeley CS 106的演示，这应该可以工作：

{m|m ϵ MAKLER ∧ ∃i(i ϵ IMMOBILIE ∧ i.Typ = `Wohnung‘ ∧ i.angebotenVon = m.MaklerID)}

基本上，条件是元素应存在于另一个查询中：对于每个从MAKLER提取的元组，请确保IMMOBILIE中的个元组具有Typ等于'Wohnung'并且angebotenVon等于MaklerID考虑的元组。

不幸的是，目前我无法对其进行测试。

关于mysql - 使用Join从SQL到元组关系演算，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/40966049/