NULL と UNKNOWN は等価？

Question

NULL と UNKNOWN は等価ですか？

SQL では、すべての論理演算子は TRUE、FALSE、または NULL (UNKNOWN) に評価されます

リンク内容

Comments

[dupont_kedama]

リンク先に「SQL では、すべての論理演算子は TRUE、FALSE、または NULL (UNKNOWN) に評価されます」とは書いてないです。
なぜその質問に至ったのかがわかりません。困りごとはなんですか？

[yuba]

リンクは http://dev.mysql.com/doc/refman/5.6/ja/logical-operators.html の間違いでしょうかね。

[re97]

リンク先修正しました

Answer 1

概念的なことが知りたいのであればミックさんの記事が詳しく易しいので参考になると思います。
3値論理とNULL

Answer 2

SQLはUNKNOWNをはじめとした「値でないもの」をすべてNULLとしています。
他にある「値でないもの」の代表的なものにはNot Applicableがありますが、そういうのも区別せずNULLです。
ユーザーの性別が未入力ならUNKNOWNですし、法人の性別はNot Applicableですよね、そういうのを区別せずという意味です。

結論としてはどういうことかというと、厳密な意味ではUNKNOWNとNULLは等価ではありません。NULLはUNKNOWNを含むと言うべきです。でも、実用的にはNULL===UNKNOWNだと明言しているRDB製品は複数あります。

Comments

[re97]

厳密な意味ではUNKNOWNとNULLは等価ではないが、実用的には、TRUE、FALSE、または NULL (===UNKNOWN) の3つ、と考えて処理すれば良い、ということでしょうか？　ちなみに、「３値論理」の分別は、TRUE、FALSE、NULL？　それとも、TRUE、FALSE、UNKNOWN？

Answer 3

等価ではありません。
UNKNOWNはtrueやfalseと同じく論理代数で、一方のNULLは単なる値とのことです。
3値論理とNULL(CodeZine)

Comments

[re97]

回答ありがとうございます。
下記認識で合っているでしょうか？
・3値論理の3値とは、UNKNOWN／true／false
・しかし、実際にUNKNOWNはコードに記述できない仕様

[issei.]

認識としては問題ないと思います。
念のため補足しますと、UNKNOWNはtrueやfalseと同じく、式を評価した結果として現れるので、コードに書く必要は無いようです。書いてもエラーにはならないでしょうが、そもそも書くような具体的なケースが思いつきませんでしたすみません。

[re97]

コメントありがとうございました

Answer 4

PostgreSQLでのみ使用できるらしいです。
因みに、自分の使用しているMySQL5.6では動作しませんでした。

---

質問者様からコメントをいただき再度調べてみました。
NULLとUNKNOWNは別もの(であるべき)という事の様です。
書き直すと下記のようです。（やはり私、独自の記述方式です。）

• NULL(KNOWN)
• UNKNOWN

しかし、実装しているRDBシステムによって実際の値は異なるようです。
MySQLではNULL <> UNKNOWNが仕様で記載されいるらしいですが、
別のあるRDBではNULL = UNKONWという仕様で設計されているようです。

どちらにしろ、下記のような処理はしてはいけないという事です。

SELECT 
  CASE [blnValue]
  WHEN true THEN 'TRUE'
  WHEN false THEN 'FALSE'
  WHEN null THEN 'NULL'
  ELSE 'UNKNOWN'
  END
FROM table_some

---

リンク先を参照しましたが

NULL (UNKNOWN)

と記述されている箇所は見つかりませんでした。

別のサイトを検索したところ、
SQLでのBoolean型に「３値問題」というのがあるらしいです。
Booleanがtrue、false、nullの３つを値として持つことがあり、
nullになったときに処理の結果が保障されないとのことです。

しかし、SQLではなく別のプログラミング言語ではNULLは２種類あることになっているようです。
便宜的に記載すると下記の様なことらしいです。（あくまで私、独自の記述方式です。）

• NULL(KNOWN)
• NULL(UNKNOWN)

なので、一般的なプログラミング言語においてのBoolean型は
このNULL２種類を含めて「Booleanの４種値問題」となるそうです。

SQLに話を戻すとNULLが２種の値を持つことがなく常にNULL(UNKNOWN)であることは保証されているため、
MySQLの仕様ドキュメントのどこかにその様な記載があったのかもしれません。

以上、
ご参考になりますでしょうか？

Comments

[re97]

NULL(UNKNOWN)の意味ですが、NULLはUNKNOWNと等価ということでしょうか？　それとも、NULLの結果がUNKNOWN？

[re97]

再度調査いただきありがとうございます
ということは、MySQLコードにUNKNOWNというキーワードを使用できないということでしょうか？