SQL三值逻辑和NULL

三值逻辑：

真、假和“不确定值”

三值逻辑和布尔型类型的区别：

普通布尔类型只有true和false两个值，这种逻辑体系被称为二值逻辑。
在SQL语言中还有第三个值：unknown。这种逻辑体系被称为三值逻辑

数据库为什么引入三值逻辑：

问题在于NULL。关系型数据库里引入了NULL，所以不得不同时引入第三个值。

两种NULL

一种：未知（unknown），一种：不适用（applcable）。
未知：虽然现在不知道的数据，添加某些语句筛选出来一些数据。
不适用：无论怎么努力都无法知道的。

NULL与比较谓词比较：

NULL与比较谓词比较后的结果总是unknown。
因为查询结果只会包含where字句里的判断结果为true的行。不会包含false和unknown的行。

– 以下的式子都会被判为 unknown
1 = NULL
2 > NULL
3 < NULL
4 <> NULL
NULL = NULL

为什么NULL使用比较谓词后的结果永远不可能为真？

因为NULL既不是值也不是变量。NULL字还是一个表示”没有值“没有值的标记，而比较谓词只适用于值。因此，对并非值的NULL使用比较谓词本来就是没有意义的。

排中律：

把“命题”和他的“否命题”通过或者连接起来而成的命题全都是真命题。这个命题在二值逻辑中被称为排中律。顾名思义就是对命题的真伪判定未非黑即白，也是古典逻辑学的重要原理。
但排中律在SQL中是不成立的。

select * from Students
where age = 20 or age <>20;

注：结果中约翰这条记录时查询不出来的

NOT IN和NOT EXISTS不是等价的

in 和 exists 在某种程度上他们是可以替换的。经常用exists提升SQL性能。

但NOT IN 改成NOT EXISTS，结果未必一样。

NOT IN 中的入职参数如果有NULL的话，返回结果一定为UNKNOWN。
而NOT EXISTS则会返回false（因为exists的结果只包含false和true）

同样，机制函数在统计时，会直接将为NULL的数据直接排除掉。

返回值为NULL的函数：

当输入为空时：极值函数、聚合函数除COUNT以外的聚合函数（count有count()和count(列名)两种使用方法,count(）可以统计所有行，count(列名)则会跳过null值）。返回值都为NULL。

小结：

NULL 不是值。
因为 NULL 不是值，所以不能对其使用谓词。
对 NULL 使用谓词后的结果是 unknown 。
unknown 参与到逻辑运算时，SQL 的运行会和预想的不一样。
按步骤追踪 SQL 的执行过程能有效应对 4 中的情况。
最后说明一下，要想解决 NULL 带来的各种问题，最佳方法应该是往表里添加 NOT NULL 约束来尽力排除 NULL 。这样就可以回到美妙的二值逻辑世界（虽然并不能完全回到）。