3НФ е още по-строга нормална форма и премахва виртуално данновия излишък.
Една релация е в 3НФ, тогава и само тогава, когато е във 2НФ и няма транзитивни функционални зависимости.
Транзитивна функционална зависимост се получава:
Когато един неключов атрибут е функционално зависим от друг неключов атрибут:
FD: non-key attribute -> non-key attribute
И когато има излишък в БД
По дефиниция транзитивната функционална зависимост може да възникне, ако има повече от едно неключово поле, следователно релация във 2НФ с нула или едно неключови полета е автоматично в 3НФ.