Отношение находится в 3NF, если оно находится в 2NF, и каждый неключевой атрибут нетранзитивно зависит от первичного ключа

Третья нормальная форма исключает избыточность и аномалии включения и удаления.

Рассмотрим следующий пример.

R (№ студ. билета, ФИО, Группа, Специальность, Факультет, Выпускающая кафедра)

Первичным ключом отношения является № студ. билета, однако рассмотрим ос­тальные функциональные зависимости. Группа, в которой учится студент, одно­значно определяет факультет, на котором он учится, а также специальность. Кроме того, выпускающая кафедра также однозначно опреде­ляет факультет, на котором обучаются студенты, выпускаемые по данной ка­федре. Но если мы предположим, что одну специальность или группу могут выпускать не­сколько кафедр, то ни специальность, ни группа не определяют выпускающую кафедру. В этом случае у нас есть следующие функциональные зависимости:

№ студ. билета à ФИО

№ студ. билета. à Группа

№ студ. билета à Факультет

№ студ. билета à Специальность

№ студ. билета à Выпускающая кафедра

Группа à Факультет

Группа à Специальность

Выпускающая кафедра à Факультет

И эти зависимости образуют транзитивные группы. Для того чтобы избежать этого, мы можем предложить следующий набор отношений:

(№ студ. билета, ФИО, Группа, Выпускающая кафедра)

(Группа, Специальность, Факультет)

(Выпускающая кафедра, Факультет)

Первичные ключи отношений выделены.

Полученный набор отношений находится в третьей нормальной форме.

К сожалению, 3НФ не предотвращает все возможные аномалии.