The following table :
EmpId State Zip
1 FL 342008
2 CA 342001
is not in 3rd normal form because State is dependent on the primary key(EmpId) transitively.
So, if I break it like this : (EmpId,State) (State,PIN)
it's in 3NF.
I could also break it like : (EmpId,State) (EmpId,PIN) and it will again be in 3NF.
But in the second case, there is redundancy of information, for e.g.
1 FL
2 FL
1 342008
2 342008
Which property does the second decomposition violate?