Relational Databases: Functional Dependency and Normalization