Fifth Normal Form
Sometimes a relation cannot be losslessly decomposed into two relations, but can be into three or more.
5NF captures the idea that a relation scheme must have some particular lossless decomposition ("join dependency").
Finding actual 5NF cases is difficult.