数据库设计与关系理论 英文PDF|Epub|txt|kindle电子书版本网盘下载

数据库设计与关系理论 英文PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

PART Ⅰ SETTING THE SCENE1

Chapter 1 Preliminaries3

Some quotes from the literature3

A note on terminology5

The running example6

Keys7

The place of design theory8

Aims of this book11

Concluding remarks12

Exercises12

Chapter 2 Prerequisites15

Overview15

Relations and relvars16

Predicates and propositions18

More on suppliers and parts20

Exercises22

PART Ⅱ FUNCTIONAL DEPENDENCIES,BOYCE/CODD NORMAL FORM,AND RELATED MATTERS25

Chapter 3 Normalization:Some Generalities27

Normalization serves two purposes29

Update anomalies31

The normal form hierarchy32

Normalization and constraints34

Concluding remarks35

Exercises36

Chapter 4 FDs and BCNF(Informal)37

First normal form37

Functional dependencies40

Keys revisited42

Second normal form43

Third normal form45

Boyce/Codd normal form45

Exercises47

Chapter 5 FDs and BCNF(Formal)49

Preliminary definitions49

Functional dependencies50

Boyce/Codd normal form52

Heath's Theorem54

Exercises56

Chapter 6 Preserving FDs59

An unfortunate conflict60

Another example63

...And another64

...And still another66

A procedure that works67

Identity decompositions71

More on the conflict72

Independent projections73

Exercises74

Chapter 7 FD Axiomatization75

Armstrong's axioms75

Additional rules76

Proving the additional rules78

Another kind of closure79

Exercises80

Chapter 8 Denormalization83

"Denormalize for performance"?83

What does denormalization mean?84

What denormalization isn't(Ⅰ)86

What denormalization isn't(Ⅱ)88

Denormalization considered harmful(Ⅰ)90

Denormalization considered harmful(Ⅱ)91

A final remark92

Exercises92

PART Ⅲ JOIN DEPENDENCIES,FIFTH NORMAL FORM,AND RELATED MATTERS95

Chapter 9 JDs and 5NF(Informal)97

Join dependencies—the basic idea98

A relvar in BCNF and not 5NF100

Cyclic rules103

Concluding remarks104

Exercises105

Chapter 10 JDs and 5NF(Formal)107

Join dependencies107

Fifth normal form109

JDs implied by keys110

A useful theorem113

FDs aren't JDs114

Update anomalies revisited114

Exercises116

Chapter 11 Implicit Dependencies117

Irrelevant components117

Combining components118

Irreducible JDs119

Summary so far121

The chase algorithm123

Concluding remarks127

Exercises127

Chapter 12 MVDs and 4NF129

An introductory example129

Multivalued dependencies(informal)131

Multivalued dependencies(formal)132

Fourth normal form133

Axiomatization134

Embedded dependencies135

Exercises136

Chapter 13 Additional Normal Forms139

Equality dependencies139

Sixth normal form141

Superkey normal form143

Redundancy free normal form144

Domain-key normal form149

Concluding remarks150

Exercises152

PART Ⅳ ORTHOGONALITY155

Chapter 14 The Principle of Orthogonal Design157

Two cheers for normalization157

A motivating example159

A simpler example160

Tuples vs.propositions163

The first example revisited166

The second example revisited168

The final version168

A clarification168

Concluding remarks170

Exercises171

PART Ⅴ REDUNDANCY173

Chapter 15 We Need More Science175

A little history177

Database design is predicate design178

Example 1180

Example 2181

Example 3181

Example 4181

Example 5182

Example 6183

Example 7185

Example 8187

Example 9188

Example 10189

Example 11190

Example 12190

Managing redundancy191

Refining the definition193

Concluding remarks200

Exercises200

APPENDIXES201

Appendix A Primary Keys Are Nice but Not Essential203

Arguments in favor of the PK:AK distinction204

Relvars with more than one key206

The invoices and shipments example208

One primary key per entity type?211

The applicants and employees example212

Concluding remarks214

Appendix B Redundancy Revisited215

Appendix C Historical Notes219

Appendix D Answers to Exercises223

Chapter 1223

Chapter 2224

Chapter 3227

Chapter 4227

Chapter 5232

Chapter 6235

Chapter 7237

Chapter 8240

Chapter 9242

Chapter 10244

Chapter 11245

Chapter 12247

Chapter 13250

Chapter 14253

Chapter 15253

Index255