2NF: отделяем зависимость от части ключа
Возьмём таблицу в 1NF и разделим факты о товаре и паре заказ–товар. Так получим обоснованное разложение.
2NF требует 1NF и отсутствия зависимости неключевого атрибута от собственного подмножества любого потенциального ключа. Проверяются все ключи, не только первичный.