为什么 null 不等于 null false

Question

我正在读这篇文章： 在 SQL 中获取 null == null

共识是，当尝试测试之间的相等性时两个（可为空的）sql 列，正确的方法是：

where ((A=B) OR (A IS NULL AND B IS NULL))

当 A 和 B 为 NULL 时，(A=B) 仍返回 FALSE，因为 NULL 不等于 NULL。这就是为什么需要额外检查的原因。

测试不等式时怎么样？根据上面的讨论，它让我认为要测试不等式，我需要做类似的事情：

WHERE ((A <> B) OR (A IS NOT NULL AND B IS NULL) OR (A IS NULL AND B IS NOT NULL))

但是，我注意到这是没有必要的（至少在 informix 11.5 上不是），我可以这样做：

where (A<>B)

如果 A 和 B为 NULL，则返回 FALSE。如果 NULL 不等于 NULL，那么这不应该返回 TRUE 吗？

编辑
这些都是很好的答案，但我认为我的问题有点模糊。请允许我重新表述一下：

鉴于 A 或 B 可以为 NULL，是否足以检查它们的不等式

where (A<>B)

或者我是否需要像这样显式检查它：

WHERE ((A <> B) OR (A IS NOT NULL AND B IS NULL) OR (A IS NULL AND B IS NOT NULL))

请参阅此 线程来回答这个问题。

Answer 1

因为该行为遵循已建立的三元逻辑，其中 NULL 被视为未知值。

如果您将 NULL 视为未知，那么它会变得更加直观：

unknown a 等于 unknown b 吗？没有办法知道，所以：未知。

Answer 2

涉及 NULL 的关系表达式实际上再次产生 NULL

编辑，

这里，<> 代表任意二元运算符，NULL 是 SQL 占位符，< code>value 是任何值（NULL 不是值）：

• NULL <>值 -> NULL
• NULL <> NULL-> NULL

的逻辑是：NULL 表示“无值”或“未知值”，因此与任何实际值的任何比较都是没有意义的。

如果您不知道 X 持有什么值（如果有），X = 42 是真、假还是未知？ SQL 说它是未知的。 X = Y 是真、假还是未知（假设两者都是未知的）？ SQL 表示结果未知。对于任何二元关系操作来说都是如此，这只是逻辑上的（即使模型中本来就不存在 NULL）。

SQL 还提供了两个一元后缀运算符，IS NULL 和 IS NOT NULL，它们根据其操作数返回 TRUE 或 FALSE。

• NULL 是 NULL -> TRUE
• NULL IS NOT NULL -> 假

Answer 3

所有涉及 null 的比较都是未定义的，并且计算结果为 false。这个想法阻止 null 被评估为等同于 null，也阻止 null 被评估为不等同于 null< /代码>。

Answer 4

简短的答案是......NULL 很奇怪，它们的行为并不像您期望的那样。

这是一篇关于 NULL 在 SQL 中如何工作的精彩论文。我认为这将有助于提高您对该主题的理解。我认为有关处理表达式中的空值的部分对您特别有用。

http://www.oracle.com/technology/oramag/ oracle/05-jul/o45sql.html

Answer 5

表达式中空值的默认 (ANSI) 行为将导致空值（对于这种情况，还有足够多的其他答案）。

然而，在处理 MS Sql Server 时，我会提出一些未列出的极端情况和警告。

• 将值分组在一起的语句中的 Null 将被视为相等并分组在一起。
• 对它们进行排序的语句中的空值将被视为相等。
• 在评估查询的不同方面时，在使用不同的语句中选择的空值将被视为相等

在 SQL Server 中可以使用 SET ANSI_NULLS OFF 覆盖有关特定 Null = Null 测试的表达式逻辑，然后将给你空值之间的相等性 - 这不是推荐的举动，但确实存在。

SET ANSI_NULLS OFF

select result =
    case
        when  null=null then 'eq' 
        else 'ne'
    end

SET ANSI_NULLS ON

select result =
    case
        when  null=null then 'eq' 
        else 'ne'
    end

Answer 6

这是一个快速修复

ISNULL(A,0)=ISNULL(B,0)

0 可以更改为数据中永远不会发生的内容

Answer 7

“未知a等于未知b吗？没有办法知道，所以：未知。”

问题是：为什么比较结果为 FALSE？

给定三值逻辑，比较产生 UNKNOWN （不是 FALSE）确实是明智的。但 SQL 确实会产生 FALSE，而不是 UNKNOWN。

SQL 语言中无数的错误之一。

此外，必须考虑以下因素：

如果“未知”是三元逻辑中的逻辑值，那么应该是两个碰巧都是“未知”（的值）的逻辑值之间的相等比较的情况，那么该比较应该产生 TRUE。

如果逻辑值本身是未知的，那么显然不能通过将值“未知”放在那里来表示，因为这意味着逻辑值是已知的（“未知”）。也就是说，关系理论如何证明实现 3 值逻辑会提出对 4 值逻辑的需求，4 值逻辑会导致对 5 值逻辑的需求，等等，无穷无尽。