od wartości atrybutu A1, jeżeli dla każdego wyobrażalnego stanu
bazy danych, dla każdej wartości atrybutu A2 można przyporządkować dokładnie jedną wartość atrybutu A1 taką, że A2 = f(A1)
Druga forma normalna (2NF): nie ma atrybutów, które zależą funkcyjnie od części klucza.
Trzecia forma normalna (3NF): nie ma zależności funkcyjnych tranzytywnych, tj. nie ma różnych atrybutów A1, A2, A3 takich, że A3 = f(A2) i A2 = f(A1).
BCNF − każdy determinant (argument funkcji) jest kluczem kandydującym. Mocniejszy warunek od 3NF, nie zawsze realizowalny.
Normalizacja – 2NF, 3NF, BCNF,...
Polega na zdekomponowaniu tabeli na dwie lub więcej celem uniknięcia niekorzystnych własności: redundancji w danych oraz związanych z redundancją anomalii aktualizacyjnych.
Metodyki oparte na modelu encja-związek i metodyki obiektowe w naturalny sposób prowadzą do znormalizowanych schematów.
Podejście top-down oraz tendencja do dekompozycji/separowania pojęć również w naturalny sposób prowadzą do znormalizowanych schematów.
Czynniki inne niż zależności funkcyjne mogą okazać się bardziej istotne (wydajność --> denormalizacja).