mysql - Join を使用した SQL からタプル関係計算へ

Question

タプルリレーショナル計算に変換する必要がある 2 つの SQL クエリがあります。最初のクエリ

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

かなり明白なようです（私が正しく理解していれば）：

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

しかし、2番目のもの：

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

結合があり、それを変換する必要がある良い例が見つかりませんでした。誰か説明を手伝ってくれませんか？

score 1 · Accepted Answer

JOIN を CROSS JOIN に変換し、WHERE 句で条件を移動するだけです。次に、TRC 翻訳を取得するのは簡単です。

{ w | ∃i (w ϵ MAKLER ∧ i ϵ IMMOBILIE ∧ w.MaklerID = i.angebotenVon ∧ i.Typ = 'Wohnung') }

2 に答える 2