Pavlo Zhezhnych Personal Site and Blog

Зміст 2
Скорочення, терміни, позначення 6
Вступ 8
Актуальність роботи 8
Зв’язок теми дисертації з планами роботи Національного університету “Львівська політехніка” 9
Мета дисертаційної роботи 10
Наукова новизна 11
Практична цінність дисертації 12
Впровадження результатів роботи 12
Особистий внесок здобувача. 12
Апробація роботи 13
Публікації 13
Структура та обсяг роботи 13
Короткий зміст дисертації 14
Розділ 1. Фактор часу в предметних областях 16
1.1. Огляд літератури в області часових баз даних 16
1.1.1. Часовий домен 17
1.1.1.1. Структура часу. 17
1.1.1.2. Часові виміри. 18
1.1.1.3. Невизначеність часу. 19
1.1.2. Часові моделі даних 20
1.1.3. Дійсний час. 22
1.1.4. Час транзакції 23
1.1.5. Мови часових запитів 24
1.2. Вимоги до моделювання часових залежностей. 27
1.2.1. Часова повнота. 27
1.2.2. Часова щільність. 28
1.2.3. Часовий ізоморфізм. 29
1.3. Математичне визначення часу 30
1.3.1. Часові елементи 30
1.3.2. Структурне подання часу 31
1.4. Класифікація інформації за відношенням до часу 33
1.4.1. Факти та події предметної області 33
1.4.2. Складені події 38
1.4.3. Послідовності подій 38
1.4.4. Операції над послідовностями подій 40
1.4.4.1. Позначення елемента послідовності подій 40
1.4.4.2. Атрибути події 40
1.4.4.3. Агрегуючі функції 40
1.4.5. Часовий куб даних 41
1.4.6. Об’єкти предметної області 42
1.5. Висновки 45
Розділ 2. Часова реляційна модель даних 47
2.1. Часове відношення 47
2.2. Стан та зріз часового відношення 51
2.3. Функціональні залежності 55
2.3.1. Статичні та еволюційні функціональні залежності 55
2.3.2. Фактичні та історичні функціональні залежності 56
2.3.3. Об’єктні функціональні залежності від часового параметра 57
2.3.4. Синхронність атрибутів 58
2.4. Оптимізація інформаційної схеми. Нормалізація 61
2.4.1. Ключі часових відношень 61
2.4.2. Перша часова нормальна форма 63
2.4.3. Друга часова нормальна форма 64
2.4.4. Третя часова нормальна форма 64
2.4.5. Часова нормальна Бойса-Кодда 65
2.4.6. Об’єктно-часова нормальна форма 66
2.4.7. Синхронізована нормальна форма 66
2.5. Часова реляційна алгебра 67
2.5.1. Розширення операторів традиційної реляційної алгебри 67
2.5.2. Оператори часової реляційної алгебри 68
2.5.2.1. Оператор об’єднання 68
2.5.2.2. Оператори перетину 69
2.5.2.3. Оператори різниці 70
2.5.2.4. Оператори доповнення 72
2.5.2.5. Оператор проекції 72
2.5.2.6. Оператори вибірки 72
2.5.2.7. Оператори поєднання 73
2.6. Узагальнене часове відношення 77
2.6.1. Стан та зріз узагальненого часового відношення 78
2.6.2. Часовий стан та часовий зріз 79
2.6.3. Оптимізація інформаційної схеми. Нормалізація 81
2.7. Висновки 82
Розділ 3. Об’єктно-часова методика проектування ІС 83
3.1. Зведення часових відношень до традиційних 84
3.1.1. Стан та зріз, часовий стан та часовий зріз 85
3.1.2. Клас агрегуючих правила визначення стану 86
3.1.3. Клас агрегуючих правил в термінах реляційної алгебри 90
3.1.4. Зріз зведення часового відношення 92
3.2. Часова алгебра в термінах реляційної 92
3.2.1. Часові розширення операторів часової реляційної алгебри 93
3.2.1.1. Оператори перетину 93
3.2.1.2. Оператори різниці 94
3.2.1.3. Оператори доповнення 94
3.2.1.4. Оператори вибірки 95
3.2.1.5. Оператори поєднання 95
3.3. Рівні опису моделі даних інформаційної системи 99
3.3.1. Побудова концептуальної моделі даних 100
3.3.1.1. Ієрархія сутностей 100
3.3.1.2. Ієрархія класів об’єктів ПО 101
3.3.1.3. Правила побудови концептуальної моделі 106
3.3.1.4. Система позначень концептуальної моделі 111
3.3.2. Побудова логічної моделі даних 111
3.3.2.1. Правила побудови таблиць логічної моделі 113
3.3.2.2. Правила побудови переглядів логічної моделі 115
3.3.2.3. Система позначень логічної моделі 118
3.4. Фізична реалізація логічної моделі 119
3.5. Висновки 120
Розділ 4. Інформаційна система “Електронний музей” 122
4.1. Загальний аналіз предметної області 123
4.2. Концептуальна модель 124
4.2.1. Функціональна структура системи 124
4.2.2. Ієрархія класів об’єктів 127
4.2.3. Шаблони сутностей 128
4.2.4. Концептуальні схеми даних 129
4.3. Логічна модель 131
4.3.1. Логічні схеми таблиць 131
4.3.2. Логічні схеми переглядів 134
4.4. Програмна реалізація 135
4.5. Висновки 135
Висновки 137
Література 139
Додатки 151