У меня довольно простой вопрос. Из того, что я видел, похоже, что нормализация от 1NF, 2NF, 3NF до формы Бойса-Кодда, похоже, в основном имеет дело с непервичными атрибутами. Если я не ошибаюсь, следующая таблица представлена в форме Бойса-Кодда:
R(A,B,C), F = {AB->C, A->B}
с A, B - составным первичным ключом, что мне показалось бы странным.
Я что-то упустил?
Если A-> B, то {AB} не может быть первичным ключом, потому что он не минимальный. Если предположить, что A является единственным ключом, тогда R находится по крайней мере в BCNF в отношении зависимостей AB-> C, A-> B.
Если A определяет B (A -> B), то утверждение, что AB определяет C (AB -> C), означает, что A определяет C (A -> C).
Сказать A -> B означает, что нет двух записей, в которых столбцы B имеют разные значения, но столбцы A имеют одинаковое значение.
Сказать AB -> C означает, что нет двух записей, в которых столбцы C имеют разные значения, но столбцы A и B имеют одинаковое значение. Хотя, поскольку A -> B, мы уже знаем, что если столбцы A имеют одинаковое значение, то столбцы B также имеют такое же значение. Таким образом, мы можем сказать, что, поскольку A -> B, то AB -> C влечет A -> C.
Таким образом, ФД в R:
Чтобы отношение находилось в BCNF, должно выполняться следующее:
Поскольку у вас уже есть связь в 3NF, как вы заявили, мы удовлетворяем 1-му условию. Поскольку во всех FD R определитель является суперключом (A - суперключ), мы удовлетворяем второму условию.
Таким образом, R находится в BCNF.
3NF, посколькуCтранзитивно зависит отAпоB- person Quassnoi schedule 20.07.2011