Отношение нах-ся в 3нф тогда и только тогда когда не ключевые ат-ты явл взаимно независимыми 2. Неприводимо зависи-ми от пер-го ключа. Два или несколько ат-ов назыв. взаимнонезависи-ми если не один из них не зависит фун-но от кокой- либо комбинации др-х ат-ов. Каждый такой ат-т может быть обновлен незав-мо от остальных. Не-ключивой ат-т – который не задействован пер-м ключом рассматри-го отношения.
Приведенное определение 3 нф может быть интерпретировано :
Отношения находятся в 3нф тогда и только тогда, когда каждый кор-теж состоит из значения первичного ключа, который идентиф-т некую сущность из набора пустых значений или значений взаимно незав-х ат-ов некотором образом описыва-х эту сущность.
Дадим определение 1нф : отношение нах-ся в 1нф когда все исполь-зуемые домены используют только скалярные значения. В этом опре-делении всего лишь утв-ся что любое нормализованное отношение на-ходится в 1нф и обладает стр-ой по некоторым причинам не совсем желательным. Допустим инф-ия о поставщиках и поставках содержит-ся не в двух отношениях а в одном.
Избыточность в отношении FIRST приводим к различным аналогиям обновления.
INSERT
Нельзя вставить данные о том что некоторый поставщик находится в некотором городе не указывая хотя бы один товар поставляемый этим поставщиком.
DELETE
Если удалить только один кортеж для некоторого поставщика то при этом будет удалена информация о поставке товара поставленного + что этот поставщик находится в некотором городе.
UPDATE
Название города для определенного поставщика повторяется в отно-шении мн-во раз что приводит к возникновению проблем при обнов-лении. Для решения проблемы необходимо заменить отношение first двумя следующими.
