Database Ch6, Lecture 3, Relational Normalization Theory