The comprehensive academic treatment of relational database theory. Covers normalization, relational algebra, and database design in depth.