Может ли отношение в нормальной форме Бойса-Кодда иметь функциональные зависимости между простыми атрибутами?

Question

Мой вопрос довольно прост.Из того, что я видел, кажется, что нормализация от 1NF, 2NF, 3NF до формы Бойса-Кодда, по-видимому, имеет дело главным образом с непростыми атрибутами.Если я не ошибаюсь, следующая таблица представлена ​​в форме Бойса-Кодда:

R(A,B,C), F = {AB->C, A->B}

, где A, B - составной первичный ключ, что мне показалось бы странным.

Я что-то здесь упускаю?

Answer 1

Если A-> B, то {AB} не может быть первичным ключом, потому что он не минимален.Следовательно, если предположить, что A является единственным ключом, то R находится как минимум в BCNF относительно зависимостей AB-> C, A-> B.