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)
