For the table  to be in 4NF , it should be :

In BCNF .

And it should not have multivalued dependency .

MVD: Denoted by –>> . For X->Y , and for single value of X there exists multiple values of Y , then  it is a multivalued dependency.

 

Click to access MVDs4NF.pdf

 

 

 

 

 

 

 

• 4. Normalization