目录 Preface PART I SETTING THE SCENE Chapter 1 Preliminaries Some quotes from the literature A note on terminology The running example Keys The place of design theory Aims of this book Concluding remarks Exercises Chapter 2 Prerequisites Overview Relations and relvars Predicates and propositions More on suppliers and parts Exercises PART II FUNCTIONAL DEPENDENCIES, BOYCE/CODD NORMAL FORM, AND RELATED MATTERS Chapter 3 Normalization: Some Generalities Normalization serves two purposes Update anomalies The normal form hierarchy Normalization and constraints Concluding remarks Exercises Chapter 4 FDs and BCNF (Informal) First normal form Functional dependencies Keys rex, isited Second normal form Third normal form Boyce/Codd normal form Exercises Chapter 5 FDs and BCNF (Formal) Preliminary definitions Functional dependencies Boyce/Codd normal form Heaths Theorem Exercises Chapter 6 Preserving FDs An unfortunate conflict Another example ... And another ... And still another A procedure that works Identity decompositions More on the conflict Independent projections Exercises Chapter 7 FD Axiomatization Armstrongs axioms Additional rules Proving the additional rules Another kind of closure Exercises Chapter 8 Denormalization "Denormalize for performance"? What does denormalization mean? What denormalization isnt (I) What denormalization isnt (II) Denormalization considered harmful (I) Denormalization considered harmful (II) A final remark Exercises PART III JOIN DEPENDENCIES, FIFTH NORMAL FORM, AND RELATED MATTERS Chapter 9 JDs and 5NF (Informal) Join dependencies——the basic idea A relvar in BCNF and not 5NF Cyclic rules Concluding remarks Exercises Chapter 10 JDs and 5NF (Formal) Join dependencies Fifth normal form JDs implied by keys A useful theorem FDs arent JDs Update anomalies revisited Exercises Chapter 11 Implicit Dependencies Irrelevant components Combining components Irreducible JDs Summary so far The chase algorithm Concluding remarks Exercises Chapter 12 MVDs and 4NF An introductory example Multivalued dependencies (informal) Multivalued dependencies (formal) Fourth normal form Axiomatization Embedded dependencies Exercises Chapter 13 Additional Normal Forms Equality dependencies Sixth normal form Superkey normal form Redundancy free normal form Domain-key normal form Concluding remarks Exercises PART IV ORTHOGONALITY Chapter 14 The Principle of Orthogonal Design Two cheers for normalization A motivating example A simpler example Tuples vs. propositions The firstexample revisited The second example revisited The final version A clarification Concluding remarks Exercises PART V REDUNDANCY Chapter 15 We Need More Science A little history Database design is predicate design Example 1 Example 2 Example 3 Example 4 Example 5 Example 6 Example 7 Example 8 Example 9 Example 10 Example 11 Example 12 Managing redundancy Refining the definition Concluding remarks Exercises APPENDIXES Appendix A Primary Keys Are Nice but Not Essential Arguments in favor of the PK:AK distinction Relvars with more than one key The invoices and shipments example One primary key per entity type? The applicants and employees example Concluding remarks Appendix B Redundancy Revisited Appendix C Historical Notes Appendix D Answers to Exercises Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 Chapter 13 Chapter 14 Chapter 15 Index
以下为对购买帮助不大的评价