формальні методи для удосконалення цієї якості. Цим теорія нормалізації різко виділяється на тлі чисто емпіричних підходів до проектування, які пропонуються в інших моделях даних. Більш того, можна стверджувати, що в усій сфері інформаційних технологій практично відсутні методи оцінки і поліпшення проектних рішень, зіставні з теорією нормалізації реляційних баз даних за рівнем формальної строгості.
Нормалізацію іноді дорікають на тій підставі, що «це просто здоровий глузд», а будь-який компетентний професіонал і сам «природним чином» спроектує повністю нормалізовану БД без необхідності застосовувати теорію залежностей. Однак, як вказує К.Дейт, нормалізація в точності і є тими принципами здорового глузду, якими керується у своїй свідомості зрілий проектувальник, тобто принципи нормалізації-це формалізований здоровий глузд. Тим часом, ідентифікувати і формалізувати принципи здорового глузду-вельми важке завдання, і успіх в її вирішенні є істотним досягненням.
У теорії формалізації виділяють кілька нормальних форм:
. Перша нормальна форма (1НФ). Мінлива відносини знаходиться в першій нормальній формі тоді і тільки тоді, коли в будь-якому допустимому значенні відносини кожен його кортеж містить тільки одне значення для кожного з атрибутів.
У реляційній моделі ставлення завжди знаходиться в першій нормальній формі за визначенням поняття «ставлення». Що ж стосується різних таблиць, то вони можуть не бути правильними уявленнями відносин і, відповідно, можуть не перебувати в 1НФ.
. Друга нормальна форма (2НФ). Мінлива відносини знаходиться в другій нормальній формі тоді і тільки тоді, коли вона знаходиться в першій нормальній формі і кожен не ключовий атрибут неприводимого, тобто функціонально повно залежить від її потенційного ключа.
. Третя нормальна форма (3НФ). Мінлива відносини знаходиться в третій нормальній формі тоді і тільки тоді, коли вона знаходиться в другій нормальній формі і відсутні транзитивні функціональні залежності не ключових атрибутів від ключових.
. Четверта нормальна форма (4НФ). Мінлива відносини знаходиться в четвертій нормальній формі, якщо вона знаходиться в нормальній формі Бойса-Кодда і не містить нетривіальних багатозначних залежностей.
. П'ята нормальна форма (5НФ). Мінлива відносини знаходиться в п'ятій нормальній формі (інакше - в проекційно-сполучної нормальній формі) тоді і тільки тоді, коли кожна нетривіальна залежність з'єднання в ній визначається потенційним ключем (ключами) цього відношення.
. Доменно-ключова нормальна форма (ДКНФ). Мінлива відносини знаходиться в ДКНФ тоді і тільки тоді, коли кожне накладене на неї обмеження є логічним наслідком обмежень доменів і обмежень ключів, накладених на дану змінну відносини. Обмеження домену - обмеження, що наказує використовувати для певного атрибута значення тільки з деякого заданого домену. Обмеження за своєю суттю є завданням переліку (або логічного еквівалента переліку) допустимих значень типу та оголошенням про те, що вказаний атрибут має даний тип.
Обмеження ключа - обмеження, яке стверджує, що деякий атрибут або комбінація атрибутів є потенційним ключем.
Будь-яка змінна відносини, що знаходиться в ДКНФ, обов'язково знаходиться в 5НФ. Однак не будь-яку змінну в...
