*Decomposition into Fourth Normal Form*

The 4NF decomposition algorithm is quite similar to the BCNF decomposition algorithm. We find a 4NF violation, say A1A2 . . . An → B1B2 . . . Bm , where {A1, A2, . . . , An} is not a superkey. Note this MVD could be a true MVD, or it could be derived from the equivalent FD A1A2 . . . An