このsqlの解釈方法

Question

CREATE ASSERTION Asser
CHECK (NOT EXISTS
        (SELECT *
          FROM  Foo AS F
            LEFT OUTER JOIN
                Bar AS B
              ON F.pid = B.pid
          WHERE F.pid IS NULL
            AND B.pid IN (SELECT pid FROM Bar
                              UNION
                             SELECT pid FROM Foo)));

の

B.pid IN (SELECT pid FROM Bar
                              UNION
                             SELECT pid FROM Foo)

のところっって絶対Trueになりますか？

B.pid IN (SELECT pid FROM Bar)

でも

True

でも
Trueですよね？
だとすれば

            AND B.pid IN (SELECT pid FROM Bar
                              UNION
                             SELECT pid FROM Foo)

が要らない思うのですがあえて書く意図がありますか？

Answer 1

SELECT *
FROM  Foo AS F
      LEFT OUTER JOIN Bar AS B
      ON F.pid = B.pid
WHERE F.pid IS NULL
  AND B.pid IN (
          SELECT pid FROM Bar
        UNION
          SELECT pid FROM Foo
      )

上記のSQLで、

from  Foo AS F
      LEFT OUTER JOIN Bar AS B
      ON F.pid = B.pid

という結合条件で、

WHERE F.pid IS NULL

なら、Barは取得されません。
なので、

  AND B.pid IN (
          SELECT pid FROM Bar
        UNION
          SELECT pid FROM Foo
      )

は意味は無いですね。
結局、以下と同義です。

SELECT *
FROM  Foo AS F
WHERE F.pid IS NULL

Answer 2

  AND B.pid IN (
          SELECT pid FROM Bar
        UNION
          SELECT pid FROM Foo
      )

Bar が空集合の場合False になります。 True になりません。
Bar のすべてのレコードの pid が NULL ならば False になります。 Trueになりません。
それ以外は True です。

追記
B.pid が NULL の場合は、厳密にいうと、NULL in (... ) なので、３値論理の Unknown だと思います。

追記２
この in は、内部結合にすれば不要になります。そして、内部結合すら不要になり、Foo.pid の NOT NULL 制約に行きつくのでしょう。

三値論理

今の時代、三値論理は必須ですね。短絡評価と併せて追記しておきます。
三値論理

SQLはクリーネの三値論理を採用している。
三値論理は、True,Unknown,Falseの三値を使う論理である。三値には論理演算ごとに以下の規則がある。

• OR: True > Unknown > False (> 左側が優先度が高い)
• AND: False > Unknown > True (> 左側が優先度が高い)
• NOT: Unknown は Unknownに評価。その他は二値論理に同じ。

三値論理でも二値論理と同様、短絡評価 (short circuit evaluation) が可能。

• 選言標準形（ORだけで構成された論理式）: Trueが出現した時点で式全体がTrueになるので評価終了。
• 連言標準形（ANDだけで構成された論理式）: Falseが出現した時点で式全体がFalseになるので評価終了。

ついでに、SQLにおいて、以下の比較演算子は True/False の２値を返す。

• IS NULL
• IS TRUE
• IS FALSE

Comments

[xebme]

さらに追記が必要になるかもしれません。時間がないので他の回答者のチャレンジに期待。

[xebme]

fao さん、退会したのは残念です。いつか戻って来てください。