Normal form used in database normalization which removed all redundancies based on functional dependencies