Início / dba / Perguntas / 244148
Accepted
Just a learner
Asked: 2019-07-31 10:25:59 +0800 CST

Como entender "NULL NOT IN" quando o conjunto está vazio?

  • 772

O SQL nesta questão é para Oracle. Mas você pode simplesmente remover FROM dualpara que funcione no SQL Server (que retorna o mesmo resultado do Oracle).

Tenho o seguinte SQL:

SELECT 1
FROM dual
WHERE NULL IN (SELECT 1 FROM dual WHERE 1 = 0);

SELECT 1
FROM dual
WHERE NULL NOT IN (SELECT 1 FROM dual WHERE 1 = 0);

que retorna um conjunto vazio e 1 respectivamente. Quando substituímos algum outro valor por NULL, obtemos exatamente o mesmo resultado.

SELECT 1
FROM dual
WHERE 33 IN (SELECT 1 FROM dual WHERE 1 = 0);

SELECT 1
FROM dual
WHERE 33 NOT IN (SELECT 1 FROM dual WHERE 1 = 0);

Então, como a comparação entre NULL e o conjunto de resultados vazio funciona aqui?

sql-server oracle

2 respostas

  1. Best Answer

    Vamos ver o que acontece com essas duas condições:

    WHERE NULL IN (SELECT 1 FROM dual WHERE 1 = 0);

WHERE NULL NOT IN (SELECT 1 FROM dual WHERE 1 = 0);

    como a subconsulta produz uma tabela vazia, podemos escrevê-los em pseudocódigo:

    WHERE NULL IN (<empty_table>);

WHERE NULL NOT IN (<empty_table>);

    Então, o primeiro pergunta se algum valor (NULL) está em uma tabela vazia. O resultado de tal condição é sempre FALSE, independente de o valor ser nulo ou não, pois a tabela está vazia .

    Aplicando o mesmo raciocínio na segunda condição, é sempre TRUE, novamente independente do valor.

    É fácil confirmar no Postgres qual é o valor do resultado dessas condições, pois temos um tipo booleano. Veja dbfiddle.uk , onde o primeiro mostra f(FALSE) e o segundo mostra t(TRUE).

    Como resultado do acima, quando você executa suas duas consultas, elas se tornam:

    SELECT 1
FROM dual
WHERE FALSE ;

    dando um resultado vazio (correto, já que a WHEREcondição é FALSE)
    e

    SELECT 1
FROM dual
WHERE TRUE ;

    dando uma linha (correta novamente).

    • 5

  2. Este é um problema com a chamada "lógica de três valores", que é exclusiva do SQL. Ao contrário de outras linguagens de programação que trabalham com TRUEe FALSE, o SQL também possui UNKNOWN (NULL). E a maneira como os diferentes elementos do SQL tratam um UNKNOWN é inconsistente.

    ON, WHEREe HAVINGtodos consideram UNKNOWN como FALSE. Um conjunto de resultados vazio é considerado NULL pelo SQL. Portanto, o NOT INestá procurando uma declaração falsa e, como WHERE interpreta NULL como FALSE, você recebe sua saída. A comparação de dois valores NULL também retorna UNKNOWN.

    Por outro lado, as CHECKrestrições consideram NULL como TRUE. Por exemplo, se você criar uma CHECKrestrição em vendas maiores que zero, NULL > 0 será avaliado como UNKNOWN, mas a regra é que uma restrição não deve ser avaliada como FALSE, então ela termina como TRUE. (editado com base no comentário de Lennart).

    Explicação detalhada:

    SELECT 1
WHERE NULL IN (SELECT 1 WHERE 1 = 0);

    (sintaxe do SQL Server)

    Retorna um conjunto vazio e, como um conjunto de dados vazio é considerado NULL pelo SQL, o que você está fazendo é:

    SELECT 1
WHERE NULL IN (NullSet/EmptySet);

    Para ser mais específico, o que você está comparando é uma tabela de todas as linhas = NULL

    https://www.oreilly.com/library/view/sql-and-relational/9781449319724/ch12s07.html

    If a row subquery evaluates to an empty table, that empty table is coerced to a row of all nulls.

    Você também tem a parte matemática disso:

    http://www.solving-math-problems.com/null-set-empty-set.html

    Ao comparar dois NULLs, o resultado é sempre UNKNOWN, e as instruções WHERE consideram UNKNOWN como FALSE.

    Portanto, em seu primeiro código:

    SELECT 1
WHERE NULL IN (NullSet/EmptySet);

    Sua instrução WHERE está basicamente verificando se NULL existe dentro de um conjunto NULL e, como a comparação de NULL é UNKNOWN e UNKNOWN é considerada FALSE, você não obtém nenhum resultado.

    Mas aqui:

    SELECT 1
WHERE NULL NOT IN (NULL);

    Você está dizendo WHERE NULL não existe dentro de um conjunto NULL. Novamente, como UNKNOWN é considerado FALSE, você obtém uma saída.

    Isso também explica por que quando você comparou:

    SELECT 1
FROM dual
WHERE 33 NOT IN (SELECT 1 FROM dual WHERE 1 = 0);

    Você recebeu uma saída. Porque 33 não está em um elemento dentro de um conjunto NULL/conjunto vazio.

    • 1

relate perguntas