O processo de normalização, proposto inicialmente por Codd (1972), leva um esquema de relação a uma série de testes para certificar se ele satisfaz certa forma normal. A terceira forma normal é baseada no conceito de:
Provas
Questão presente nas seguintes provas