ch7 关系数据库设计理论.ppt

Chapter 7 Relational Database Design;Relational Database Design;First Normal Form;example;Pitfalls in Relational Database Design;Decomposition（分解）;Example of Non Lossless-Join Decomposition ;Goal — Devise（设计出） a Theory for the Following;Functional Dependencies;Functional Dependencies;Functional Dependencies (Cont.);Functional Dependencies (Cont.);Functional Dependencies (Cont.);Functional Dependencies (Cont.);Functional Dependencies (Cont.);Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Example of Attribute Set Closure;Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Closure of a Set of Functional Dependencies;Example;Closure of Functional Dependencies (Cont.);Canonical Cover（正则覆盖）;Extraneous Attributes无关属性;Canonical Cover;Example of Computing a Canonical Cover;Normalization Using Functional Dependencies;Lossless-join decomposition;Example;Testing for Dependency Preservation;Boyce-Codd Normal Form;Boyce-Codd Normal Form;Example;Example of BCNF Decomposition;Example of BCNF Decomposition;Example of BCNF Decomposition;Example of BCNF Decomposition;Example of BCNF Decomposition;BCNF and Dependency Preservation;Third Normal Form: Motivation动机;Third Normal Form;3NF (Cont.);3NF (Cont.);Testing for 3NF;Example;Applying 3NF to Banker-info-schema;Comparison of BCNF and 3NF;Comparison of BCNF and 3NF (Cont.);Design Goals;Testing for FDs Across Relations;Testing for FDs Across Relations;Multivalued Dependencies;course;Multivalued Dependencies;Therefore, it is better to decompose classes into:;Multivalued Dependencies (MVDs);Multivalued Dependencies (MVDs);Example;Example (Cont.);Use of Multivalued Dependencies;Fourth Normal Form;Example;Overall（总的） Database Design