Uma relação no qual todos os atributos são atômicos, cada atributo não-chave é dependente de toda a chave primária e há ocorrências de transitividade entre atributos não-chave e a chave primária, está na: