谓词逻辑

在 SQL 中，实现的是三值谓词逻辑。

通常一个命题要么为 TRUE，要么就为 FALSE。

而在 SQL 中，它用 NULL 符号来表示缺少值。

SQL的谓词的计算机结果可以是TRUE、FALSE或UNKNOWN(未知）。

如果逻辑表达式只涉及已经存在的值，那么最终的计算机结果要么为TRUE，要么为FALSE；但是当逻辑表达式涉及缺少的值时，其计算机结果就是　UNKNOWN。

例如：考虑谓词　ａ＞０：当ａ等于１０００时，表达式计算结果为TRUE　；当ａ等于－１０００时，表达式计算结果为FALSE；当ａ是NULL时，表达式的计算机结果就是UNKNOWN。

在不同的语言无素中，SQL 对 UNKNOWN的处理也有所不同（对于一些人来说，不一定是他们原本期望的方式）。SQL对查询过滤条件的正确定义是：“接受TRUE”就意味着要过滤掉FALSE和UNKNOWN。反之，SQL对CHECK约束处理的正确定义是：“拒绝FALSe”就意味着要接受TRUE和UNKNOWN。如果SQL使用的是二值谓词逻辑，那么“接受TRUE”和“拒绝FALSE”就不会有什么区别。但在三值谓词逻辑中，“接受TRUE”则会拒绝UNKNOWN（接爱TRUE，因而要拒绝FALSE和UNKNOWN），而“拒绝FALSE”则会接受UNKNOWN（拒绝FALSe，因而要接受TRUE和UNKNOWN）。

UNKNOWN的一个微妙之处是当对它取反（negate)时，结果仍然是UNKNOWN。

对两个NULL值进行比较的表达式（NULL=NULL），其计算机结果也竟为UNKNOWN。因为NULL值代表的是一个缺少的值或不可知的值，所以实际上无法判断一个不可知的值是否等于另一个。

在用于比较和排序目的的不同语言元素中，SQL处理NULL的方式也有所不同。一些元素认为两个NULL值彼此相等，而另一些则认为它们不相等。

例如，当进行分组和排序时，认为两个NULL值是相等的。也就是说，GROUP BY子句会在每个组中重新组织所有的NULL值，就像有具体值的列一样；ORDER BY子句也会对所有NULL值进行排序。至于NULL值应该排在有效值之前还是之后，ANSI SQL把它留给了具体的产品实现。T-SQL 是把NULL值排在了有效值之前。

ANSI SQL有两种UNIQUE约束：一种将多个NULL值视为相等的（只允许一个NULL值），另一个则将多个NULL值视为不同的（允许有多个NULL值）。SQL只实现了前者。