t_wの輪郭

BG

2024/8/17 23:52:00

Bernays-Gödelの集合論『論理データベース論考』

Bernays-Gödel BG 集合論の公理体系集合論

Bernays-Gödelの集合論

2024/8/17 23:55:00

『論理データベース論考』

合併集合正則性公理空集合の公理冪集合の公理 ZF 和集合の公理対の公理外延性公理 DB論考 Bernays-Gödelの集合論

『論理データベース論考』

2024/8/17 23:40:00

https://amzn.to/4dXwPaU

あれ『論理データベース論考』が難しすぎてあきらめた T字形ER手法はaRbを関数表現として解釈しない entityはresourceとeventに分けられる T字の右辺には述語を書く