Não estou claro sobre o verdadeiro significado nas definições para funções IMUTÁVEIS, VOLÁTEIS e ESTÁVEIS.
Eu li a documentação, especificamente as definições de cada um.
IMMUTABLE indica que a função não pode modificar o banco de dados e sempre retorna o mesmo resultado quando recebe os mesmos valores de argumento ; ou seja, ele não faz pesquisas de banco de dados ou usa informações não presentes diretamente em sua lista de argumentos. Se esta opção for fornecida, qualquer chamada da função com argumentos constantes pode ser imediatamente substituída pelo valor da função.
STABLE indica que a função não pode modificar o banco de dados e que, em uma única varredura de tabela, ela retornará consistentemente o mesmo resultado para os mesmos valores de argumento , mas que seu resultado pode ser alterado nas instruções SQL. Esta é a seleção apropriada para funções cujos resultados dependem de pesquisas de banco de dados, variáveis de parâmetro (como o fuso horário atual), etc. A família de funções current_timestamp se qualifica como estável, pois seus valores não mudam em uma transação.
VOLATILE indica que o valor da função pode ser alterado mesmo em uma única varredura de tabela, portanto, nenhuma otimização pode ser feita. Relativamente poucas funções de banco de dados são voláteis nesse sentido; alguns exemplos são random(), currval(), timeofday(). Mas observe que qualquer função que tenha efeitos colaterais deve ser classificada como volátil, mesmo que seu resultado seja bastante previsível, para evitar que as chamadas sejam otimizadas; um exemplo é setval().
Minha confusão vem com a condição para IMMUTABLE e STABLE que a função ALWAYS ou CONSISTENTLY retorna o mesmo resultado com os mesmos argumentos.
A definição IMMUTABLE afirma que a função não faz pesquisas de banco de dados ou usa informações não presentes diretamente em sua lista de argumentos. Então, para mim, isso significa que essas funções são usadas para manipular dados fornecidos pelo cliente e não devem ter instruções SELECT... embora isso soe um pouco estranho para mim.
Com STABLE, a definição é semelhante, pois diz que deve retornar consistentemente o mesmo resultado. Então, para mim, isso significa que toda vez que a função é chamada com os mesmos argumentos, ela deve retornar os mesmos resultados (mesmas linhas exatas, todas as vezes).
Então, para mim... isso significa que qualquer função que execute um SELECT em uma tabela ou tabelas que possam ser atualizadas, deve ser apenas volátil.
Mas, novamente... isso não soa bem para mim.
Trazendo isso de volta ao meu caso de uso, estou escrevendo funções que executam instruções SELECT com vários JOINs em tabelas que são constantemente adicionadas, portanto, espera-se que as chamadas de função retornem resultados diferentes cada vez que são chamadas, mesmo com os mesmos argumentos .
Então, isso significa que minhas funções devem ser VOLÁTEIS? Mesmo que a documentação indique relativamente poucas funções de banco de dados são voláteis nesse sentido ?
Obrigada!
IMMUTABLE
deve ser uma função pura , cujos resultados dependem apenas de suas entradas. Este é um requisito muito rigoroso; eles não podem chamar outras funções não imutáveis, eles não podem acessar tabelas, eles não podem acessar o valor das propriedades de configuração, etc.STABLE
pode usar quaisquer entradas que sejam elas mesmasSTABLE
: outrasSTABLE
ouIMMUTABLE
funções, eSELECT
consultas de tabelas. É seguro consultar tabelas porque a visualização da função dessas tabelas não será alterada no instantâneo atual da consulta. Você pode acessar os valores GUC (current_setting(...)
) contanto que saiba que eles também não serão atribuídos na instrução atual.VOLATILE
funções são tudo o que não se encaixa no acima:Em geral, deixe tudo
VOLATILE
, a menos que tenha uma boa razão para não fazê-lo.A principal razão para usar
IMMUTABLE
é ao escrever funções que devem ser usadas como parte de expressões de índice.Para STABLE, a parte que você precisa em negrito é 'o resultado pode mudar nas instruções SQL'
Coisas IMUTÁVEIS não devem mudar nunca. Mesmo que você reinicie seu servidor de banco de dados, execute
yum update
(mas é claro que pode haver bugs!), altere sua configuração (comodatestyle
,timezone
,default_text_search_config
,extra_float_digits
etc.) os arquivos binários ainda são compatíveis).As funções que você descreve soam como STABLE, porque dentro de uma única instrução SQL elas executarão suas consultas usando o mesmo instantâneo que a consulta externa tem e, portanto, quaisquer alterações simultâneas feitas nessas outras tabelas não seriam visíveis. Agora, se suas funções abrissem uma nova conexão com o servidor e executassem suas consultas dentro dessa conexão independente, isso tornaria a função volátil, porque elas estariam usando snapshots diferentes.