Em um banco de dados em que são armazenados dados...

Em um banco de dados em que são armazenados dados previdenciários, a tabela contribuintes a seguir, que possui os seguintes atributos, não está na terceira forma normal, pois apresenta dependência funcional transitiva entre atributos. 

• cpf (chave primária)

• nome

• data_nascimento

• cod_municipio

• aliquota_contribuicao

• renda_mensal

• contribuicao mensal (calculada como: renda mensal × aliquota contribuicao)