数据库设计与关系理论

图书标准信息

• 作者 [英]戴特 著
• 出版社 东南大学出版社
• 出版时间 2013-01
• 版次 1
• ISBN 9787564138905
• 定价 49.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 260页
• 字数 338千字
• 正文语种 英语

【内容简介】

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

【目录】

Preface
PARTISETTINGTHESCENE
Chapter1Preliminaries
Somequotesfromtheliterature
Anoteonterminology
Therunningexample
Keys
Theplaceofdesigntheory
Aimsofthisbook
Concludingremarks
Exercises

Chapter2Prerequisites
Overview
Relationsandrelvars
Predicatesandpropositions
Moreonsuppliersandparts
Exercises
PARTIIFUNCTIONALDEPENDENCIES，BOYCE/CODDNORMALFORM，
ANDRELATEDMATTERS

Chapter3Normalization：SomeGeneralities
Normalizationservestwopurposes
Updateanomalies
Thenormalformhierarchy
Normalizationandconstraints
Concludingremarks
Exercises

Chapter4FDsandBCNF（Informal）
Firstnormalform
Functionaldependencies
Keysrex，isited
Secondnormalform
Thirdnormalform
Boyce/Coddnormalform
Exercises

Chapter5FDsandBCNF（Formal）
Preliminarydefinitions
Functionaldependencies
Boyce/Coddnormalform
Heath'sTheorem
Exercises

Chapter6PreservingFDs
Anunfortunateconflict
Anotherexample
...Andanother
...Andstillanother
Aprocedurethatworks
Identitydecompositions
Moreontheconflict
Independentprojections
Exercises

Chapter7FDAxiomatization
Armstrong'saxioms
Additionalrules
Provingtheadditionalrules
Anotherkindofclosure
Exercises

Chapter8Denormalization
"Denormalizeforperformance"?
Whatdoesdenormalizationmean?
Whatdenormalizationisn't（I）
Whatdenormalizationisn't（II）
Denormalizationconsideredharmful（I）
Denormalizationconsideredharmful（II）
Afinalremark
Exercises
PARTIIIJOINDEPENDENCIES，FIFTHNORMALFORM，
ANDRELATEDMATTERS

Chapter9JDsand5NF（Informal）
Joindependencies——thebasicidea
ArelvarinBCNFandnot5NF
Cyclicrules
Concludingremarks
Exercises

Chapter10JDsand5NF（Formal）
Joindependencies
Fifthnormalform
JDsimpliedbykeys
Ausefultheorem
FDsaren'tJDs
Updateanomaliesrevisited
Exercises

Chapter11ImplicitDependencies
Irrelevantcomponents
Combiningcomponents
IrreducibleJDs
Summarysofar
Thechasealgorithm
Concludingremarks
Exercises

Chapter12MVDsand4NF
Anintroductoryexample
Multivalueddependencies（informal）
Multivalueddependencies（formal）
Fourthnormalform
Axiomatization
Embeddeddependencies
Exercises

Chapter13AdditionalNormalForms
Equalitydependencies
Sixthnormalform
Superkeynormalform
Redundancyfreenormalform
Domain-keynormalform
Concludingremarks
Exercises
PARTIVORTHOGONALITY

Chapter14ThePrincipleofOrthogonalDesign
Twocheersfornormalization
Amotivatingexample
Asimplerexample
Tuplesvs.propositions
Thefirstexamplerevisited
Thesecondexamplerevisited
Thefinalversion
Aclarification
Concludingremarks
Exercises
PARTVREDUNDANCY

Chapter15WeNeedMoreScience
Alittlehistory
Databasedesignispredicatedesign
Example1
Example2
Example3
Example4
Example5
Example6
Example7
Example8
Example9
Example10
Example11
Example12
Managingredundancy
Refiningthedefinition
Concludingremarks
Exercises
APPENDIXES

AppendixAPrimaryKeysAreNicebutNotEssential
ArgumentsinfavorofthePK：AKdistinction
Relvarswithmorethanonekey
Theinvoicesandshipmentsexample
Oneprimarykeyperentitytype?
Theapplicantsandemployeesexample
Concludingremarks
AppendixBRedundancyRevisited
AppendixCHistoricalNotes
AppendixDAnswerstoExercises
Chapter1
Chapter2
Chapter3
Chapter4
Chapter5
Chapter6
Chapter7
Chapter8
Chapter9
Chapter10
Chapter11
Chapter12
Chapter13
Chapter14
Chapter15
Index