Лекція 2. ПРАВИЛА КОДДА. НОРМАЛІЗАЦІЯ ДАНИХ

1. Правила Кодда

ПРАВИЛА 0 ТА 1

0. ФУНДАМЕНТАЛЬНЕ ПРАВИЛО (FOUNDATION RULE)

РЕЛЯЦІЙНА СУБД ПОВИННА БУТИ ЗДАТНА ПОВНІСТЮ КЕРУВАТИ БАЗОЮ ДАНИХ, ВИКОРИСТОВУЮЧИ ЗВ'ЯЗКИ МІЖ ДАНИМИ.

1. ІНФОРМАЦІЙНЕ ПРАВИЛО (INFORMATION RULE)

ІНФОРМАЦІЯ ПОВИННА БУТИ ПРЕДСТАВЛЕНА У ВИГЛЯДІ ДАНИХ, ЩО ЗБЕРІГАЮТЬСЯ У КОМІРКАХ. ДАНІ, ЩО ЗБЕРІГАЮТЬСЯ У КОМІРКАХ, ПОВИННІ БУТИ АТОМАРНИМИ. ПОРЯДОК РЯДКІВ В РЕЛЯЦІЙНІЙ ТАБЛИЦІ НЕ ПОВИНЕН ВПЛИВАТИ НА ЗМІСТ ДАНИХ.

ПРАВИЛО ІНФОРМАЦІЇ. ВСЯ ІНФОРМАЦІЯ В БАЗІ ДАНИХ ПОВИННА БУТИ ПРЕДСТАВЛЕНА ВИКЛЮЧНО НА ЛОГІЧНОМУ РІВНІ І ЛИШЕ ОДНИМ СПОСОБОМ - У ВИГЛЯДІ ЗНАЧЕНЬ, ЩО МІСТЯТЬСЯ В ТАБЛИЦЯХ. ФАКТИЧНО ЦЕ НЕФОРМАЛЬНЕ ВИЗНАЧЕННЯ РЕЛЯЦІЙНОЇ БАЗИ ДАНИХ.

ПРАВИЛО 2

ПРАВИЛО ГАРАНТОВАНОГО ДОСТУПУ (GUARANTEED ACCESS RULE)

ДОСТУП ДО ДАНИХ ПОВИНЕН БУТИ ВІЛЬНИМ ВІД ДВОЗНАЧНОСТІ. ДО КОЖНОГО ЕЛЕМЕНТУ ДАНИХ ПОВИНЕН БУТИ ГАРАНТОВАНИЙ ДОСТУП ЗА ДОПОМОГОЮ КОМБІНАЦІЇ ІМЕНІ ТАБЛИЦІ, ПЕРВИННОГО КЛЮЧА РЯДКУ Й ІМЕНІ СТОВПЦЯ.

ПРАВИЛО 2 ВКАЗУЄ НА РОЛЬ ПЕРВИННОГО КЛЮЧА ПРИ ПОШУКУ ІНФОРМАЦІЇ В БАЗІ ДАНИХ. ІМ'Я ТАБЛИЦІ ДОЗВОЛЯЄ ЗНАЙТИ НЕОБХІДНУ ТАБЛИЦЮ, ІМ'Я СТОВПЦЯ ДОЗВОЛЯЄ ЗНАЙТИ ПОТРІБНИЙ СТОВПЕЦЬ, А ПЕРВИННИЙ КЛЮЧ ДОЗВОЛЯЄ ЗНАЙТИ РЯДОК, ЩО МІСТИТЬ ШУКАНИЙ ЕЛЕМЕНТ ДАНИХ.

ПРАВИЛО 3

СИСТЕМАТИЧНА ОБРОБКА NULL-ЗНАЧЕНЬ (SYSTEMATIC TREATMENT OF NULL VALUES)

НЕВІДОМІ ЗНАЧЕННЯ NULL, ВІДМІННІ ВІД БУДЬ-ЯКОГО ВІДОМОГО ЗНАЧЕННЯ, ПОВИННІ ПІДТРИМУВАТИСЯ ДЛЯ ВСІХ ТИПІВ ДАНИХ ПРИ ВИКОНАННІ БУДЬ- ЯКИХ ОПЕРАЦІЙ. НАПРИКЛАД, ДЛЯ ЧИСЛОВИХ ДАНИХ НЕВІДОМІ ЗНАЧЕННЯ НЕ ПОВИННІ РОЗГЛЯДАТИСЯ ЯК НУЛІ, А ДЛЯ СИМВОЛЬНИХ ДАНИХ - ЯК ПОРОЖНІ РЯДКИ.

ПРАВИЛО 3 ВИМАГАЄ, ЩОБ ВІДСУТНІ ДАНІ МОЖНА БУЛО УЯВИТИ ЗА ДОПОМОГОЮ НЕДІЙСНИХ ЗНАЧЕНЬ (NULL).

ПРАВИЛО 4

ПРАВИЛО ДОСТУПУ ДО СИСТЕМНОГО КАТАЛОГУ НА ОСНОВІ РЕЛЯЦІЙНОЇ МОДЕЛІ (DYNAMIC ON-LINE CATALOG BASED ON THE RELATIONAL MODEL)

СЛОВНИК ДАНИХ ПОВИНЕН ЗБЕРІГАТИСЯ У ФОРМІ РЕЛЯЦІЙНИХ ТАБЛИЦЬ, І СУБД ПОВИННА ПІДТРИМУВАТИ ДОСТУП ДО НЬОГО ЗА ДОПОМОГОЮ СТАНДАРТНИХ МОВНИХ ЗАСОБІВ, ТИХ САМИХ, ЯКІ ВИКОРИСТОВУЮТЬСЯ ДЛЯ РОБОТИ З РЕЛЯЦІЙНИМИ ТАБЛИЦЯМИ, ЩО МІСТЯТЬ ДАНІ КОРИСТУВАЧА.

ПРАВИЛО 4 СВІДЧИТЬ, ЩО РЕЛЯЦІЙНА БАЗА ДАНИХ ПОВИННА САМА СЕБЕ ОПИСУВАТИ. ІНШИМИ СЛОВАМИ, БАЗА ДАНИХ ПОВИННА МІСТИТИ НАБІР СИСТЕМНИХ ТАБЛИЦЬ, ЩО ОПИСУЮТЬ СТРУКТУРУ САМОЇ БАЗИ ДАНИХ.

ПРАВИЛО 5

ПРАВИЛО ПОВНОТИ ПІДМОВИ МАНІПУЛЮВАННЯ ДАНИМИ (COMPREHENSIVE DATA SUBLANGUAGE RULE)

СИСТЕМА УПРАВЛІННЯ РЕЛЯЦІЙНИМИ БАЗАМИ ДАНИХ ПОВИННА ПІДТРИМУВАТИ ХОЧА Б ОДНУ РЕЛЯЦІЙНУ МОВУ, ЯКА

А) МАЄ ЛІНІЙНИЙ СИНТАКСИС,

Б) МОЖЕ ВИКОРИСТОВУВАТИСЯ ЯК ІНТЕРАКТИВНОЮ, ТАК І В ПРИКЛАДНИХ ПРОГРАМАХ,

В) ПІДТРИМУЄ ОПЕРАЦІЇ ВИЗНАЧЕННЯ ДАНИХ, ВИЗНАЧЕННЯ УЯВЛЕНЬ, МАНІПУЛЮВАННЯ ДАНИМИ (ІНТЕРАКТИВНІ ТА ПРОГРАМНІ), ОБМЕЖУВАЧІ ЦІЛІСНОСТІ, УПРАВЛІННЯ ДОСТУПОМ ТА ОПЕРАЦІЇ УПРАВЛІННЯ ТРАНЗАКЦІЯМИ (BEGIN, COMMIT І ROLLBACK).

ПРАВИЛО 5 ВИМАГАЄ, ЩОБ СУБД ВИКОРИСТОВУВАЛА МОВУ РЕЛЯЦІЙНОЇ БАЗИ ДАНИХ. ТАКА МОВА ПОВИННА ПІДТРИМУВАТИ ВСІ ОСНОВНІ ФУНКЦІЇ СУБД - СТВОРЕННЯ БАЗИ ДАНИХ, ЧИТАННЯ І ВВЕДЕННЯ ДАНИХ, РЕАЛІЗАЦІЮ ЗАХИСТУ БАЗИ ДАНИХ І Т.Д.

ПРАВИЛО 6

ПРАВИЛО МОДИФІКАЦІЇ ПРЕДСТАВЛЕНЬ (VIEW UPDATING RULE)

КОЖНЕ ПОДАННЯ МАЄ ПІДТРИМУВАТИ ВСІ ОПЕРАЦІЇ МАНІПУЛЮВАННЯ ДАНИМИ, ЯКІ ПІДТРИМУЮТЬ РЕЛЯЦІЙНІ ТАБЛИЦІ: ОПЕРАЦІЇ ВИБІРКИ, ВСТАВКИ, МОДИФІКАЦІЇ І ВИДАЛЕННЯ ДАНИХ.

ПРАВИЛО 6 СТОСУЄТЬСЯ УЯВЛЕНЬ, ЯКІ Є ВІРТУАЛЬНИМИ ТАБЛИЦЯМИ, ЯКІ ДОЗВОЛЯЮТЬ ПОКАЗУВАТИ РІЗНИМ КОРИСТУВАЧАМ РІЗНІ ФРАГМЕНТИ СТРУКТУРИ БАЗИ ДАНИХ.