Decompor sem pares inventados
Divida uma lista, associe fichas por identificador e observe os pares inventados. Depois verifique as dependências separadamente. Não precisa escrever JOIN.
Dois testes: reconstruir sem perda devolve exatamente a origem, sem pares extras; preservar dependências significa que as regras locais, juntas, implicam as originais. Uma cadeia pode bastar sem uma tabela comum a todos os atributos.