introduction to normalization in dbms