正版 数据库设计与关系理论 C. J. Date著 东南大学出版社 978756

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

是什么让这本书从数据库设计的相关书籍中脱颖而出？很多讨论设计实践的书籍很少讲解内在理论知识，而讨论设计理论的书籍却又主要针对理论工作者。在戴特（Data,C.J.）所著的《数据库设计与关系理论(影印版)》中，有名专家C．J．Date以从业者可以理解的方式来讲解设计理论，弥补了前述的不足。该书以作者四十多年的经验教训总结而成，阐述了为什么恰当的设计在初始阶段如此重要。

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

戴特（Data,C.J.）所著的《数据库设计与关系理论(影印版)》回答了如下问题：为什么Heath定理如此重要？什么是正交设计原则为什么有些联合检测可以规约而另一些不行？依赖保持性有什么作用？需要总是避免数据冗余吗？可能吗？本书为你展示了如何使用重要的理论知识来创建良好的数据库设计。