什么时候“x IS NOT NULL”与“NOT(x IS NULL)”不同

Question

x 是什么

表达式x IS NOT NULL is不等于NOT(x IS NULL)，如2VL中的情况

（引用自 这个答案，引用了Fabian Pascal 数据库管理中的实际问题 - 思考实践者的参考 - 接近答案的结尾）

我的猜测是当x IS NULL 是 NULL，但我无法猜测什么时候会发生（即我没有检查 SQL 标准）。 这个猜测是不正确的。

Answer 1

据我所知，Fabian Pascal 并不是指与 Null 相比的标量值，而是指很少实现的 ROW 类型。在标准中，想法是您可以使用 IS NULL 比较表（行）来确定是否所有值都设置为 NULL 值。因此，X IS NULL 表示所有值都设置为 NULL 值，X IS NOT NULL 表示没有值设置为 NULL 值，NOT ( X IS NULL) 意味着并非所有值都设置为 NULL 值，或者换句话说，至少存在一个未设置为 NULL 的值。诚然，我在这里轻轻地踩在巨人的肩膀上，但这就是我解释他的声明的方式。

Answer 2

x IS NULL 永远不会是 NULL，因此它们对于所有 x 都是相同的

真值表啊嘿：

+--------+-------------+---------+--------------+
|   x    |x IS NOT NULL|x IS NULL|NOT(x IS NULL)|
+--------+-------------+---------+--------------+
|NULL    |    FALSE    |  TRUE   |    FALSE     |
|NOT NULL|    TRUE     |  FALSE  |    TRUE      |
+--------+-------------+---------+--------------+

请注意，第二列和第四列对于所有 x 都是相同的x 的潜在值（NULL 或 NOT NULL）