У меня возникли проблемы с установлением, когда отношение находится в нормальной форме Бойса-Кодда и как его разложить, если это не так. Учитывая этот пример:

R (A, C, B, D, E) с функциональными зависимостями: A -> B, C -> D

Как мне разложить это?

Шаги яприняты следующие:

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

R4 =ACE (в этом отношении нет закрытий FD)

Итак, теперь я знаю, что ACE будет составлять целое отношение, но ответ для разложения: AB, CD, ACE.

Я полагаюя борюсь с тем, как правильно разложить отношения в форму BCNF и как определить, когда высделано. Был бы очень признателен всем, кто может провести меня через их мыслительный процесс при решении этих проблем. Спасибо!