7-лекция. Нормализация базы данных. Нормальные формы: 1-нф, 2-нф, 3-нф, нф-бейс-Кодда, 4-нф, 5-нф

МБ ни нормаллаштириш
Маълумотлар базасини нормаллаштириш

Нормаллаштириш назарияси атрибутлар орасидаги боғлиқликларга асосланади.
Боғлиқликларни асосий турлари қуйидагилар:

• функционал;
• кўп қийматли;
• транзитив

Элементы теории нормализации отношений
Функционал боғлиқлик
тушунчаси
Муносабатларни нормаллаштириш назарияси элементлари
Агар боғлиқликда ҳар бир калит бўлмаган атрибут барча таркибий калитга боғлиқ бўлса ва унинг бир қисмига боғлиқ бўлмаса бу боғлиқлик тўлиқ функционал боғлиқлик дейилади.
Агар С атрибут В атрибутга боғлиқ, В атрибут эса A атрибутга боғлиқ бўлса (A  В  C) ва тескари боғлиқлик мавжуд бўлмаса, у холда C ни A га боғлиқлиги транзитив боғланиш деб аталади.
A B
Чап томон
Ўнг томон
Функционал боғлиқликни чап томони детерминант деб аталади
A ва B таркибий бўлиши, яъни 2 ва ундан кўп атрибутдан ташкил топиши мумкин.
Элементы теории нормализации отношений
Функционал боғлиқлик
тушунчаси
Муносабатларни нормаллаштириш назарияси элементлари
Кўп қийматли боғланиш. Муносабатдаги бирор атрибут шу муносабатдаги бошқа атрибутни кўп қийматли аниқлайди, агар биринчи атрибутнинг битта қийматига иккинчи атрибутнинг қийматлар тўплами мос келса. Кўп қийматли атрибутлар турлари:
Бирга кўп (1:М);
Кўпга бир (М:1);
Кўпга кўп (М:М).
Элементы теории нормализации отношений
Функционал боғлиқлик
тушунчаси
Муносабатларни нормаллаштириш назарияси элементлари
Нормаллаштиришнинг ҳар бир қадами муносабат схемасини кетма-кет нормал шаклга ўтказади. Ҳар бир қадамда чекланишлар ёки қоидалар тўплами мавжуд. Нормал формаларнинг қуйидаги кетма-кетлиги мавжуд:

• Биринчи нормал форма (1НФ);
• Иккинчи нормал форма (2НФ);
• учинчи нормал форма (3НФ);
• кучайтирилган 3НФ ёки нормал форма Бойс-Кодд (БКНФ);
• тўртинчи нормал форма (4НФ);
• бешинчи нормал форма (5НФ).