рення першої нормальної форми необхідно дати два визначення:
Простий атрибут - атрибут, значення якого атомарний (неподільні).
Складний атрибут - виходить з'єднанням декількох атомарних атрибутів, які можуть бути визначені на одному або різних доменах (його також називають вектор або агрегат даних) .
Визначення першої нормальної форми:
ставлення знаходиться в 1NF якщо значення всіх його атрибутів атомарний. p align="justify"> Алгоритм нормалізації описаний Е.Ф.Коддом наступним чином:
В· Починаючи з відносини, що знаходиться на верху дерева, береться його первинний ключ, і кожне безпосередньо підпорядковане відношення розширюється шляхом вставки домену або комбінації доменів цього первинного ключа.
В· Первинний Ключ кожного розширеного таким чином відносини складається з Первинного Ключа, який був у цього відносини до розширення та доданого Первинного Ключа батьківського ставлення.
В· Після цього з батьківського відносини викреслюються всі непрості домени, видаляється верхній вузол дерева, і ця ж процедура повторюється для кожного з решти піддерев.
.5.3 2NF - друга нормальна форма
Дуже часто первинний ключ відносини включає кілька атрибутів (у такому випадку його називають складовим) - див, наприклад, ставлення ДІТИ, показане на рис. 3.4. При цьому вводиться поняття повної функціональної залежності. p align="justify"> Визначення:
неключових атрибут функціонально повно залежить від складеного ключа якщо він функціонально залежить від усього ключа в цілому, але не знаходиться у функціональній залежності від якого-небудь з вхідних в нього атрибутів.
Визначення другої нормальної форми:
Відношення знаходиться в 2НФ, якщо воно знаходиться в 1НФ і кожен неключових атрибут функціонально повно залежить від ключа. br/>
.5.4 3NF - третя нормальна форма
Перед обговоренням третьої нормальної форми необхідно ввести поняття: транзитивна функціональна залежність. p align="justify"> Визначення:
Нехай X, Y, Z - три атрибути деякого відносини. При цьому X -> Y і Y -> Z, але зворотне відповідність відсутня, тобто Z -/-> Y і Y -/-> X. Тоді Z транзитивній залежить від X. p align="justify"> Визначення третьої нормальної форми:
Відношення знаходиться в 3НФ, якщо воно знаходиться під 2НФ і кож...
