2005-02-08 データベース 進捗 3日目 反射律 BがAの部分集合ならA→B 増加律 A→BならA∪C→B∪C 推移律 A→BかつB→CならA→C 合併律 A→BかつA→CならA→B∪C 擬推移律 A→BかつB∪C→DならA∪C→D 分解律 A→B∪CならA→BかつA→C