The document discusses database schema refinement through normalization. It introduces the concepts of functional dependencies and normal forms including 1NF, 2NF, 3NF and BCNF. Decomposition is presented as a technique to resolve issues like redundancy, update anomalies and insertion/deletion anomalies that arise due to violations of normal forms. Reasoning about functional dependencies and computing their closure is also covered.