t_wの輪郭
関係
論理
aRb
関係の論理
2022/5/28 2:43:00
『論理データベース論考』
aRb
本
データベース
述語論理
aRb
ZF
T字型ER手法
集合論
集合論の公理体系
クルト・ゲーデル
『哲学探究』
『論理データベース論考』
2024/8/17 23:40:00
https://amzn.to/4dXwPaU
あれ
『論理データベース論考』が難しすぎてあきらめた
T字形ER手法はaRbを関数表現として解釈しない
entityはresourceとeventに分けられる
T字の右辺には述語を書く
T字の左辺には主語を書く
entityはidentifierを付与されたモノ
在庫はentityではない
「entityは管理したいモノ」というのは正確ではない
T字型ER手法のentityは名辞
チューリング
ルートヴィヒ・ウィトゲンシュタイン
『論理哲学論考』
述語論理
関係
関係の論理
aRb
2024/6/1 6:47:00
「aはbに対してRの関係にある」を表す表現。
あれ
『論理データベース論考』
HTMLをaRbで表現
表をaRbに分解する
「aからbに置き換えられる」という関係によって諸相を表す
輪郭はaRbのaであり、Rであり、bである
あれ
aRbの固定長ベクトル表現の加減算
aRはaとRの集合に属する
あれ
RDBのテーブルをaRbとみなす
あれ
bはaRの集合に属する
aはRbの集合に属する
aRx
xRb
あれ
aRbの固定長ベクトル表現
あれ
輪郭{a}{R}{b}に輪郭{aRb}を引き入れる