тивная функціональна залежність
Функціональна залежність RX - gt; RY називається транзитивної, якщо існує такий атрибут Z, що є функціональні залежності RX - gt; R.Z і R.Z - gt; RY і відсутня функціональна залежність RZ - gt; R.X. (При відсутності останньої вимоги ми мали б нецікаві транзитивні залежності у кожному відношенні, що володіє декількома ключами.)
Визначення 4. неключових атрибут
неключових атрибутом називається будь-який атрибут відносини, що не входить до складу первинного ключа (зокрема, первинного).
Визначення 5. Взаємно незалежні атрибути
Два або більше атрибуту взаємно незалежні, якщо жоден з цих атрибутів не є функціонально залежним від інших.
. 1 Перша нормальна форма (1NF)
Таблиця знаходиться в першій нормальній формі, якщо кожен її атрибут атомарен. Під виразом атрибут атомарен розуміється, що атрибут може містити тільки одне значення.
Таким чином, не існує 1NF таблиці, в полях яких можуть зберігатися списки значень.
Для приведення таблиці до 1NF зазвичай потрібно розбити таблицю на кілька окремих таблиць.
Зауваження: в реляційної моделі ставлення завжди знаходиться в 1 (або вищою) нормальної форми в тому сенсі, що інші відносини не розглядаються в реляційної моделі.
Тобто саме визначення поняття відношення свідомо увазі наявність 1NF.
Приклад приведення таблиці до першої нормальної форми
Вихідна, ненормализованном, таблиця:
СотруднікНомер телефонаІванов І. І.283-56-82 390-57-34Петров П. Ю.708-62-34
Таблиця, наведена до 1NF:
СотруднікНомер телефонаІванов І. І.283-56-82Іванов І. І.390-57-34Петров П. Ю.708-62-34
Атомарність атрибутів Питання про атомарности атрибутів вирішується на основі семантики даних, тобто їх смислового значення. Атрибут атомарен, якщо його значення втрачає сенс при будь-якому розбитті на частини або переупорядочивание. І навпаки, якщо який-небудь спосіб розбиття на частини не позбавляє атрибут сенсу, то атрибут неатомарен. Одне і те ж значення може бути атомарним або неатомарним залежно від сенсу цього значення. Наприклад, значення 4286 є
· атомарним, якщо його зміст - пін-код кредитної картки (при розбитті на частини або переупорядочивание сенс втрачається)
· неатомарним, якщо його зміст - парні цифри (при розбитті на частини або переупорядочивание сенс не втрачається)
Хорошим способом прийняття рішення про необхідність розбиття атрибуту на частини є питання: чи будуть частини атрибуту використовуватися окремо? raquo ;. Якщо так, то атрибут слід розділити (але так, щоб збереглися осмислені частини атрибута). Далі необхідно знову задатися тим же питанням для нової структури і так до тих пір, поки не залишиться атрибутів, що допускають розбиття.
Приклади неатомарного атрибуту, що часто зустрічаються на практиці: складові поля у вигляді рядка ідентифікаторів, розділених, скажімо, комами: 100, 32, 168, тисячі сорок п'ять
Зауваження: вихідне призначення першим НФ, яку запропонував Кодд в статті A Relational Model of Data for Large Shared Data Banks raquo ;, взагалі не було пов'язано з боротьбою з аномаліями або надмірністю. Кодд запропонував використовувати прості домени (simple domains) тільки для полегшення майбутньої програмної реалізації, а саме:
· для полегшення зберігання відносин у вигляді двовимірних масивів ( A relation whose domains are all simple can be represented in storage by a two-dimensional column-homogeneous array );
· для полегшення передачі даних в гетерогенних системах ( The simplicity of the array representation which becomes feasible when all relations are cast in normal form is not only an advantage for storage purposes but also for communication of bulk data between systems which use widely different representations of the data. )
. 2 Друга нормальна форма (2NF)
Друга нормальна форма (в цьому визначенні передбачається, що єдиним ключем відношення є первинний ключ)
Таблиця знаходиться в другій нормальній формі, якщо вона знаходиться в першій нормальній формі, і при цьому будь-який її атрибут, який не входить до складу первинного ключа, функціонально повно залежить від первинного ключа.
Функціонально повна залежність означає, що атрибут функціонально залежить від усього первинного складного ключа, але при цьому не перебуває у функціональній залежності від б...
