Início / dba / Perguntas / 306309
Accepted
Chessbrain
Asked: 2022-01-20 17:00:31 +0800 CST

Funções SQL dinâmicas imutáveis

  • 772

Cenário 1

Basicamente, digamos que temos uma função que está usando SQL dinâmico, mas também sabemos que ela sempre retornará a mesma saída para a mesma entrada e a declarará imutável será realmente imutável? aka, o compilador/processador de consulta estará ciente desse cenário específico?

De acordo com a documentação oficial

Uma função IMMUTABLE não pode modificar o banco de dados e tem a garantia de retornar os mesmos resultados com os mesmos argumentos para sempre. Esta categoria permite ao otimizador pré-avaliar a função quando uma consulta a chama com argumentos constantes.

Por essa lógica, deve funcionar muito bem, pois se preocupa apenas com a entrada ser a mesma.

Cenário #2

O mesmo que acima, mas o tipo de entrada é anyelementou anyarray. Considerando que SQL é uma linguagem fortemente tipada (de documentos oficiais)

SQL é uma linguagem fortemente tipada. Ou seja, cada item de dados tem um tipo de dados associado que determina seu comportamento e uso permitido.

E saber que anyelementé simplesmente um pseudotipo porque na verdade durante o processamento de funções ele sabe que é (por exemplo) um inteiro ou string. Então, desse ponto de vista, não importa se uma função também aceita anyelementquando é imutável.

Gostaria de saber se o que está escrito acima é de fato o verdadeiro comportamento do PostgreSQL nessas condições. E se houver alguma diferença em comparação com funções imutáveis ​​regulares com SQL regular.

postgresql functions

1 respostas

  1. Best Answer

    Se uma função for declarada IMMUTABLE, mas o corpo contiver funções de menor volatilidade ( STABLE, VOLATILE), então a função embutida das funções SQL será desabilitada. Então, sim, o Postgres se importa com "o que está dentro".

    Existem diferenças entre funções SQL e funções com outras linguagens procedurais como PL/pgSQL. SQL dinâmico não é possível em funções SQL para começar. Relacionado:

    Mas para muitos propósitos, o Postgres está satisfeito com a volatilidade da função declarada . Por exemplo, se você criar um índice envolvendo uma função personalizada, ele deverá ser declarado IMMUTABLE. É sua responsabilidade manter essa promessa, ou o índice quebrará silenciosamente.

    Exemplo:

    Polimorfismo (usando anyelementet al.) é um conceito ortogonal. Funções polimórficas podem ter qualquer declaração de volatilidade.

    • 2

relate perguntas