Considere:

- RelVar como a representação de um conjunto de pares ordenados de domínio e nome que serve como cabeçalho em uma relação;

- DF significando dependência funcional;

- A notação matemática para o modelo relacional.

Dado o enunciado: Seja R uma RelVar, seja X qualquer subconjunto dos atributos de R e seja A qualquer atributo isolado de R. Então, R está na 3FN se e somente se, para cada DF X ? A em R, pelo menos uma das possibilidades a seguir é verdadeira:

I. X contém A;

II. X é uma superchave;

III. A está contido em uma chave candidata de R.

A definição da FNBC (Boyce/Codd) é obtida a partir deste enunciado da 3FN descartando somente