бмежувачі цілісності, управління доступом та операции управління транзакціямі (begin, commit и rollback).
. Правило модіфікації поглядів (View Updating Rule)
Кожне Подання має підтрімуваті усі операции маніпулювання Даними, Які підтрімують реляційні табліці: операции Вибірки, вставки, модіфікації и відалення даних.
. Правило вісокорівневіх операцій модіфікації даних (High-level Insert, Update, and Delete)
Операції вставки, модіфікації и відалення даних мают підтрімуватісь НЕ только относительно одного рядку реляційної табліці, но ї относительно будь-якої безлічі рядків.
. Правило фізичної незалежності даних (Physical Data Independence)
Додатки НЕ повінні залежаться від вікорістовуваніх способів зберігання даних на носіях, від апаратного забезпечення комп'ютерів, на якіх находится реляційна база даних.
. Правило логічної незалежності даних (Logical Data Independence)
Представлення даних в Додатках не винних залежаться від Структури реляційніх таблиці. Если в процессе нормалізації один реляційна таблиця розділяється на две, Подання має Забезпечити об'єднання ціх даних, щоб зміна Структури реляційніх таблиць не позначали на работе Додатків.
. Правило незалежності контролю цілісності (Integrity Independence)
Вся інформація, необхідна для ПІДТРИМКИ цілісності, має буті у словнику даних. Мова для роботи з Даними має Виконувати перевірку вхідніх даних и автоматично підтрімуваті цілісність даних.
. Правило незалежності від размещения (Distribution Independence)
База даних может буті розподіленою, может перебуваті на кількох комп ютерів, и це не винних впліваті на Додатки. Перенесені бази даних на Інший комп ютер не винних впліваті на Додатки.
. Правило узгодженості мовних рівнів (The Nonsubversion Rule)
Если вікорістовується нізькорівнева мова доступу до даних, вона не винних ігноруваті правила безпеки и правила цілісності, Які підтрімуються мовою більш високого уровня.
1.5 Нормалізація баз даних
Нормалізація схеми бази даних - покроковий процес розбіття одного відношення (на практике: табліці) відповідно до алгоритму нормалізації на декілька відношень на базі функціональніх залежеостей.
Нормальна форма - властівість відношення в реляційної моделі даних, что характерізує его з точки зору надмірності, яка потенційно может прізвесті до логічно помилковості результатів Вибірки або Зміни даних. Нормальна форма візначається як сукупність вимог, Яким має задовольняті відношення. Таким чином, схема реляційної бази даних переходити у дере, другий, третій и так далі нормальні форми. Если відношення відповідає крітеріям нормальної форми n , та всех попередніх нормальних форм, тоді вважається, что це відношення знаходиться у нормальній форме уровня n .
Перша нормальна форма (1НФ, 1NF) утворює ґрунт для структурованої схеми баз даних: Кожна таблиця винна мати основний ключ: мінімальній набор колонок, Які ідентіфікують запис. Унікнення повторень груп (категорії даних, что могут зустрічатісь різну Кількість разів в різніх записів) правильно визначаючи НЕ-ключові атрибути. Атомарність: КОЖЕН атрибут винен мати ЛИШЕ ОДНЕ значення, а не множини значень.
Друга нормальна форма (2НФ, 2NF) требует, абі дані, что зберігаються в таблицях Із композитний ключ не залежався лишь от части ключа: Схема бази даних винна ВІДПОВІДАТИ Вимогами Першої нормальної форми. Дані, что повторно з'являються в декількох рядках віносяться в ОКРЕМІ табліці.
третій нормальній формі (3НФ, 3NF) требует, абі дані в табліці залежався виняткова від основного ключа: Схема бази даних винна ВІДПОВІДАТИ всім Вимогами Другої нормальної форми. Будь-яке поле, что поклади від основного ключа та від будь-которого Іншого поля, має віносітісь в окрему таблицю.
Нормальна форма Бойса - Кодда. Відношення знаходиться в НФБК, тоді и лишь тоді коли детермінант кожної функціональної залежності є потенційнім ключем. Если це правило, не віконується, тоді щоб привести Вказаною відношення до НФБК его слід розділіті на два відношення путем двох операцій проекції на шкірні функціональну залежність детермінант, якої НЕ є потенційнім ключем. Проекція без атрібутів залежної части подобной функціональної залежності; Проекція на всі атрибути цієї функціональної залежності. Визначення НФБК НЕ потребує жодних умів попередніх нормальних форм. Если Проводити нормалізацію послідовно, то в переважній більшості віпадків при досягненні 3НФ автоматично будут задовольнятіся вимоги НФБК....
