t_wの輪郭
データ
設計
データ設計
2022/4/21 23:03:00
『論理データベース論考』
本
データ設計
論理データベース
T字型ER手法
クルト・ゲーデル
T字型ER手法の作図ルール
aRb
event : event
resource : event
resource : 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
https://amzn.to/4dXwPaU
あれ
『哲学探究』
ルートヴィヒ・ウィトゲンシュタイン
『論理哲学論考』
T字型ER手法のentityは名辞
「entityは管理したいモノ」というのは正確ではない
在庫はentityではない
T字の左辺には主語を書く
T字の右辺には述語を書く
entityはresourceとeventに分けられる
『論理データベース論考』が難しすぎてあきらめた
述語論理
チューリング
entityはidentifierを付与されたモノ
T字形ER手法はaRbを関数表現として解釈しない