Database Ch6, Lecture 5, Relational Normalization Theory