Questões Militares Sobre formas normais em banco de dados

Em banco de dados, o processo de normalização, proposto inicialmente por Codd (1972), aplica uma série de testes em um esquema, que representa relações entre entidades, para certificar se ele satisfaz certa forma normal. Assinale a opção que apresenta a forma normal que foi proposta por esse autor, com base nos conceitos de dependências de junção.

Um esquema de relação R está nesta forma normal se nenhum atributo não primário de R for transitivamente dependente da chave primária. Esta forma normal está baseada na dependência funcional transitiva. Qual das opções abaixo corresponde a esta forma normal?