Codd estabeleceu a existência de três tipos de relações normalizadas, denominadas primeira, segunda e terceira formas normais. Uma relação está na 3ª FORMA NORMAL, se e somente se todos os domínios que não são chaves forem completamente: