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