Tengo problemas para establecer cuándo una relación está en la Forma normal de Boyce-Codd y cómo descomponerla en BCNF si no lo está. Dado este ejemplo:

R (A, C, B, D, E) con dependencias funcionales: A -> B, C -> D

¿Cómo hago para descomponerlo?

Los pasos que he tomado son:

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

R4 =AS (No hay cierres FD residen en esta relación)

Así que ahora sé que ACE compondrá toda la relación, pero la respuesta para la descomposición es: AB, CD, ACE.

Supongo que estoy luchando con la forma de descomponer correctamente una relación en el formulario BCNF y cómo saber cuándo ha terminado. Realmente agradecería a cualquiera que pueda guiarme en su proceso de pensamiento al resolver estos problemas. ¡Gracias!