データベース工学 第６回 （Database Engineering).pptVIP

データベース工学 第６回（Database Engineering) 本日の範囲：教科書第４章 第４章リレーショナルデータベースの設計理論（２）リレーションの正規化理論 正規化理論　リレーショナルデータベースの設計理論 更新時異状第１正規形だけでは不十分 情報無損失分解 多値従属性（前回学習）という一貫性制約情報無損失分解のための必要十分条件関数従属性の一般化、第４正規形 関数従属性（今回学習）第２正規形、第３正規形、ボイスコッド正規形 第４章リレーショナルデータベースの設計理論（２）リレーションの正規化理論 関数従属性 定義１　多値従属性は関数従属性の拡張 定義１リレーションＲ（Ａ１，Ａ２，???，Ａｌ，Ｂ１，Ｂ２，???，Ｂｍ，Ｃ１，Ｃ２，???，Ｃｎ）に関数従属性（functional dependency, FD) Ａ１Ａ２???Ａｌ→Ｂ１Ｂ２???Ｂｍが存在するとは次の条件が成立するときRをＲの任意のインスタンスとするとき（?ｔ，ｔ’ ∈R）（ｔ［Ａ１，Ａ２，???，Ａｌ］　　　　　　　　　　＝ｔ’［Ａ１，Ａ２，???，Ａｌ］?ｔ［Ｂ１，Ｂ２，???，Ｂｍ］　　　　　　　　　　＝ｔ’［Ｂ１，Ｂ２，???，Ｂｍ］ 第４章リレーショナルデータベースの設計理論（２）リレーションの正規化理論 関数従属性　Ａ１Ａ２???