關於SQL\SQL Server的三值邏輯

在SQL剛入門的時候，我們篩選為某列值為NULL的行，一般會採用如下的方式：

SELECT * FROM Table AS T WHERE T.Col=NULL

而實際上此種寫法無法得到想要的結果。此時我們在網上找到的解決方案是採用：T.Col IS NULL。雖然此方法能得到資料，但是本人以及部分同行都不知道為什麼會出現 T.Col=NULL 無法得到Col為NULL的行的這種結果。

　　最近我想加強下SQL方面的知識，於是找了 SQLSERVER 2005技術內幕：T-SQL查詢 這本書看。在書中看到了三值邏輯個知識點。而該知識點為我解惑了上面的問題。

　　什麼是三值邏輯？

　　以下是書中原文：
　　在SQL中邏輯運算式的可能值包括TRUE、FALSE和UNKNOWN。它們被稱之為三值邏輯。三值邏輯是SQL所特有的。大多數程式設計語言的邏輯運算式只有TRUE或FALSE兩種值。SQL中的UNKNOWN邏輯值通常出現在包含NULL值的邏輯運算式中，例如，下面這三個運算式值都是UNKNOWN：

NULL<42;NULL=NULL;X+NULL>Y;

NULL值通常表示丟失或不相關的值。當比較丟失值和另外一個值（這個值也可能是NULL）時，邏輯結果總是UNKNOWN。

　　處理UNKNOWN邏輯結果和NULL時非常容易混淆。NOT TRUE等於FALSE，NOT FALSE等於TRUE，而否定的UNKNOWN(NOT UNKNOWN)還是UNKNOWN。

　　UNKNOWN邏輯結果和NULL在不同的語言元素中被區別對待。例如，所有的查詢篩選器（ON、WHERE和HAVING）都把UNKNOWN當作FALSE處理。使篩選器為UNKNOWN的行會被排除在結果集之外，而CHECK約束中的UNKNOWN值被當作TRUE對待。建設表中包含一個CHECK約束，要求salary列的值必須大於0，向該表插入salary為NULL時可以被接受，因為（NULL>0）等於UNKNOWN，在check約束中被視為和TRUE一樣。

在篩選器中比較兩個NULL值將得到UNKNOWN，它會被當作false處理，就好像其中一個NULL不等於另一個NULL。

　　而UNIQUE約束。排序操作和分組操作認為兩個NULL值是相等的。

　　　　如果表中有一列定義了UNIQUE約束，將無法向表中插入該列值為NULL的兩行。

　　　　GROUP BY 子句把所有NULL值分到一組。

　　　　ORDER BY 子句把所有NULL值排列在一起。

　　瞭解UNKNOWN邏輯結果和NULL在不同的語言元素中被處理的方式是有好處的，這樣可以避免以後出現麻煩。

 

　　一大堆密密麻麻的字，都暈了吧。我用通俗點的解釋下。

　　用C#語言舉例，C#中條件運算式的值是true和false。但是在SQL中還有第三種條件值：unknown。

　　在C#中 if(null==null)得到結果是true，不等於的時候是false。

　　但是在SQL使用 =、<、>、<>、<=、>= 進行 null值判斷的時候，不會得到預期的true或false，而是unknown。

　　SQL對unknown 的處理主要分為兩種：

　　1、在 where、on、having子句中，把unknown當著false處理。於是就有了開篇中我的那個疑問了。

　　2、在check約束中的unknown值被當作TRUE對待。建設表中包含一個check約束，要求salary列的值必須大於0，向該表插入salary為null時可以被接受，因為（null>0）等於unknown，在check約束中被視為和true一樣。

　　根據上面的解釋，已經知道了為什麼在查詢中篩選null的時候需要使用 is null 或者is not null ，常規條件運算式卻無法篩選出。