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

R (A, C, B, D, E) с f, нецелевые зависимости: 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 и как определить, когда вы закончите. Был бы очень признателен всем, кто может провести меня через их мыслительный процесс при решении этих проблем. Спасибо!