Database Ch6, Lecture 2, Relational Normalization Theory