Estou tendo problemas para estabelecer quando uma relação está na Forma Normal de Boyce-Codd e como decompor BCNF se não estiver. Dado este exemplo:

R (A, C, B, D, E) com dependências funcionais: A -> B, C -> D

Como faço para decompor isso?

Os passos que tomei são:

A+ = AB  
C+ = CD  
R1 = A+ = **AB**  
R2 = ACDE (since elements of C+ still exist, continue decomposing)  
R3 = C+ = **CD**  

R4 =ÁS (nenhum fechamento de FD reside nessa relação)

Então agora eu sei que o ACE irá compor toda a relação, mas a resposta para a decomposição é: AB, CD, ACE.

Eu suponho que estou lutando com a maneira correta de decompor uma relação no formulário BCNF e como saber quando você está pronto. Eu realmente apreciaria alguém que pudesse me guiar pelo processo de raciocínio ao resolver esses problemas. Obrigado!