Повна версія

Головна arrow Природознавство arrow ІНТЕЛЕКТУАЛЬНІ СИСТЕМИ

  • Увеличить шрифт
  • Уменьшить шрифт


<<   ЗМІСТ   >>

БАЗИ ДАНИХ

База даних(БД) - формалізоване представлення інформації, зручне для зберігання і пошуку даних в ньому. Поняття БД виникло в 60-і роки 20 століття і пов'язане з розвитком обчислювальної техніки і інформатики. Тематика теорії БД пов'язана з пошуком зручного уявлення, компактного зберігання, швидкого пошуку, захищеності та інших властивостей даних. Розвитку цього напрямку сприяли як ви- водственние і творчі колективи: IBM (ієрархічна модель даних), Робоча група по БД Асоціації по мовам систем обробки даних - CODASYL (мережева модель даних), дослідницька група по системам управління БД Американського національного інституту стандартів - ANSI / SPARC Study Group on DataBase Management Systems (принципи проектування БД), так і окремі дослідники: Кодд (EFCodd) (реляційна модель даних), Галлейр (H.Gallaire), Мінкер (J.Minker) (дедуктивні БД), Тальхайм (B. Thalheim) (моделювання семантики в Д, теорія обмежень цілісності), Аткінсон (M.Atkinson), Бири (C.Beeri) і ін. (Об'єктно орієнтовані БД), В.Н.Решетніков (алгебраїчна модель інформаційного пошуку), Думи (A.Dumey), А .П.Ершов (методи хешування), Бентлі (JLBentley), Кнут (DEKnuth), Лі (DTLee), Маурер (WDMaurer), Ульман (JDUllman), Шей- мос (MIShamos) і ін. (складність алгоритмів обробки данпих), Е.Е.Гасанов (інформаційно-графовая модель даних, складність алгоритмів пошуку) і багато інших.

Тематика теорії БД пов'язана з наступними основними напрямками.

Перше в основному спирається на апарат формально-логічних теорій і пов'язане з вивченням якісних властивостей моделей даних і їх семантичним обґрунтуванням. До цього ж напряму належать питання виразності і складності мов запитів, відповідних моделей даних, вивчення БД як теорій (наприклад, в интуиционистской логіці вищого порядку), а також теорія обмежень цілісності (82). У ній вивчаються обмеження, що накладаються предметною областю, що визначають зв'язки між компонентами БД і описують поведінку БД в часі. Обмеження цілісності можуть бути використані в якості мови опису семантики БД. Вивчаються особливого виду обмеження цілісності, звані залежностями. Вони діляться на статичні (що відображають семантику всіх можливих станів БД) і динамічні (які описують поведінку БД в часі, тобто коректність послідовностей її станів). Вивчається проблема виводимості деякої даної залежності із заданого списку залежностей. Виділено класи залежностей, в яких ця проблема нерозв'язна і Р- або NP-вирішувана. При можливості розв'язання проблеми виводимості актуальною стає задача про аксиоматизации відповідного класу залежностей. Відомі випадки аксіоматізіруемих і неаксіоматізіруемих класів.

Спеціальний напрям в теорії БД становить захищеність даних від випадкового або навмисного доступу до них несанкціонованих користувачів [54]. Інтенсивний розвиток всесвітньої комп'ютерної мережі Internet робить цей напрямок особливо актуальним.

Третє основний напрям тематики теорії БД пов'язано з питаннями складності алгоритмів обробки даних.

Цей напрямок пов'язаний з проблематикою фізичної організації баз даних. При фізичної організації баз даних ми маємо справу не з поданням даних в прикладних програмах, а з їх розміщенням на запам'ятовуючих пристроях.

Критерії, що визначають вибір фізичної організації, відрізняються від тих, які визначають вибір логічної організації даних. При виборі фізичної організації вирішальним фактором є ефективність, причому відповідно до Дж. Мартіна [40] на першому місці стоїть забезпечення ефективності пошуку, далі йдуть ефективність операцій занесення і видалення і потім забезпечення компактності даних.

Методи фізичної організації даних добре викладені в класичних книгах Д. Кнута [23], Дж. Мартіна [40], А. Ахо, Дж. Хопкрофта, Дж. Ульмана [7].

Основну рекомендовану літературу до даної глави складають [11, 41].

 
<<   ЗМІСТ   >>