PostgreSQL 9.4 - 比较 NULL 值

Question

在正常情况下，将NULL 值与任何其他值进行比较会产生另一个NULL 值。

SELECT NULL = NULL;

返回NULL

---

如the documentation, 9.23.5. Row Constructor Comparison 中所述，比较任意行时，这（大部分）成立：

SELECT ROW(1, NULL, 'baz text') = ROW(1, NULL, 'baz text'); 

返回NULL

---

但是，在比较定义明确的复合类型时，NULL 值被视为相等。

CREATE TYPE test_type AS (
    foo INTEGER,
    bar BIGINT,
    baz TEXT
);

SELECT (1, NULL, 'baz text')::test_type = (1, NULL, 'baz text')::test_type;

返回TRUE

这种行为似乎没有记录（我已经查看并发现没有提及该行为）。

我想使用这种行为来实现一些业务规则，并希望确保这样做是安全的。

1. 这是否符合任何 SQL 规范？
2. 有可能这会在未来发生变化吗？

Answer 1

我在official documentation 中发现了这一点：[...] 在比较两个复合类型值的其他上下文中，两个 NULL 字段值被认为是相等的，并且 NULL 被认为大于非空值。为了使复合类型具有一致的排序和索引行为，这是必要的。。我认为这可以解决您的问题。

Answer 2

插图（抱歉，我不能在评论中这样做，需要格式）：

CREATE TYPE test_type AS (
    foo INTEGER
    , bar BIGINT
    , baz TEXT
    );

        -- plain table with three fields
CREATE TABLE test_table0 (
    foo INTEGER
    , bar BIGINT
    , baz TEXT
    );

        -- the same, but with a composite type
CREATE TABLE test_table1 (
        tt test_type
        );

INSERT INTO test_table0 (foo,bar,baz)
        VALUES (1, NULL, 'baz text');

INSERT INTO test_table1 (tt)
        VALUES( (1, NULL, 'baz text')::test_type) ;

        -- union needs a "whole row" -compare
SELECT * FROM test_table0
UNION
SELECT * FROM test_table0
        ;

        -- union needs a "whole row" -compare
        -- and type needs a whole "composite" compare
SELECT * FROM test_table1
UNION
SELECT * FROM test_table1
        ;

---

结果：

CREATE TYPE
CREATE TABLE
CREATE TABLE
INSERT 0 1
INSERT 0 1
 foo | bar |   baz    
-----+-----+----------
   1 |     | baz text
(1 row)

       tt        
-----------------
 (1,,"baz text")
(1 row)

---

• 注意：比较的对象（类型实例和元组）不是 NULL，只是它们的一些元素。
• 我确实认为这是预期的行为
• 恕我直言，这接近于在复合键中允许 NULL 元素的问题，（请参阅 Chris Date 对此的咆哮）
• 可能其他行为会导致更奇怪的人工制品