book

Database Design and Relational Theory

by C.J. Date

April 2012

Intermediate to advanced

274 pages

8h 55m

English

O'Reilly Media, Inc.

Read now

Unlock full access

PrerequisitesLogical vs. Physical DesignAcknowledgments
SOME QUOTES FROM THE LITERATUREA NOTE ON TERMINOLOGYTHE RUNNING EXAMPLEKEYSTHE PLACE OF DESIGN THEORYAIMS OF THIS BOOKCONCLUDING REMARKSEXERCISES
OVERVIEWRELATIONS AND RELVARSPREDICATES AND PROPOSITIONSMORE ON SUPPLIERS AND PARTSEXERCISES
NORMALIZATION SERVES TWO PURPOSESUPDATE ANOMALIESTHE NORMAL FORM HIERARCHYNORMALIZATION AND CONSTRAINTSCONCLUDING REMARKSEXERCISES
FIRST NORMAL FORMFUNCTIONAL DEPENDENCIESKEYS REVISITEDSECOND NORMAL FORMTHIRD NORMAL FORMBOYCE/CODD NORMAL FORMEXERCISES
PRELIMINARY DEFINITIONSFUNCTIONAL DEPENDENCIESBOYCE/CODD NORMAL FORMHEATH’S THEOREMEXERCISES

AN UNFORTUNATE CONFLICTANOTHER EXAMPLE... AND ANOTHER... AND STILL ANOTHERA PROCEDURE THAT WORKSIDENTITY DECOMPOSITIONSMORE ON THE CONFLICTINDEPENDENT PROJECTIONSEXERCISES
ARMSTRONG’S AXIOMSADDITIONAL RULESPROVING THE ADDITIONAL RULESANOTHER KIND OF CLOSUREEXERCISES
“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 REMARKEXERCISES
JOIN DEPENDENCIES—THE BASIC IDEAA RELVAR IN BCNF AND NOT 5NFCYCLIC RULESCONCLUDING REMARKSEXERCISES
JOIN DEPENDENCIESFIFTH NORMAL FORMJDs IMPLIED BY KEYSA USEFUL THEOREMFDs AREN’T JDsUPDATE ANOMALIES REVISITEDEXERCISES
IRRELEVANT COMPONENTSCOMBINING COMPONENTSIRREDUCIBLE JDsSUMMARY SO FARTHE CHASE ALGORITHMCONCLUDING REMARKSEXERCISES
AN INTRODUCTORY EXAMPLEMULTIVALUED DEPENDENCIES (INFORMAL)MULTIVALUED DEPENDENCIES (FORMAL)FOURTH NORMAL FORMAXIOMATIZATIONEMBEDDED DEPENDENCIESEXERCISES
EQUALITY DEPENDENCIESSIXTH NORMAL FORMSUPERKEY NORMAL FORMREDUNDANCY FREE NORMAL FORMDOMAIN-KEY NORMAL FORMCONCLUDING REMARKSElementary key normal form (EKNF)Overstrong PJ/NF“Restriction-union” normal formEXERCISES
TWO CHEERS FOR NORMALIZATIONA MOTIVATING EXAMPLEA SIMPLER EXAMPLETUPLES vs. PROPOSITIONSTHE FIRST EXAMPLE REVISITEDTHE SECOND EXAMPLE REVISITEDTHE FINAL VERSIONA CLARIFICATIONCONCLUDING REMARKSEXERCISES
A LITTLE HISTORYDATABASE DESIGN IS PREDICATE DESIGNEXAMPLE 1EXAMPLE 2EXAMPLE 3EXAMPLE 4EXAMPLE 5EXAMPLE 6EXAMPLE 7EXAMPLE 8EXAMPLE 9EXAMPLE 10EXAMPLE 11EXAMPLE 12MANAGING REDUNDANCY1. Raw Design Only2. Declare the Constraint3. Use a View4. Use a SnapshotREFINING THE DEFINITIONExamples 1-2Example 3Example 4Example 5Example 6Example 7Example 8Example 9Example 10Example 11Example 12CONCLUDING REMARKSEXERCISES
ARGUMENTS IN DEFENSE OF THE PK:AK DISTINCTIONRELVARS WITH MORE THAN ONE KEYTHE INVOICES AND SHIPMENTS EXAMPLEONE PRIMARY KEY PER ENTITY TYPE?THE APPLICANTS AND EMPLOYEES EXAMPLECONCLUDING REMARKS
CHAPTER 1CHAPTER 2CHAPTER 3CHAPTER 4CHAPTER 5CHAPTER 6CHAPTER 7CHAPTER 8CHAPTER 9CHAPTER 10CHAPTER 11CHAPTER 12CHAPTER 13CHAPTER 14CHAPTER 15

Content preview from Database Design and Relational Theory

Part II. FUNCTIONAL DEPENDENCIES, BOYCE/CODD NORMAL FORM, AND RELATED MATTERS

Although normal forms as such aren’t the whole of design theory, it’s undeniable that they’re a very large part of that theory, and they form the principal topic of Parts II and III of this book. The present part takes the story as far as Boyce/Codd normal form (BCNF), which is “the” normal form with respect to functional dependencies (FDs).

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Start your free trial

Database Design for Mere Mortals™: A Hands-On Guide to Relational Database Design, Second Edition

Michael J. Hernandez

Database Design for Mere Mortals®: A Hands-on Guide to Relational Database Design, Third Edition

Michael J. Hernandez

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

C. J. Date

SQL and Relational Theory, 3rd Edition

C.J. Date

Publisher Resources

ISBN: 9781449330187Errata Page