PostgreSQL 13如何组合多个CHECK CONSTRAINT实现条件字段非空校验

问题根源 #

1. 多个独立CHECK约束的规则：PostgreSQL中所有声明的CHECK约束为同时生效的与逻辑，必须全部满足才算数据合法。你最初拆分的两个约束相当于要求数据同时满足thematic='A'和thematic='B'，不可能实现，因此无法插入任何数据。
2. 合并约束的逻辑错误：你之前写的合并约束逻辑为(A且field_a非空) 或 (B且field_b非空)，该逻辑会强制所有数据的thematic必须为A或B，且对应字段非空，不符合「满足对应条件时才校验字段」的需求，同时PostgreSQL会对逻辑表达式做等价优化，不影响最终优先级的括号会被自动省略，并非语法错误。

正确实现方式 #

推荐优先使用CASE写法，可读性更高，也方便后续扩展多个IF类判断规则：

CREATE TABLE IF NOT EXISTS demo_table
(
    uuid uuid NOT NULL DEFAULT uuid_generate_v4(),
    id integer NOT NULL DEFAULT nextval('demo_table_id_seq'::regclass),        
    thematic character varying COLLATE pg_catalog."default",        
    field_a character varying COLLATE pg_catalog."default",        
    field_b character varying COLLATE pg_catalog."default",        
    CONSTRAINT demo_table_pkey PRIMARY KEY (uuid),
    CONSTRAINT field_thematic_check CHECK (
        CASE
            WHEN thematic = 'A' THEN field_a IS NOT NULL
            WHEN thematic = 'B' THEN field_b IS NOT NULL
            -- 如需新增规则直接加 WHEN 分支即可，比如：
            -- WHEN thematic = 'C' THEN field_c IS NOT NULL
            ELSE TRUE -- 若需禁止thematic为A/B以外的值，将此处改为 FALSE 即可
        END
    )
)

如果偏好逻辑表达式写法，可以用SQL中的蕴含逻辑（IF A THEN B等价于NOT A OR B）实现，注意每个条件块用括号包裹明确优先级：

CONSTRAINT field_thematic_check CHECK (
    (thematic <> 'A' OR field_a IS NOT NULL)
    AND
    (thematic <> 'B' OR field_b IS NOT NULL)
)

校验效果 #

上述约束的合法数据范围：

• thematic为'A'时，field_a不可为NULL，field_b无限制
• thematic为'B'时，field_b不可为NULL，field_a无限制
• thematic为其他值时，两个字段均无限制（可根据需求调整ELSE分支修改规则）

内容的提问来源于stack exchange，提问作者GeoGyro