Início / coding / Perguntas / 79259253
Accepted
Fullaccess
Asked: 2024-12-07 04:06:13 +0800 CST

Existe alguma chance dessa expressão retornar UNKNOWN?

  • 772

Considerando que o PostgreSQL não oferece garantias quanto à ordem em que os operandos são avaliados, essa expressão poderia retornar UNKNOWN se a última condição fosse avaliada antes da do meio?

"TradeOffer".status = 'Pending' AND
"TradeOffer".expiration_date IS NOT NULL AND
CURRENT_TIMESTAMP > "TradeOffer".expiration_date
postgresql

2 respostas

  1. Best Answer

    Não, porque select false and null;retorna false.

    Ou, no where, select 1 where false and null;não retorna nada (a condição where ainda é falsa)

    • 2

  2. Você pode reescrever sua consulta para torná-la determinística novamente, mas isso só produziria uma varredura completa da tabela.

    create table "TradeOffer"(
status Text,
  expiration_date timestamp
);

    CREATE TABLE

    INSERT INTO  "TradeOffer" VALUES('1', NULL)

    INSERT 0 1

    SELECT * FROM "TradeOffer" WHERE
"TradeOffer".status = 'Pending' AND
CASE WHEN "TradeOffer".expiration_date IS NOT NULL THEN
CURRENT_TIMESTAMP > "TradeOffer".expiration_date
  ELSE FALSE
END
    status data_de_validade 
    SELECT 0

    violino

    Outra solução que usa varredura de índice de heap

    create table "TradeOffer"(
status Text,
  expiration_date timestamp
);

    CREATE TABLE

    CREATE INDEX index1_id 
  ON "TradeOffer" USING btree (expiration_date ,status ) ;

    CREATE INDEX

    INSERT INTO  "TradeOffer" VALUES('1', NULL)

    INSERT 0 1

    EXPLAIN 
  SELECT t1.* FROM "TradeOffer" t1 JOIN "TradeOffer" t2 
  ON t1.expiration_date = t2.expiration_date 
  and t1.expiration_date IS NOt NULL 
  AND t1.status = 'Pending'
  WHERE
CURRENT_TIMESTAMP > t1.expiration_date
    PLANO DE CONSULTA
    Loop aninhado (custo=13,33..39,97 linhas=12 largura=40)
    -> Bitmap Heap Scan em "TradeOffer" t1 (custo=9,13..14,48 linhas=2 largura=40)
    Verifique novamente a condição: ((expiration_date NÃO É NULO) E (status = 'Pendente'::texto))
    Filtro: (CURRENT_TIMESTAMP > expiration_date)
    -> Bitmap Index Scan em index1_id (custo=0,00..9,13 linhas=2 largura=0)
    Condição do índice: ((expiration_date NÃO É NULO) E (expiration_date < CURRENT_TIMESTAMP) E (status = 'Pending'::text))
    -> Bitmap Heap Scan em "TradeOffer" t2 (custo=4,20..12,68 linhas=6 largura=8)
    Verifique novamente a condição: (t1.expiration_date = expiration_date)
    -> Bitmap Index Scan em index1_id (custo=0,00..4,20 linhas=6 largura=0)
    Índice Cond: (data_de_expiração = t1.data_de_expiração) 
    EXPLAIN

    violino

    • 1

relate perguntas