3NF и разложение с сохранением смысла
Выделим повторяемый факт о поставщике и проверим точное восстановление. Изучим полное правило 3NF, не только лозунг.
Для каждой выводимой нетривиальной ФЗ X→A в 3NF X должен быть суперключом либо A — ключевым атрибутом, входящим в какой-либо потенциальный ключ. Отдельно проверяются соединение без потерь и сохранение зависимостей.