トランザクションの参照透過性と副作用 前回のポストでは、関数の参照透過性と副作用について書きました。 本ポストでは、（データベースにおける）トランザクションの参照透過性を以下のように定義する。 トランザクションのすべての作用が、トランザクショ…

概要 プログラミング言語やUDF機能を提供するシステムにおいて関数が持っていると嬉しい性質として以下の2つがある。 関数の返す値は、関数の引数に与えた値だけに依存して決まる（参照透過性がある）。 関数は、値を返す以外の作用（副作用）を行わない（副…