(cпеціальність соціальна інформатика, прикладна математика, інформатика; 3 курс; 5 семестр; 36 годин лекцій)

Мета курсу

Курс передбачає набуття теоретичних та практичних знань в одній з найактуальніших на сьогодні галузей інформаційних технологій, що стосується баз даних та баз знань. У ході навчання студенти ознайомляться з основними мовними моделями та вивчать деякі з них практично. Крім того, отримають теоретичні знання та технологічні навички, які є необхідними для логічного проектування систем. У подальшому передбачається розробка студентами власних інформаційних систем різноманітного призначення.

Взаємозв’язок курсів

Для освоєння курсу необхідно знати відомості з курсів “Дискретна математика”, “Програмування”, ”Теорія алгоритмів та математична логіка”.

Програма курсу

Програму склав доцент кафедри математичної інформатики Кулябко П.П.

Модуль 1. Концепції та основні поняття

Тема 1. Основні поняття. Інформаційна модель концептуального рівня. Лабораторне заняття: Знайомство з СУБД MS Access.

Тема 2. Поняття бази даних. Основні властивості.

Тема 3. Основні критерії класифікації запитів та інформаційних систем. Лабораторне заняття: Розробка інформаційної моделі по заданій предметній області.

Модуль 2. Реляційна модель бази даних, мовні моделі

Тема 4. Реляційна алгебра Кодда. Лабораторне заняття: Використання операцій реляційної алгебри для побудови запитів. Контрольна робота: Запити в термінах реляційної алгебри.

Тема 5. Реляційне числення Кодда. Мова ALPHA. Лабораторне заняття: Використання формул реляційного числення для формування запитів.

Тема 6. Алгоритм редукції Кодда. Поняття реляційної повноти.

Тема 7. Теорія відображень. Мови SQL та QBE. Лабораторне заняття: Використання мов SQL та QBE для формування запитів. Контрольна робота: Запити в термінах Мови SQL.

Модуль 3. Логічне проектування баз даних

Тема 8. Функціональні залежності. 1НФ, 2НФ та 3НФ. Лабораторне заняття: Декомпозиція реляцій до 3НФ. Контрольна робота: Декомпозиція реляцій до 3НФ.

Тема 9. Багатозначні залежності. 4НФ, 5НФ.

Тема 10. Структура функціональних залежностей. Аксіоми Армстронга. Мінімізація структури функціональних залежностей. Алгоритм перевірки з’єднання без втрат. Лабораторне заняття: Мінімізація структури функціональних залежностей, алгоритм перевірки з’єднання без втрат. Контрольна робота: Алгоритм перевірки з’єднання без втрат.

Модуль 4. Бази знань, експертні системи та інші застосування

Тема 11. Огляд сучасних СУБД та їх застосувань. Об’єктно-орієнтовані СУБД.

Тема 12. Бази знань, моделі представлення знань.

Тема 13. Класифікаційний огляд експертних систем.

Тема 14. Розподілені бази та особливості їх проектування.

Література

1. Дейт К. Введение в системы баз данных. “Диалектика”. 1988, 1999.
2. Мартин Дж. Организация баз данных в вычислительных системах. Мир. 1980.
3. Ульман Дж. Основы системы баз данных. Финансы и статистика. 1983.
4. Дрибас В.П. Реляционные модели баз данных. Изд-во БГУ. Минск. 1982.
5. Системы управления базами данных и знаний, под ред. А.Н.Наумова. Финансы и статистика. 1991.
6. Чери С., Готлоб Г., Танке Л. Логическое программирование и базы данных. Мир. 1992.
7. Калиниченко Л.А., Рывкин В.М. Машины баз данных и знаний. Наука. 1990.
8. Кокорева Л.В., Перевозчикова О.Л., Ющенко Е.Л. Диалоговые системы и представление знаний. Наук. думка. К. 1992. 448с.
9. Т.Конноли, К.Бегг, А.Страчан. Базы Вільям. Проектирование, реализация и сопровождение. Вільям и практика. Вільямс.2000.