Mam problem z ustaleniem, kiedy relacja jest w normalnej formie Boyce-Codd i jak rozłożyć ją na BCNF, jeśli nie jest. Biorąc pod uwagę ten przykład:

R (A, C, B, D, E) z zależnościami funkcjonalnymi: A -> B, C -> D

Jak mogę go rozłożyć?

Kroki, które podjąłem to:

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

R4 =AS (w tej relacji nie ma zamknięć FD)

Teraz wiem, że ACE skomponuje całą relację, ale odpowiedź na dekompozycję to: AB, CD, ACE.

Przypuszczam, że zmagam się z tym, jak poprawnie rozłożyć relację na formularz BCNF i jak powiedzieć, kiedy skończysz. Naprawdę doceniłbym każdego, kto może przeprowadzić mnie przez swój proces myślenia podczas rozwiązywania tych problemów. Dzięki!