Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Relational Theory for Computer Professionals: What Relational Databases Are Really All About
Relational Theory for Computer Professionals: What Relational Databases Are Really All About
C.J. Date
Special Upgrade Offer
About the Author
Preface
Who Should Read This Book
Structure of the Book
Acknowledgments
Part I. Foundations
Chapter 1. Basic Database Concepts
What’s a database?
The Running Example
What’s a DBMS?
Data Independence
Other DBMS Functions
What’s a relational DBMS?
Database systems vs. programming systems
More on Types
Exercises
Answers
Chapter 2. Relations and Relvars
Relations
Attributes
Tuples
Properties of Relations
Relvars
Exercises
Answers
Chapter 3. Keys, Foreign Keys, and Related Matters
Integrity constraints
Keys
Foreign keys
Relvar definitions
Loading the database
Database systems vs. programming systems bis
Exercises
Answers
Chapter 4. Relational Operators I
Codd’s original algebra
Restrict
Project
Closure Revisited
Exercises I
Answers I
Union, intersection, and difference
Union
Intersection
Difference
Some Formal Properties
Rename
Exercises II
Answers II
Join
Cartesian Product
Intersection Revisited
Primitive Operators
Relational comparisons
Update operator expansions
Exercises III
Answers III
Chapter 5. Relational Operators II
MATCHING and NOT MATCHING
EXTEND
Image relations
Aggregation and summarization
Summarization
Explicit SUMMARIZE
“Generalized Restriction”
Exercises
Answers
Chapter 6. Constraints and Predicates
Database constraints
Relvar predicates
Relations vs. Types
Predicates vs. constraints
Exercises
Answers
Chapter 7. The Relational Model
The relational model defined
Types
The RELATION type generator
Relation variables
Relational assignment
Relational operators
Security
Views
Concluding remarks
Part II. Transactions and Database Design
Chapter 8. Transactions
What’s a transaction?
Recovery
The Recovery Log
The ACID Properties
Concurrency
Locking
A remark on SQL
Exercises
Answers
Chapter 9. Database Design
Nonloss decomposition
Functional dependencies
Irreducible FDs
Second normal form
Third normal form
Boyce/Codd normal form
Concluding remarks
Exercises
Answers
Part III. SQL
Chapter 10. SQL Tables
A little history
Basic concepts
Properties of tables
More on Terminology
Table updates
Equality comparisons
Table definitions
“Table Literals”
SQL systems vs. programming systems
Exercises
Answers
Chapter 11. SQL Operators I
Restrict
Project
Union, intersection, and difference
Formal Properties
Rename
Exercises I
Answers I
Join
Alternative Formulations
Formal Properties
Cartesian Product
Evaluating table expressions
Table comparisons
Displaying results
Exercises II
Answers II
Chapter 12. SQL Operators II
MATCHING and NOT MATCHING
EXTEND
Image relations
Aggregation and summarization
Summarization
“Generalized Restriction”
Exercises
Answers
Chapter 13. SQL Constraints
Database constraints
Type constraints
Exercises
Answers
Chapter 14. SQL vs. the Relational Model
Some generalities
Some SQL departures from the relational model
Exercises
Answers
Part IV. Appendixes
Appendix A. A Tutorial D Grammar
Expressions
Assignments
Appendix B. TABLE_DUM and TABLE_DEE
Appendix C. Set Theory
What’s a set?
Subsets and supersets
Exercises
Answers
Set operators
Exercises
Answers
Some identities
Exercises
Answers
The algebra of sets
Cartesian product
Concluding remarks
Appendix D. Relational Calculus
Sample queries
Sample constraints
A simplified grammar
Exercises
Answers
Appendix E. A Guide to Further Reading
Papers by E. F. Codd
Books by C. J. Date
Books by C. J. Date and Hugh Darwen
Other Publications Related to SQL
Miscellaneous
Index
A note on the digital index
Symbols
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
About the Author
Special Upgrade Offer
Relational Theory for Computer Professionals: What Relational Databases Are Really All About
C.J. Date
Editor
Andy Oram
Editor
Maria Stallone
← Prev
Back
Next →
← Prev
Back
Next →