What is 5NF?

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.