Considere:− RelVar como a representação de um conjunto de pares ordenados de domínio e nome que
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:
