При разбиении связи на несколько отдельных и затем объединении их обратно, не должны теряться никакие кортежи. Такое свойство называется зависимостью по объединению без потерь (lossless-join dependency).
Связь считается находящейся в пятой нормальной форме (5NF), если не содержит никаких зависимостей по соединению.
Даже без глубоких познаний в области нормализации данных, следуя набору простых правил и применения средств ER-моделирования, можно все равно создавать надежные базы данных.