SQL Server：为什么比较 null=value 对于 NOT IN 返回 true？

为什么比较value to null返回 false，除非使用NOT IN，哪里返回 true？

给定一个查询来查找所有 stackoverflow 用户have a post:

SELECT * FROM Users
WHERE UserID IN (SELECT UserID FROM Posts)

这按预期工作；我得到了所有拥有帖子的用户的列表。

现在查询逆；查找所有 stackoverflow 用户don't有一个帖子：

SELECT * FROM Users
WHERE UserID NOT IN (SELECT UserID FROM Posts)

这不会返回任何记录，这是不正确的。

Given hypothetical data¹

Users              Posts
================   ===============================
UserID  Username   PostID   UserID  Subject
------  --------   -------  ------  ----------------
1       atkins     1        1       Welcome to stack ov...
2       joels      2        2       Welcome all!
...     ...        ...      ...
399573  gt6989b    ...      ...
...     ...        ...      ...
                   10592    null    (deleted by nsl&fbi...
                   ...      ... 

并假设 NULL 的规则：

• NULL = NULL评估为未知
• NULL <> NULL评估为未知
• value = NULL评估未知

如果我们查看第二个查询，我们感兴趣的是查找 Users.UserID 所在的所有行not在 Posts.UserID 列中找到。我将按照逻辑进行如下操作：

检查用户ID 1

• 1 = 1返回真。所以我们得出结论，该用户有一些帖子，并且不将它们包含在输出列表中

现在检查用户 ID 2：

• 2 = 1返回 false，所以我们继续寻找
• 2 = 2返回 true，因此我们得出结论该用户有一些帖子，并且不将它们包含在输出列表中

现在检查用户ID 399573

• 399573 = 1返回 false，所以我们继续寻找
• 399573 = 2返回 false，所以我们继续寻找
• ...
• 399573 = null返回未知，所以我们继续寻找
• ...

我们没有找到 UserID 399573 的帖子，因此我们将把他包含在输出列表中。

但 SQL Server 不这样做。如果你的中有一个NULLin列表，然后突然找到一个匹配项。它突然找到了匹配。突然399573 = null评估为真。

为什么比较value to null返回未知，除非它返回 true ？

Edit：我知道我可以通过专门排除空值来解决这个nonsensical行为：

SELECT * FROM Users
WHERE UserID NOT IN (
   SELECT UserID FROM Posts
   WHERE UserID IS NOT NULL)

但我不应该这样做，据我所知，没有它布尔逻辑应该没问题 - 因此我的问题。

脚注

• ¹ hypothetical data; if you don't like it: make up your down.
• celko 现在有了自己的标签

常见问题，预设答案：

NOT IN 子句的行为可能会令人困惑，因此需要一些解释。考虑以下查询：

SELECT LastName, FirstName FROM Person.Contact WHERE LastName NOT IN('Hedlund', 'Holloway', NULL)

尽管 AdventureWorks.Person.Contact 中有一千多个不同的姓氏，但该查询不会返回任何内容。对于初学者数据库程序员来说，这可能看起来违反直觉，但实际上是完全有道理的。该解释由几个简单的步骤组成。首先，考虑以下两个查询，它们显然是等价的：

SELECT LastName, FirstName FROM Person.Contact

WHERE LastName IN('Hedlund', 'Holloway', NULL)



SELECT LastName, FirstName FROM Person.Contact

WHERE LastName='Hedlund' OR LastName='Holloway' OR LastName=NULL

请注意，两个查询都会返回预期结果。现在，让我们回顾一下德摩根定理，该定理指出：

not (P and Q) = (not P) or (not Q)

not (P or Q) = (not P) and (not Q)

我从维基百科（http://en.wikipedia.org/wiki/De_Morgan_duality）剪切和粘贴。将 DeMorgan 定理应用于此查询，可以得出这两个查询也是等价的：

SELECT LastName, FirstName FROM Person.Contact WHERE LastName NOT IN('Hedlund', 'Holloway', NULL)



SELECT LastName, FirstName FROM Person.Contact

WHERE LastName<>'Hedlund' AND LastName<>'Holloway' AND LastName<>NULL

最后一个 LastNameNULL 永远不可能为 true