Введение
1. Метод межмодельного преобразования данных для пользовательских моделей 19
1.1. Формирование схемы целевой модели 21
1.2. Разработка алгоритма построения представления целевой модели 21
1.3. Определение образов ограничений целостности 22
1.4. Формирование образов операций преобразования целевой модели 23
1.5. Формирование образов операций преобразования исходной модели , 24
2. Модель данных "Таблица соединений" 26
2.1. Логическая структура 5-таблицы 32
2.2. Формирование начального состояния 5-таблицы 33
2.3. Ограничения целостности для 5-таблицы 39
2.4. Операции преобразования 5-таблицы 40
2.4.1. Дополнение кортежа r[S] к 5-таблице s 40
2.4.2. Удаление кортежа r[S] из 5-таблицы 5 41
2.4.3. Замещение кортежа r[S] в 5-таблице 5 кортежем rf[S] 41
2.5. Образы операций преобразования РБД 42
2.5.1. Дополнение кортежей 43
2.5.2. Удаление кортежей 56
2.5.3. Модификация кортежей 59
2.5.4. Некоторые замечания по модификации 5-таблицы 62
2.6. Выводы по таблице соединений 63
Оценка мощности реализации таблицы соединений 64
3.1. Оценка мощности 5-таблицы для двух отношений и одного общего атрибута 67
3.2. Оценка мощности 5-таблицы для двух отношений и множества общих атрибутов 72
3.3. Оценка мощности 5-таблицы для множества отношений 75
3.4. Замечания по использованию таблицы соединений . 79
Выполнение реляционных запросов для специализированных моделей представления данных 81
4.1, Подход к построению схемы выполнения запроса 83
4.2, Схема реализации запросов на специализированных моделях 90
4.3, Замечания к схеме реализации запросов 91
Математическая модель графических данных пользователя и алгоритмы работы с ней 93
5.1. Описание диаграммы состояний 93
5.2. Математическая модель диаграммы состояния . 101
5.2.1. Выбор способа представления диаграмм состояния 101
5.2.2, Математическое описание диаграмм состояния . 102
5.3. Алгоритм идентификации областей 113
5.4. Алгоритм определения границы области в заданном направлении 122
5.5. Алгоритмы смешанной аппроксимации 128
5.6. Замечания к модели диаграмм состояния 139
Структурные преобразования табличного представления данных 140
6.1. Построение преобразования 1 144
6.1.1. Правило построения схемы представления . 144
6.1.2. Алгоритм построения представления г* со схемой
R* 145
6.1.3. Условия существования представления г* 146
6.1.4. Правила преобразования зависимостей 147
6.1.5. Операции преобразования представления 152
6.2. Построение преобразования 2 155
6.2.1. Правило формирования схемы образов Щ 155
6.2.2. Формирование реализации образа 155
6.2.3. Правила преобразования зависимостей 156
6.2.4. Операции манипулирования данными 159
6.3. Замечания для преобразований 161
7, Информационная система по фазовым диаграммам 162
7.1. Общая структура программного обеспечения и этапы обработки информации 165
7.2. Программы обработки исходной информации 170
7.3. Система управления файлами (СУФ) 174
7.4. Управление прикладными программами 177
7.5. Язык запросов 181
7.6. Обсуждение реализации системы 188
8. Инструментальные средства разработки приложений 191
8.1. Общие функции программного обеспечения 193
8.2. Организация интерфейса между исполняющими средами 196
8.3. Обсуждение реализации программного обеспечения . 202
Заключение 203
Список литературы
