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