为什么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 ？ 没有办法知道，所以： unknown 。

Answer 2

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

编辑

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

• NULL <> value - > NULL
• NULL <> NULL - > NULL

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

是X = 42真，假或未知，因为你不知道X持有什么值（如果有的话 ）？ SQL说这是未知的。 假设两者都是未知的，那么X = Y真，假还是未知？ SQL表示结果未知 。 并且它对于任何二进制关系操作都是如此，这只是逻辑的（即使模型中的NULL不在第一位）。

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

• NULL IS NULL - > TRUE
• NULL IS NOT NULL - > FALSE

Answer 3

涉及null所有比较都是未定义的，并且评估为false。 这个想法可以防止null被评估为等效于null ，也可以防止null被评估为NOT等效于null 。

Answer 4

简短的回答是...... NULL很奇怪 ，它们的表现并不像你期望的那样。

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

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

Answer 5

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

但是，在处理未列出的MS Sql Server时，我会提出一些边缘情况和警告。

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

在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

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

问题是：为什么比较产生假？

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

SQL语言中无数的逆境之一。

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

如果“unkown”是三元逻辑中的逻辑值，则应该是两个逻辑值之间的相等比较，这两个逻辑值恰好是（未知的）值，然后该比较应该产生TRUE。

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