Функциональные зависимости - проблема нормализации BCNF

Question

Мне нужна помощь по вопросу нормализации.
Рассмотрим отношение R(ABC) со следующими функциональными зависимостями:

AB --> C
AC --> B

Как я могу изменить это к нормальной форме Бойса-Кодда?

Если я оставлю это так, это отношение с ключевым атрибутом, зависящим от ключа-кандидата. Я пытался разделить на несколько отношений, но таким образом я теряю информацию.

Answer 1

Это отношение в BCNF

AC и AB являются супер-ключами, а атрибуты B и C зависят от супер-ключей, поэтому они находятся в BCNF.

а также

В этом отношении нет транзитивной зависимости

Надеюсь это поможет

Answer 2

Реляционная схема R имеет нормальную форму Бойса-Кодда тогда и только тогда, когда для каждой из ее зависимостей X → Y выполнено хотя бы одно из следующих условий:

• X → Y - тривиальная функциональная зависимость (Y ⊆ X)
• X - суперключ для схемы R

Из Википедии

R имеет два ключа-кандидата, AB и AC. Понятно, что второе правило выше применимо здесь. Таким образом, R находится в BCNF.

Если я оставлю это так, это отношение с ключевым атрибутом, зависящим от ключа-кандидата. Я пытался разделить на несколько отношений, но таким образом я теряю информацию.

Я не совсем уверен, что вы получаете здесь, но я думаю, что терминология на английском языке включает в себя

• основной атрибут (атрибут, являющийся частью ключа-кандидата)
• транзитивно зависимый (но это относится к непростым атрибутам)
• ключ-кандидат (не ключ-кандидат)