Database Design and Relational Theory: Normal Forms and All That Jazz

by Chris Date

Overview

What makes this book different from others on database design? Many resources on design practice do little to explain the underlying theory, and books on design theory are aimed primarily at theoreticians. In this book, renowned expert Chris Date bridges the gap by introducing design theory in ways practitioners can understand—drawing on lessons learned over four decades of experience to demonstrate why proper database design is so critical in the first place.

Every chapter includes a set of exercises that show how to apply the theoretical ideas in practice, provide additional information, or ask you to prove some simple theoretical result. If you’re a database professional familiar with the relational model, and have more than a passing interest in database design, this book is for you.

Questions this book answers include:

• Why is Heath’s Theorem so important?
• What is The Principle of Orthogonal Design?
• What makes some JDs reducible and others irreducible?
• Why does dependency preservation matter?
• Should data redundancy always be avoided? Can it be?

Databases often stay in production for decades, and careful design is critical for avoiding subtle errors and processing problems over time. If they’re badly designed, the negative impacts can be incredibly widespread. This gentle introduction shows you how to use important theoretical results to create good database designs.

Product Details

ISBN-13:	9781449328016
Publisher:	O'Reilly Media, Incorporated
Publication date:	04/24/2012
Pages:	274
Product dimensions:	6.90(w) x 9.10(h) x 0.80(d)

About the Author

C.J. Date has a stature that is unique within the database industry. C.J. is a prolific writer, and is well-known for his best-selling textbook: An Introduction to Database Systems (Addison Wesley). C.J. is an exceptionally clear-thinking writer who can lay out principles and theory in a way easily understood by his audience.

Table of Contents

Dedication;
Preface;
;
SETTING THE SCENE;
Chapter 1: Preliminaries;
1.1 SOME QUOTES FROM THE LITERATURE;
1.2 A NOTE ON TERMINOLOGY;
1.3 THE RUNNING EXAMPLE;
1.4 KEYS;
1.5 THE PLACE OF DESIGN THEORY;
1.6 AIMS OF THIS BOOK;
1.7 CONCLUDING REMARKS;
1.8 EXERCISES;
Chapter 2: Prerequisites;
2.1 OVERVIEW;
2.2 RELATIONS AND RELVARS;
2.3 PREDICATES AND PROPOSITIONS;
2.4 MORE ON SUPPLIERS AND PARTS;
2.5 EXERCISES;
FUNCTIONAL DEPENDENCIES, BOYCE/CODD NORMAL FORM, AND RELATED MATTERS;
Chapter 3: Normalization: Some Generalities;
3.1 NORMALIZATION SERVES TWO PURPOSES;
3.2 UPDATE ANOMALIES;
3.3 THE NORMAL FORM HIERARCHY;
3.4 NORMALIZATION AND CONSTRAINTS;
3.5 CONCLUDING REMARKS;
3.6 EXERCISES;
Chapter 4: FDs and BCNF (Informal);
4.1 FIRST NORMAL FORM;
4.2 FUNCTIONAL DEPENDENCIES;
4.3 KEYS REVISITED;
4.4 SECOND NORMAL FORM;
4.5 THIRD NORMAL FORM;
4.6 BOYCE/CODD NORMAL FORM;
4.7 EXERCISES;
Chapter 5: FDs and BCNF (Formal);
5.1 PRELIMINARY DEFINITIONS;
5.2 FUNCTIONAL DEPENDENCIES;
5.3 BOYCE/CODD NORMAL FORM;
5.4 HEATH’S THEOREM;
5.5 EXERCISES;
Chapter 6: Preserving FDs;
6.1 AN UNFORTUNATE CONFLICT;
6.2 ANOTHER EXAMPLE;
6.3 ... AND ANOTHER;
6.4 ... AND STILL ANOTHER;
6.5 A PROCEDURE THAT WORKS;
6.6 IDENTITY DECOMPOSITIONS;
6.7 MORE ON THE CONFLICT;
6.8 INDEPENDENT PROJECTIONS;
6.9 EXERCISES;
Chapter 7: FD Axiomatization;
7.1 ARMSTRONG’S AXIOMS;
7.2 ADDITIONAL RULES;
7.3 PROVING THE ADDITIONAL RULES;
7.4 ANOTHER KIND OF CLOSURE;
7.5 EXERCISES;
Chapter 8: Denormalization;
8.1 “DENORMALIZE FOR PERFORMANCE”?;
8.2 WHAT DOES DENORMALIZATION MEAN?;
8.3 WHAT DENORMALIZATION ISN’T (I);
8.4 WHAT DENORMALIZATION ISN’T (II);
8.5 DENORMALIZATION CONSIDERED HARMFUL (I);
8.6 DENORMALIZATION CONSIDERED HARMFUL (II);
8.7 A FINAL REMARK;
8.8 EXERCISES;
JOIN DEPENDENCIES, FIFTH NORMAL FORM, AND RELATED MATTERS;
Chapter 9: JDs and 5NF (Informal);
9.1 JOIN DEPENDENCIES—THE BASIC IDEA;
9.2 A RELVAR IN BCNF AND NOT 5NF;
9.3 CYCLIC RULES;
9.4 CONCLUDING REMARKS;
9.5 EXERCISES;
Chapter 10: JDs and 5NF (Formal);
10.1 JOIN DEPENDENCIES;
10.2 FIFTH NORMAL FORM;
10.3 JDs IMPLIED BY KEYS;
10.4 A USEFUL THEOREM;
10.5 FDs AREN’T JDs;
10.6 UPDATE ANOMALIES REVISITED;
10.7 EXERCISES;
Chapter 11: Implicit Dependencies;
11.1 IRRELEVANT COMPONENTS;
11.2 COMBINING COMPONENTS;
11.3 IRREDUCIBLE JDs;
11.4 SUMMARY SO FAR;
11.5 THE CHASE ALGORITHM;
11.6 CONCLUDING REMARKS;
11.7 EXERCISES;
Chapter 12: MVDs and 4NF;
12.1 AN INTRODUCTORY EXAMPLE;
12.2 MULTIVALUED DEPENDENCIES (INFORMAL);
12.3 MULTIVALUED DEPENDENCIES (FORMAL);
12.4 FOURTH NORMAL FORM;
12.5 AXIOMATIZATION;
12.6 EMBEDDED DEPENDENCIES;
12.7 EXERCISES;
Chapter 13: Additional Normal Forms;
13.1 EQUALITY DEPENDENCIES;
13.2 SIXTH NORMAL FORM;
13.3 SUPERKEY NORMAL FORM;
13.4 REDUNDANCY FREE NORMAL FORM;
13.5 DOMAIN-KEY NORMAL FORM;
13.6 CONCLUDING REMARKS;
13.7 EXERCISES;
ORTHOGONALITY;
Chapter 14: The Principle of Orthogonal Design;
14.1 TWO CHEERS FOR NORMALIZATION;
14.2 A MOTIVATING EXAMPLE;
14.3 A SIMPLER EXAMPLE;
14.4 TUPLES vs. PROPOSITIONS;
14.5 THE FIRST EXAMPLE REVISITED;
14.6 THE SECOND EXAMPLE REVISITED;
14.7 THE FINAL VERSION;
14.8 A CLARIFICATION;
14.9 CONCLUDING REMARKS;
14.10 EXERCISES;
REDUNDANCY;
Chapter 15: We Need More Science;
15.1 A LITTLE HISTORY;
15.2 DATABASE DESIGN IS PREDICATE DESIGN;
15.3 EXAMPLE 1;
15.4 EXAMPLE 2;
15.5 EXAMPLE 3;
15.6 EXAMPLE 4;
15.7 EXAMPLE 5;
15.8 EXAMPLE 6;
15.9 EXAMPLE 7;
15.10 EXAMPLE 8;
15.11 EXAMPLE 9;
15.12 EXAMPLE 10;
15.13 EXAMPLE 11;
15.14 EXAMPLE 12;
15.15 MANAGING REDUNDANCY;
15.16 REFINING THE DEFINITION;
15.17 CONCLUDING REMARKS;
15.18 EXERCISES;
APPENDIXES;
Primary Keys Are Nice but Not Essential;
ARGUMENTS IN DEFENSE 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;
Redundancy Revisited;
Historical Notes;
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;