自然言語の意味から連想を使う意味論
- 曖昧意味論
- 雰囲気意味論
- 連想意味論
- 暗示意味論
どれでもいいが「暗示意味論」を使って、適当に修飾することにする。
- 曖昧暗示意味論
- 雰囲気暗示意味論
使える名前は
- テーブル名
- カラム名
テーブル名は、変化する部分集合または変化する関係に付けられる名前で、カラム名は、テーブルの脚になる射影に付けられる名前。射影は番号でも指定できるので、カラム名は番号と等価。番号とカラム名が違うのは、カラム名は暗示意味論に使える。
暗示意味論は説明として有効だが、暗示意味論を形式意味論の代わりには使えない。暗示意味論だけで形式意味論がまったく欠如しているのが問題。