数据库设计与关系理论（影印版）

　　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
　　Heath's 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
　　Armstrong's axioms
　　Additional rules
　　Proving the additional rules
　　Another kind of closure
　　Exercises
　　Chapter 8 Denormalization
　　"Denormalize for performance"?
　　What does denormalization mean?
　　What denormalization isn't （I）
　　What denormalization isn't （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 aren't 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

　　《数据库设计与关系理论（影印版）》的每一章都包含一组练习，它或者展示了如何把理论知识应用到实践中，或者提供了更多的信息，或者要求你验证一些简单的理论结果。如果你非常熟悉数据库的关系模式，并且你希望深入了解数据库设计，那么这本书就完全适合你。