Нормальна форма Бойса-Кодда (НФБК) - студопедія

Відносини бази даних проектуються таким чином, щоб можна було виключити в них присутність часткових або транзитивних залежностей, оскільки ці залежності призводять до появи аномалій оновлення. До сих пір ми використовували визначення другої і третьої нормальних форм, для отримання яких потрібно знайти і виключити часткові і транзитивні залежності від первинного ключа. Однак, як описано в розділі 13.8, в цих визначеннях не розглядаються такі ж залежності від потенційних ключів відношення, якщо такі є, В розділі 13.8 наведені загальні визначення форм 2НФ і ЗНФ. Застосування цих загальних визначень може дозволити виявити додаткову надмірність, викликану залежностями від всіх потенційних ключів. Але навіть після введення цих додаткових обмежень у відносинах все ще можуть існувати залежності, які призводять до появи надмірності у відносинах ЗНФ, З урахуванням цього недоліку третьої нормальної форми була розроблена більш сувора нормальна форма, що отримала назву нормальної форми Бойса-Кодда (НФБК).

Визначення нормальної форми Бойса-Кодда

Нормальна форма Бойса-Кодда (НФБК) заснована на функціональних залежностях, в яких враховуються всі потенційні ключі відносини. Проте в формі НФБК передбачені більш суворі обмеження в порівнянні із загальним визначенням форми ЗНФ.

Нормальна форма Бойса-Кодда (НФБК): відношення знаходиться в НФБК тоді і тільки тоді, коли кожен його детермінант є потенційним ключем.

Для перевірки приналежності відношення до НФБК необхідно знайти всі його детермінанти і переконатися в тому, що вони є потенційними ключами. Нагадаємо, що детермінантою є один атрибут або група атрибутів, від якої повністю функціонально залежить інший атрибут.

Різниця між ЗНФ і НФБК полягає в тому, що функціональна залежність А-> В допускається щодо ЗНФ, якщо атрибут В є первинним ключем, а атрибут А не обов'язково є потенційним ключем. Тоді як щодо НФБК ця залежність допускається тільки тоді, коли атрибут А є потенційним ключем. Отже, нормальна форма Бойса-Кодда є більш суворою версією форми ЗНФ, оскільки кожне відношення НФБК є також ставленням ЗНФ, але не будь-яке відношення ЗНФ є відношенням НФБК.