Início / coding / Perguntas / 76922245
Accepted
smilingthax
Asked: 2023-08-17 21:59:45 +0800 CST

SQL menor/maior comparação entre booleanos produz resultados inesperados

  • 772

Por que a maioria (todos?) Os bancos de dados SQL fornecem:

SELECT FALSE < FALSE;      -- FALSE / 0   Ok
SELECT TRUE < FALSE;       -- FALSE / 0   Ok

SELECT NOT(FALSE) < FALSE; -- TRUE / 1    What?
SELECT NOT(TRUE) < FALSE;  -- TRUE / 1    What??

E apenas verifique novamente:

SELECT NOT(TRUE) = FALSE;  -- TRUE / 1    Ok
SELECT NOT(FALSE) = TRUE;  -- TRUE / 1    Ok

No Postgres, também posso verificar:

SELECT pg_typeof(TRUE), pg_typeof(NOT(FALSE));
  -- boolean | boolean

Eu tentei isso com PostgreSQL, SQLite3 e MariaDB, e todos concordam com o mesmo resultado inesperado.
o que estou perdendo?

sql

3 respostas

  1. Não sei exatamente como NOT(FALSE)está avaliando, mas NOTnão é uma função. Se você não deseja um literal booleano, os parênteses devem estar em torno de toda a expressão, ou seja, use (NOT FALSE)em vez de NOT(FALSE). Considerar:

    SELECT (NOT FALSE) < FALSE; -- 0, same as TRUE < FALSE
SELECT (NOT TRUE) < FALSE;  -- 0, same as FALSE < FALSE
    • 5
  2. Best Answer

    NOTe <são operadoras. Vamos dar uma olhada na precedência do operador:

    insira a descrição da imagem aqui

    https://dev.mysql.com/doc/refman/8.0/en/operator-precedence.html

    A partir daqui podemos ver que <precede NOTem prioridade, então

    NOT(FALSE) < FALSE

    é equivalente a

    NOT(FALSE < FALSE)

    e como FALSEnão é menor que ele mesmo, a expressão interna é 0, ou seja, é FALSEe sua negação é TRUE.

    Considerando que, se você aplicar a ordem do operador de sua preferência:

    (NOT(FALSE)) < FALSE

    então você obterá o resultado esperado:

    insira a descrição da imagem aqui

    • 5

  3. Minha resposta é sobre SQLite (mas suspeito que o mesmo se aplique a outros dbs).

    Uma expressão como:

    NOT(FALSE) < FALSE;

    é avaliado como:

    NOT((FALSE) < FALSE);

    porque o operador <tem maior precedência sobre o operadorNOT .
    Como (FALSE) < FALSEavalia como FALSE, o resultado da expressão é TRUE.

    • 4

relate perguntas