PostgreSQL: overflow minimo durante la creazione dell'indice su più colonne. è un insetto?

Question

Si è verificato un problema durante l'inserimento del valore 32767 in una colonna smallint in Postgres, che avrebbe restituito l'errore smallint nell'intervallo. Questo era strano perché potevo fare:

SELECT 32767::int2; 

Quale funzionerebbe bene. Dopo aver tirato un po 'di capelli, ho finalmente rintracciato questo in un indice sulla colonna in questione. In primo luogo, ecco lo schema (Beh, non proprio, ma ho semplificato questo fino a un caso repro):

CREATE TABLE Test 
(
    id uuid NOT NULL, 
    cooktime smallint, 
    preptime smallint, 
    CONSTRAINT test_pkey PRIMARY KEY (id) 
) 
WITH (
    OIDS=FALSE 
); 

ora creare il seguente indice:

CREATE INDEX idx_test_totaltime 
    ON Test 
    USING btree 
    ((cooktime + preptime)); 

Avanti, cerco di creare la seguente riga:

INSERT INTO Test (CookTime, PrepTime, Id) 
VALUES (
    (32767)::int2, 
    (10)::int2, 
    (E'fd47dc1e-c3c6-42c1-b058-689e926a72a4')::uuid 
); 

ottengo l'errore:

ERROR: smallint out of range SQL state: 22003

Sembra che idx_test_totaltime si aspetti un valore massimo di int2, anche se l'indice viene applicato sulla somma di due piccoli valori.

Si tratta di un bug Postgres o mi manca qualcosa di semplice? C'è un modo per ovviare a questa limitazione oppure dovrei rendere queste colonne int4 e utilizzare un vincolo CHECK per limitare ogni valore a 32767? Sto usando Postgres 9.0.0 (Sì, ho bisogno di aggiornamento!), Ma ho creato un SQL Fiddle che dimostra questo errore su 9.1.4.

Answer 1

tuo problema è che è un altro int2 + int2int2 quindi l'espressione nell'indice, (cooktime + preptime), trabocca per (32767, 10). È possibile aggirare questo problema con un po 'di fusione nella espressione di indice:

CREATE INDEX idx_test_totaltime 
    ON Test 
    USING btree 
    ((cooktime::int4 + preptime::int4)); 

è necessario solo uno dei calchi, ma utilizzando sia non fa male.

Answer 2

Perché non si utilizza uno INTERVAL per un intervallo di tempo? È una soluzione perfetta per il tuo problema.