Нормальна форма Бойса - Кодда - це

Нормальна форма Бойса - Кодда

Нормальна форма Бойса-Кодда (англ. Boyce-Codd normal form; скорочено BCNF) - одна з можливих нормальних форм відносини в реляційної моделі даних.

Іноді нормальну форму Бойса-Кодда називають посиленою третій нормальній формою. оскільки вона в усіх відношеннях сильніше (суворіше) в порівнянні з раніше певної ЗНФ [1].

Названа на честь Рея Бойса і Едгара Кодда. хоча Крістофер Дейт вказує, що насправді суворе визначення «третьої» нормальної форми, еквівалентну визначенням нормальної форми Бойса-Кодда, вперше було дано Єном Хітом (англ. Ian Heath) в 1971 році, тому дану форму слід було б називати «нормальною формою Хіта »[1].

визначення

Відношення знаходиться в BCNF тоді і тільки тоді, коли кожна його нетривіальна і не приводиться зліва функціональна залежність має в якості свого детермінанта деякий потенційний ключ [1].

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

Для визначення BCNF слід розуміти поняття функціональної залежності атрибутів відносини.

Нехай R є змінною відносини, а X і Y - довільними підмножинами безлічі атрибутів змінної відношення R. Yфункціонально залежно від X тоді і тільки тоді, для будь-якого допустимого значення змінної відносини R. якщо два кортежу змінної відносини R збігаються за значенням X. вони також збігаються і за значенням Y. Підмножина X називають детермінантою, а Y - залежною частиною.

Функціональна залежність тривіальна тоді і тільки тоді, коли її права (залежна) частина є підмножиною її лівій частині (детермінанта).

Ситуація, коли ставлення буде перебувати в 3NF, але не в BCNF, виникає, наприклад, за умови, що відношення має два (або більше) потенційних ключа. які є складовими і мають загальний атрибут. На практиці така ситуація зустрічається досить рідко, для всіх інших відносин 3NF і BCNF еквівалентні.

перший приклад

Приклад приведення таблиці до нормальної форми Бойса - Кодда

другий приклад

Припустимо, створюється таблиця бронювання для тенісних кортів на день:. Тариф залежить від обраного корту і членства в клубі.

Таблиця відповідає другий і третій нормальній формі, так як атрибути, які не входять до складу первинного ключа, залежать від складеного первинного ключа цілком (2NF) і немає транзитивних залежностей (3NF).

Проте, існує функціональна залежність тарифу від номера корту. Тобто, помилково можна порушити логічну цілісність і, наприклад, приписати тариф Premium для першого корту, хоча тариф Premium може ставитися тільки до другого корту.

Примітки

Дивитися що таке "Нормальна форма Бойса - Кодда" в інших словниках:

Нормальна форма Бойса - Кодда (англ. Boyce Codd normal form; скорочено BCNF) одна з можливих нормальних форм відносини в реляційної моделі даних. Іноді нормальну форму Бойса Кодда називають посиленою третій нормальній формою, оскільки вона у всіх ... ... Вікіпедія

Нормальна форма - Цей термін має також інші значення див. Нормальна форма (значення). Нормальна форма якість зв'язку в реляційної моделі даних, що характеризує його з точки зору надмірності, потенційно призводить до логічно помилковим ... ... Вікіпедія

Нормальна форма бази даних - Третя нормальна форма (3NF) одна з можливих нормальних форм таблиці реляційної бази даних. Третя нормальна форма є достатньою при вирішенні більшості практичних завдань, і процес проектування реляційної бази даних, як ... ... Вікіпедія