関数記号へのD上の関数の割り当て

関数記号へのD上の関数の割り当ては、n項関数記号をD^nからDへの具体的な写像として解釈する操作である。これにより、複合項をモデルの要素へ評価できる。

仕組みと確認

Dと各関数記号の次数・写像を表にし、項の評価を葉から順に計算する。データモデルでは、入力の組から出力が決まる条件、参照整合性、失敗値の表現を対応付ける。

限界と注意点

全域性・決定性・同一性保存は解釈の前提である。外部サービスや非決定的処理を関数としてモデル化する場合は、関係・確率・エラーを明示的に含める。