t_wの輪郭

内包の公理

2024/8/17 23:44:00

分出公理『論理データベース論考』

ZF 内包の公理 axiom of separation 分出公理的集合論

分出公理

2024/8/17 23:42:00

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

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

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

2024/8/17 23:40:00

https://amzn.to/4dXwPaU

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