Superchave é um conjunto de um ou mais atributos que permite a identificação unívoca de cada entidade em um conjunto de entidades. Toda relação tem pelo menos uma superchave: o conjunto de todos os seus atributos.

Chave candidata é uma superchave tal que nenhum dos seus subconjuntos de atributos é uma superchave. Uma relação não pode conter mais de uma chave candidata.

A 1FN diz respeito a atributos. Para que uma relação esteja na 1FN, ela não pode ter nem atributos multivalorados nem relações aninhadas.

A 2FN diz respeito à dependência funcional parcial. Uma relação somente está na 2FN se não houver atributo não-primo dependente funcional parcial de qualquer chave candidata. Para uma relação estar na 2FN, ela também deve estar na 1FN.

A 3FN diz respeito à dependência funcional transitiva. Para que uma relação esteja na 3FN, ela não pode ter atributo não-primo dependente transitivamente de qualquer chave candidata. Para uma relação estar na 3FN, ela também deve estar na 2FN e na 1FN.