関係論理
顧客がいる場所:
{t.場所 | 顧客(t)}
ブレーメン内のすべての顧客:
{t | 顧客(t) ∧ t.場所="ブレーメン"}
注文した顧客:
{t | 顧客(t) ∧ ∃s(注文(s) ∧ s.顧客番号=t.顧客番号)}
注文されていない商品:
{t | 商品(t) ∧ ¬∃s(注文(s) ∧ s.商品番号=t.商品番号)}
組関係論理において、結合の条件は明示的に記述される。