t_wの輪郭
クラス
論理
クラス論理
2024/5/5 6:49:00
『論理データベース論考』
外延
周延
内包
合併集合
正則性公理
空集合の公理
冪集合の公理
ZF
和集合の公理
対の公理
外延性公理
DB論考
Bernays-Gödelの集合論
『論理データベース論考』
2024/8/17 23:40:00
https://amzn.to/4dXwPaU
あれ
『論理データベース論考』が難しすぎてあきらめた
T字形ER手法はaRbを関数表現として解釈しない
entityはresourceとeventに分けられる
T字の左辺には主語を書く
あれ
外延
2024/5/5 6:50:00
あれ
クラス論理
周延
2024/5/5 6:50:00
あれ
クラス論理
内包
2024/5/5 6:50:00
内包の公理