Database in Depth
Relational Theory for Practitioners
By
C.J. Date
May 2005
Pages: 230
| Table of Contents
| Index
| Sample Chapter
| Colophon
Table of Contents
-
Chapter One Introduction
-
A Remark on Terminology
-
Principles, Not Products
-
A Review of the Original Model
-
Model Versus Implementation
-
Properties of Relations
-
Relations Versus Relvars
-
Values Versus Variables
-
Summary
-
Exercises
-
Chapter Two Relations Versus Types
-
Domain-Constrained Comparisons
-
Data Value Atomicity
-
So What's a Type?
-
Scalar Versus Nonscalar Types
-
Summary
-
Exercises
-
Chapter Three Tuples and Relations
-
What's a Tuple?
-
Some Important Consequences
-
What's a Relation?
-
Further Important Consequences
-
Why Duplicate Tuples Are Prohibited
-
Why Nulls Are Prohibited
-
TABLE_DUM and TABLE_DEE
-
Summary
-
Exercises
-
Chapter Four Relation Variables
-
Updating Is Set-at-a-Time
-
More on Candidate Keys
-
More on Foreign Keys
-
More on Views
-
Relvars and Predicates
-
More on Relations Versus Types
-
Summary
-
Exercises
-
Chapter Five Relational Algebra
-
More on Closure
-
The Original Operators
-
Evaluating SQL Expressions
-
Extend and Summarize
-
Group and Ungroup
-
Expression Transformation
-
Relational Comparisons
-
More on Relational Assignment
-
The ORDER BY Operator
-
Summary
-
Exercises
-
Chapter Six Integrity Constraints
-
Type Constraints
-
Database Constraints
-
Transactions
-
Why Database Constraint Checking Must Be Immediate
-
But Doesn't Some Checking Have to Be Deferred?
-
Constraints and Predicates
-
Miscellaneous Issues
-
Summary
-
Exercises
-
Chapter Seven Database Design Theory
-
The Place of Design Theory
-
Functional Dependencies and Boyce/Codd Normal Form
-
Join Dependencies and Fifth Normal Form
-
Two Cheers for Normalization
-
Orthogonality
-
Some Remarks on Physical Design
-
Summary
-
Exercises
-
Chapter Eight What Is the Relational Model?
-
The Relational Model Defined
-
Objectives of the Relational Model
-
Some Database Principles
-
The Relational Model Versus Others
-
What Remains to Be Done?
-
Summary
-
Exercises
-
Appendix A A Little Bit of Logic
-
Propositions
-
Predicates
-
Quantification
-
Free and Bound Variables
-
More on Quantification
-
Database Constraints
-
Queries
-
Some Equivalences
-
Summary
-
Appendix Suggestions for Further Reading
-
Colophon
Return to Database in Depth