Для заданного
F = {AB -> E, BC -> G, C-> BG, CD->A, EC->D, G->CH}выполните декомпозицию BCNF и проверьте, сохраняет ли он все функциональные зависимости.
Минимальное покрытие R = {AB->E,C->B,C->G,CD->A,EC->D,G->C,G->H}
Я выполнил R декомпозицию BCNF (это необходимо для минимального покрытия), и я остановился на двух зависимостях, одна из которых сохраняется, а другая не сохраняется. В ответах мне говорят, что все зависимости сохранены. Кто-нибудь может это подтвердить?
AB E, C BG, CD A, CE D, G CH являются в BCNF и сохранении бесполезных соединений и зависимостей. ключи отношения выделены полужирным шрифтом
Всегда есть возможность добавить новое отношение для сохранения зависимости, пока это новое отношение находится в BCNF.
Начиная с канонической обложки, мы видим, что определитель A B → E не является суперключом, и поэтому R можно заменить на:
R1 < (A B E) , { A B → E } >
а также:
R2 < (A B C D G H) ,
{ G → C
G → H
C → B
C → G
C D → A
A B C → D } >
В R2 определитель G → C не является суперключом, поэтому R2 можно заменить на:
R3 < (B C G H) ,
{ G → C
G → H
C → B
C → G } >
а также:
R4 < (A D G) ,
{ D G → A
A G → D } >
Итак, окончательная декомпозиция:
R1 < (A B E) ,
{ A B → E } >
R3 < (B C G H) ,
{ G → C
G → H
C → B
C → G } >
R4 < (A D G) ,
{ D G → A
A G → D } >
и зависимость:
{ C E → D }
не сохранилось.
