NÃO DEFERRÁVEL versus DEFERRÁVEL INICIALMENTE IMEDIATO

Eu li sobre a palavra-chave SQL DEFERRABLEem Database Systems - The Complete Book .

O último [NOT DEFERRABLE] é o padrão e significa que toda vez que uma instrução de modificação do banco de dados é executada, a restrição é verificada imediatamente depois, se a modificação puder violar a restrição de chave estrangeira.

No entanto, se declararmos uma restrição como DEFERRABLE , temos a opção de esperar até que uma transação seja concluída antes de verificar a restrição.

Seguimos a palavra-chave DEFERRABLE por INITIALLY DEFERRED ou INITIALLY IMMEDIATE . No primeiro caso, a verificação será adiada para pouco antes de cada confirmação de transação. Neste último caso, a verificação será feita imediatamente após cada declaração.

Como é NOT DEFERRABLEdiferente de DEFERRABLE INITIALLY IMMEDIATE? Em ambos os casos, ao que parece, todas as restrições são verificadas após cada declaração individual.

Com DEFERRABLE INITIALLY IMMEDIATEvocê pode adiar as restrições sob demanda quando precisar.

Isso é útil se você normalmente deseja verificar as restrições no momento da instrução, mas por exemplo, um carregamento em lote deseja adiar a verificação até o momento do commit.

A sintaxe de como adiar as restrições é diferente para os vários SGBDs.

Com NOT DEFERRABLEvocê, você nunca será capaz de adiar a verificação até a hora de confirmação.

Além das outras respostas (corretas), quando se fala em PostgreSQL , deve-se afirmar que:

• com NOT DEFERRABLE, cada linha é verificada no momento da inserção / atualização

• com DEFERRABLE (atualmente IMMEDIATE ) todas as linhas são verificadas no final da inserção / atualização

• com DEFERRABLE (atualmente DEFERRED ) todas as linhas são verificadas no final da transação

Portanto , não é correto dizer que uma restrição DEFERRABLE age como uma NOT DEFERRABLE quando definida como IMMEDIATE.

Vamos elaborar essa diferença:

CREATE TABLE example(
    row integer NOT NULL,
    col integer NOT NULL,
    UNIQUE (row, col) DEFERRABLE INITIALLY IMMEDIATE
);

INSERT INTO example (row, col) VALUES (1,1),(2,2),(3,3);

UPDATE example SET row = row + 1, col = col + 1;

SELECT * FROM example;

Isso resulta corretamente:

Mas se removermos a instrução DEFERRABLE INITIALLY IMMEDIATE,

ERRO: o valor da chave duplicado viola a restrição exclusiva "example_row_col_key" DETALHE: A chave ("linha", col) = (2, 2) já existe. ********** Erro **********

ERRO: o valor da chave duplicado viola a restrição exclusiva "example_row_col_key" Estado SQL: 23505 Detalhe: a chave ("linha", col) = (2, 2) já existe.

ADENDO (12 de outubro de 2017)

Este comportamento está realmente documentado aqui , seção "Compatibilidade":

Além disso, o PostgreSQL verifica as restrições de exclusividade não diferíveis imediatamente, não no final da instrução como o padrão sugere.

Além do óbvio de ser capaz de adiar, a diferença é realmente o desempenho. Se não houvesse uma penalidade de desempenho, não haveria necessidade de ter a opção de escolher diferível ou não - todas as restrições seriam simplesmente postergáveis.

A penalidade de desempenho tem a ver com otimizações que o banco de dados pode realizar dado o conhecimento de como os dados são restritos. Por exemplo, o índice criado para apoiar uma restrição exclusiva no Oracle não pode ser um índice exclusivo se a restrição for postergável, pois a permissão temporária de duplicatas deve ser permitida. No entanto, se a restrição não for postergável, o índice pode ser exclusivo.

Estou muito atrasado para a festa, mas gostaria de acrescentar que - em dezembro de 2018 - apenas dois bancos de dados que eu conheço (pode haver mais) oferecem algum nível de implementação desse recurso SQL padrão :

Database    NOT DEFERRABLE  DEFERRABLE           DEFERRABLE 
                            INITIALLY IMMEDIATE  INITIALLY DEFERRED
----------  --------------  -------------------  ------------------
Oracle      N/A *1          Yes (default)        Yes
PostgreSQL  Yes (default)   Yes                  Yes
DB2         -               -                    -
SQL Server  -               -                    -
MySQL       -               -                    -
MariaDB     -               -                    -
SAP Sybase  -               -                    -
HyperSQL    -               -                    -
H2          -               -                    -
Derby       -               -                    -

* 1 Embora o Oracle 12c aceite o NOT DEFERRABLE estado de restrição , ele realmente o ignora e o faz funcionar como DEFERRABLE INITIALLY IMMEDIATE.

Como você pode ver, o Oracle não implementa o primeiro tipo ( NOT DEFERRABLE) e é por isso que os desenvolvedores que usam o Oracle (o OP, neste caso) podem ficar confusos e considerar os primeiros dois tipos equivalentes.

Curiosamente, o Oracle e o PostgreSQL têm um tipo padrão diferente. Talvez tenha implicações de desempenho.

NOT DEFERRABLE - você não pode alterar a verificação de restrição, o oracle verifica após cada instrução (ou seja, diretamente após a instrução insert).

DEFERRABLE INITIALLY IMMEDIATE - o oracle verifica a restrição após cada instrução. MAS, você pode alterá-lo para após cada transação (ou seja, após o commit):

set constraint pk_tab1 deferred;