Não estou claro sobre o verdadeiro significado nas definições para funções IMMUTABLE, VOLATILE e STABLE.
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 ; isto é, não faz pesquisas de banco de dados ou usa informações que não estão diretamente presentes em sua lista de argumentos. Se essa opção for fornecida, qualquer chamada da função com argumentos sempre constantes poderá ser substituída imediatamente pelo valor da função.
STABLE indica que a função não pode modificar o banco de dados e, em uma única varredura de tabela, retornará consistentemente o mesmo resultado para os mesmos valores de argumento , mas que seu resultado poderá ser alterado nas instruções SQL. Essa é a seleção apropriada para funções cujos resultados dependem de pesquisas no banco de dados, variáveis de parâmetro (como o fuso horário atual), etc. (É inadequado para gatilhos AFTER que desejem consultar linhas modificadas pelo comando atual.) A família de funções current_timestamp é qualificada como estável, pois seus valores não mudam dentro de uma transação.
VOLATILE indica que o valor da função pode mudar mesmo em uma única verificação 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 impedir que as chamadas sejam otimizadas; um exemplo é setval ().
Minha confusão vem com a condição IMMUTABLE e STABLE de que a função SEMPRE ou CONSISTENTEMENTE retorne o mesmo resultado, com os mesmos argumentos.
A definição IMMUTABLE afirma que a função não pesquisa no banco de dados ou usa informações que não estão diretamente presentes 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 pareça 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 executa um SELECT em uma tabela ou tabelas que podem ser atualizadas deve ser apenas volátil.
Mas, novamente ... isso não parece certo para mim.
Trazendo isso de volta ao meu caso de uso, estou escrevendo funções que executam instruções SELECT com várias JOIN em tabelas que são constantemente incluídas, portanto, espera-se que as chamadas de função retornem resultados diferentes sempre que forem chamadas, mesmo com os mesmos argumentos .
Então, isso significa que minhas funções devem ser VOLÁTEIS? Mesmo que a documentação indique que relativamente poucas funções do banco de dados são voláteis nesse sentido ?
Obrigado!