This document discusses relational database design theory and normalization. It covers topics like first normal form, functional dependencies, attribute closure, canonical covers, decomposition, and Boyce-Codd normal form. An example university schema is provided to illustrate some concepts. The document suggests decomposing some relations in the schema to eliminate redundancy and preserve dependencies and information.