My reading notes for Database Design and Relational Theory: Normal Forms and All That Jazz by Chris J. Date (2012).