博客园  :: 首页  :: 新随笔  :: 联系 :: 订阅 订阅  :: 管理

三值逻辑 (Three-Valued Logic)

Posted on 2011-08-27 13:52  枫之一刀  阅读(964)  评论(0编辑  收藏  举报

在SQL中逻辑表达式的可能值包括TRUE、FALSE和UNKNOWN。它们被称为三值逻辑。三值逻辑是SQL所特有的。大多数编程语言的逻辑表达式只有TRUE和FALSE两种值,SQL中的UNKNOWN逻辑值通常出现在包含NULL值的逻辑表达式中。NULL值通常表示丢失或者不相关的值。

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值是相等的。