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