SQLからタプル関係の計算と結合する

Question

タプル関係の計算に変換する必要がある2つのSQLクエリがあります。

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

しかし第二1：最初のクエリ

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

は（私は右のそれを理解している場合）かなり明白であるように思わ

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

参加していると私はできませんでしたどのように私はそれを変換する必要がある良い例を見つける。誰も私の説明を助けてくれますか？

Answer 1

TRCの資料のほとんどはpdf形式のようです。それは頻繁に使用されるシンボルと関係があります。このプレゼンテーションによればBerkeley CS 106にこれが動作するはず：

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

基本的に、条件は、要素が別のクエリに存在しなければならないということである。MAKLERから採取した各タプルため'Wohnung'に等しいTypを持つIMMOBILIEに存在∃xistsタプルを確保しますタプルのMaklerIDに等しいangebotenVonが考慮されます。

残念ながら、私は現時点でそれをテストする方法がありません。

Answer 2

JOINをCROSS JOINに変換し、WHERE句で条件を移動するだけで済みます。

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