本データ設計論理データベースT字型ER手法クルト・ゲーデルT字型ER手法の作図ルールaRbevent : eventresource : eventresource : resourceコード体系クラス論理意味の対象説entityはresourceとeventに分けられる在庫はentityではない「entityは管理したいモノ」というのは正確ではないT字型ER手法のentityは名辞ヒルベルトのプログラムデータベースルートヴィヒ・ウィトゲンシュタインT字の右辺には述語を書く命題論理学記号論理学『論理哲学論考』排中律『哲学探究』T字の左辺には主語を書く第一階述語論理言語ゲーム写像理論BGの公理系ウィトゲンシュタインは『探求』で1対1対応を否定した単項述語論理『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』言語ゲームは意味の使用説を提示した概念述語論理entityはidentifierを付与されたモノチューリングT字形ER手法はaRbを関数表現として解釈しない関係の論理真理関数仮言命題多項述語論理「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」
『論理データベース論考』
2024/6/1 16:26:00