【PostgreSQL】関数のimmutableにて固定値が返却されない

Question

前提

　現在、Postgresqlを利用して開発をしています。元々関数内にて、SELECT文などの可変する処理を入れていたので"STABLE"を利用していました。高速化を行っている最中に可変の"STABLE"から不変の"IMMUTABLE"に変更したところ、オプティマイザが良くなりました。
不変だからSELECT対象が変化しても、返却された値が固定値なので使えないと思っていたのですが、実行するたびに返却する値が変化しました。

質問内容

IMMUTABLEにて引数が同じ場合でも、返却する値は固定にならないのでしょうか？

該当のソースコード

取り合えず、サンプル用にrandomを利用した関数を張っております。不変であれば、通常返却する値は変化しないはず・・・
(手入力なので間違えているかも・・・)

CREATE OR REPLACE FUNCTION F_TEST(value int)
RETURNS INT AS '
 BEGIN
  RETURN ROUND((RANDOM() * (1 - 100))::NUMERIC, 0) + 100 + value;
 END 
' IMMUTABLE LANGUAGE plpgsql;

↓実行用SQL

SELECT F_TEST(1);

補足情報（FW/ツールのバージョンなど）

postgresql 12.2

Answer 1

高速化を行っている最中に可変の"STABLE"から不変の"IMMUTABLE"に変更したところ、オプティマイザが良くなりました。

書いたとおりに「何度四でも同じ結果が返る関数」と解釈され、結果が正しくならない可能性があります。

実行するたびに返却する値が変化しました。

REPLで呼ぶような「計画作成を行い、すぐに実行されるような単一の対話式問い合わせを考えた場合、相対的にSTABLE区分とIMMUTABLE区分との違いはあまりありません。」とのことです（Postgres 9.3リファレンス）。

---

もっとも、RANDOM関数はVOLATILEなので、少なくとも理屈の上ではVOLATILEと書かないといけない状況です。

Comments

[kirissaki]

ご回答有難う御座います。

サンプルとしてRANDOM関数を記述したのですが、実際に私がやりたいことは関数内にSELECT文で実行するタイミング毎に値を変化させたいので、IMMUTABLEではなくSTABLEのままで行おうかと思います。

迅速な回答有難う御座いました。