Database in Depth

Dedicated to the memory of E.F.Codd; Foreword; Preface; What Makes This Book Different?; Further Preliminaries; Conventions Used in This Book; Using Code Examples; Safari Enabled; Comments and Questions; Acknowledgments; Chapter One: Introduction; 1.1 A Remark on Terminology; 1.2 Principles, Not Products; 1.3 A Review of the Original Model; 1.4 Model Versus Implementation; 1.5 Properties of Relations; 1.6 Relations Versus Relvars; 1.7 Values Versus Variables; 1.8 Summary; 1.9 Exercises; Chapter Two: Relations Versus Types; 2.1 Domain-Constrained Comparisons; 2.2 Data Value Atomicity; 2.3 So What's a Type?; 2.4 Scalar Versus Nonscalar Types; 2.5 Summary; 2.6 Exercises; Chapter Three: Tuples and Relations; 3.1 What's a Tuple?; 3.2 Some Important Consequences; 3.3 What's a Relation?; 3.4 Further Important Consequences; 3.5 Why Duplicate Tuples Are Prohibited; 3.6 Why Nulls Are Prohibited; 3.7 TABLE_DUM and TABLE_DEE; 3.8 Summary; 3.9 Exercises; Chapter Four: Relation Variables; 4.1 Updating Is Set-at-a-Time; 4.2 More on Candidate Keys; 4.3 More on Foreign Keys; 4.4 More on Views; 4.5 Relvars and Predicates; 4.6 More on Relations Versus Types; 4.7 Summary; 4.8 Exercises; Chapter Five: Relational Algebra; 5.1 More on Closure; 5.2 The Original Operators; 5.3 Evaluating SQL Expressions; 5.4 Extend and Summarize; 5.5 Group and Ungroup; 5.6 Expression Transformation; 5.7 Relational Comparisons; 5.8 More on Relational Assignment; 5.9 The ORDER BY Operator; 5.10 Summary; 5.11 Exercises; Chapter Six: Integrity Constraints; 6.1 Type Constraints; 6.2 Database Constraints; 6.3 Transactions; 6.4 Why Database Constraint Checking Must Be Immediate; 6.5 But Doesn't Some Checking Have to Be Deferred?; 6.6 Constraints and Predicates; 6.7 Miscellaneous Issues; 6.8 Summary; 6.9 Exercises; Chapter Seven: Database Design Theory; 7.1 The Place of Design Theory; 7.2 Functional Dependencies and Boyce/Codd Normal Form; 7.3 Join Dependencies and Fifth Normal Form; 7.4 Two Cheers for Normalization; 7.5 Orthogonality; 7.6 Some Remarks on Physical Design; 7.7 Summary; 7.8 Exercises; Chapter Eight: What Is the Relational Model?; 8.1 The Relational Model Defined; 8.2 Objectives of the Relational Model; 8.3 Some Database Principles; 8.4 The Relational Model Versus Others; 8.5 What Remains to Be Done?; 8.6 Summary; 8.7 Exercises; Appendix A: A Little Bit of Logic; Propositions; Predicates; Quantification; Free and Bound Variables; More on Quantification; Database Constraints; Queries; Some Equivalences; Summary; Suggestions for Further Reading; Colophon;