Как нормализовать таблицу в форме BCNF

Question

Я пытаюсь понять, как нормализовать отношение в форме BCNF. Я знаю, что такое определение BCNF, и я знаю, что для его нормализации мне нужно устранить каждый D -> X, где D не является частью ключевого кандидата. И создать новые таблицы (D,X) и (S,X).

Я также прочитал это темы:

1. Normalisation into BCNF
2. BCNF Decomposition
3. Difference between 3NF and BCNF

Но проблема я столкнулся в том, как использовать алгоритм, когда X является частью супер ключ. поясню:

Предположим, что мы имеем это соотношение:

R = (a,b,c,d,e) 
FD = { {a,b}->{c} , {a,b}->{d} , {a,b}->{e} , {d}->{b} } 

Очевидно, что только супер ключ является (a,b). И, очевидно, d не является ключевым кандидатом.

Нарушение BCNF, но мы не можем просто взять b из-за того, что он является частью супер ключа.

Так что мой вопрос: в этом случае, как мы можем нормализовать это отношение в форме BCNF?

Answer 1

Answearing свой вопрос (с большой помощью Джонатана Леффлера):

Это соотношение должно быть нормализуют в:

R1 = (a,b,c,e). super-key is (a,b). 
R2 = (b,d). super-key is (d). 

Т.е. каждый раз, когда схема S есть FD D->X кто нарушает BCNF:

If D не является частью ключа новые таблицы (D,X) и (S,X).
Если Dявляется частью ключа, то новые таблицы: (D,X) и (S,D).
Если оба значения D и X являются частью ключа, то отношение не может нормализоваться в BCNF.