SQL中的三值逻辑 [SQL Server]

      在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在不同语言元素中被处理的方式是有好处的，这样可以避免以后出现麻烦。