Database Ch6, Lecture 6, Relational Normalization Theory