t_wの輪郭
公理
系
公理系
2024/5/4 7:44:00
アームストロングの公理系
BGの公理系
公理系
アームストロングの公理系
2024/6/16 3:17:00
『データベースシステム(改訂2版)』
公理系
BGの公理系
2022/5/28 2:43:00
『論理データベース論考』