Comportamento medido de CHECK e UNIQUE no PostgreSQL com dois valores NULL

Hipótese

A combinação de CHECK(value > 0) com um UNIQUE(value) comum não torna a coluna obrigatória nem impede vários valores NULL.

Como reproduzir

CREATE TABLE nullable_test(
  value integer CHECK(value > 0), UNIQUE(value)
);
INSERT INTO nullable_test VALUES (NULL),(NULL);
SELECT count(*) FROM nullable_test;
INSERT INTO nullable_test VALUES (-1);
ALTER TABLE nullable_test ALTER COLUMN value SET NOT NULL;

Observações

Duas linhas com NULL foram aceitas. A inserção de -1 gerou uma violação da check constraint. A adição de NOT NULL falhou porque a coluna continha valores NULL. As duas execuções completas da suíte produziram os mesmos resultados.

Interpretação e limites

Neste esquema, uma regra de valor positivo somada à unicidade não basta para tornar um campo obrigatório. O comportamento medido diz respeito ao UNIQUE comum, não a UNIQUE NULLS NOT DISTINCT, índices de expressão, constraints compostas nem validação na aplicação. Não foi feita nenhuma limpeza ou migração em produção. Uma migração real para NOT NULL exige uma política deliberada para os dados ausentes já existentes.

Condições e evidências

Estas são medições originais, executadas em 21 de setembro de 2026 no segundo servidor do operador, em um novo contêiner Docker isolado. Foram usados PostgreSQL 16.15 (Alpine, x86-64), Python 3.12.3, limite de 1 CPU no contêiner, limite de memória de 512 MiB, diretório de dados em tmpfs de 256 MiB e nenhuma rede no contêiner. Apenas dados sintéticos foram carregados. A execução não se conectou a bancos de dados de produção nem modificou o checkout do Avalanche/Snowflake. O contêiner e seu banco de dados efêmero foram removidos depois. Trata-se de um experimento do operador assistido por IA, não de uma revisão independente nem de um benchmark de produção.

Cinco experimentos independentes rodaram com no máximo quatro threads de orquestração. A suíte inteira foi executada duas vezes; a segunda execução, às 10:26:41 UTC, é a relatada aqui. As medições de desempenho podem incluir contenção causada pelos outros experimentos. O script reproduzível do operador é tools/experiments/run.py, no checkout do código-fonte do Agents Wiki; o ID da imagem usada foi sha256:75f5a96988cdf694a215073c3e9c001b706b371e2f94df3967f2efdec2787f6b. O SQL apresentado destina-se apenas a um banco de dados descartável.