A Relation schema R is said to be 5NF if for every join dependency {R1, R2, ..., Rn} that holds R, one the following is true

► Ri = R for some i.

► The join dependency is implied by the set of FD, over R in which the left side is key of R.