Início / dba / Perguntas / 209562
Accepted
KadekM
Asked: 2018-06-14 07:27:08 +0800 CST

Garantias de execução do Postgres CTE, inlining

  • 772

A seguinte consulta com função não determinística produz duas mesmas linhas - o CTE é calculado e reutilizado.

WITH foo AS (SELECT uuid_generate_v4() AS id)
SELECT id FROM foo
UNION ALL
SELECT id FROM foo

| id 
| 741f4f69-416b-4b4c-9226-559527f4a84e
| 741f4f69-416b-4b4c-9226-559527f4a84e

Essa execução é garantida? O postgres pode decidir inline-lo para

SELECT id FROM (SELECT uuid_generate_v4() AS id) t
UNION ALL
SELECT id FROM (SELECT uuid_generate_v4() AS id) t

| id 
| 262f0006-b4d5-440a-a86a-d79cd2684458
| c24b5835-9c5c-4d6f-b649-8e510129015b

que produz dois ids diferentes (e, portanto, resultados diferentes)?

O que o padrão SQL especifica? O Postgres oferece alguma garantia adicional? Se não for garantido, qual é a maneira padrão de reutilizar a instrução que depende de procedimentos não determinísticos?

sql-standard postgresql

2 respostas

  1. Sim, esta execução garantida. O Postgres não irá inline-lo da maneira que você mencionou.

    Uma propriedade útil das consultas WITH é que elas são avaliadas apenas uma vez por execução da consulta pai, mesmo que sejam referidas mais de uma vez pela consulta pai ou pelas consultas irmãs WITH. Assim, cálculos caros que são necessários em vários locais podem ser colocados em uma consulta WITH para evitar trabalho redundante. Outra aplicação possível é evitar múltiplas avaliações indesejadas de funções com efeitos colaterais. (do documento Postgres

    • 4
  2. Best Answer

    O padrão SQL não define o comportamento nesses casos, ficando a cargo da implementação de servidores SQL. Ele (rascunho de 2013 de qualquer maneira) diz, em particular, na seção 7.6 <referência da tabela>

    25) Um <nome da consulta> é possivelmente não determinístico se a <expressão de consulta> identificada pelo <nome da consulta> for possivelmente não determinística.

    onde <nome da consulta> é o que é definido pela WITHcláusula, enquanto em 4.22 Determinismo menciona:

    Reconhecer que uma operação é determinística é uma tarefa difícil, em geral não é exigida por esta Norma Internacional.[...] Para outras operações, esta Norma Internacional não rotula uma operação como determinística; em vez disso, identifica certas operações como “possivelmente não determinísticas”. Definições específicas podem ser encontradas em outras subcláusulas relativas a <expressão de valor>, <referência de tabela>, <tabela primária>, <especificação de consulta>, <expressão de consulta> e <instrução de procedimento SQL>.

    Seção 4.15.8 A análise sintática de tabelas derivadas e cursores pode ser interpretada para significar que cada referência a uuid_generate_v4()no seu caso produzirá um nó distinto na árvore sintática. Se o otimizador de um determinado DBMS escolhe honrar sua natureza não determinística e executar a função duas vezes é específico da implementação.

    • 3

relate perguntas