Разработка и исследование моделей данных и средств организации взаимодействия пользователей с информационными ресурсами

• Автор: Зыкин, Сергей Владимирович
• Шифр специальности: 05.13.17
• Научная степень: Докторская
• Год защиты: 2005
• Место защиты: Омск
• Количество страниц: 251 с. : ил.

Содержание

Предисловие б

Введение

1. Метод межмодельного преобразования данных для пользовательских моделей

1.1. Формирование схемы целевой модели

1.2. Разработка алгоритма построения представления целевой

модели.

1.3. Определение образов ограничений целостности

1.4. Формирование образов операций преобразования целевой

модели.

1.5. Формирование образов операций преобразования исходной модели

2. Модель данных Таблица соединений
2.1. Логическая структура 5таблицы
2.2. Формирование начального состояния 5таблицы.
2.3. Ограничения целостности для 5таблицы
2.4. Операции преобразования 5таблицы
2.4.1. Дополнение кортежа г5 к 5таблице 5.
2.4.2. Удаление кортежа г5 из 5таблицы 5 .
2.4.3. Замещение кортежа г5 в 5таблице 5 кортежем г5
2.5. Образы операций преобразования РБД.
2.5.1. Дополнение кортежей.
2.5.2. Удаление кортежей.
2.5.3. Модификация кортежей
2.5.4. Некоторые замечания по модификации 5таблицы
2.6. Выводы по таблице соединений.
3. Оценка мощности реализации таблицы соединений
3.1. Оценка мощности 5таблицы для двух отношений и одного общего атрибута.
3.2. Оценка мощности 5таблицы для двух отношений и множества общих атрибутов.
3.3. Оценка мощности 5таблицы для множества отношений
3.4. Замечания по использованию таблицы соединений
4. Выполнение реляционных запросов для спсциализиро
ванных моделей представления данных
4.1. Подход к построению схемы выполнения запроса
4.2. Схема реализации запросов на специализированных моделях .
4.3. Замечания к схеме реализации запросов
5. Математическая модель графических данных пользователя и алгоритмы работы с ней
5.1. Описание диаграммы состояний
5.2. Математическая модель диаграммы состояния
5.2.1. Выбор способа представления диаграмм состояния
5.2.2. Математическое описание диаграмм состояния . .
5.3. Алгоритм идентификации областей.ИЗ
5.4. Алгоритм определения границы области в заданном направлении .
5.5. Алгоритмы смешанной аппроксимации .
5.6. Замечания к модели диаграмм состояния
6. Структурные преобразования табличного представления данных
6.1. Построение преобразования 1.
6.1.1. Правило построения схемы представления
С.1.2. Алгоритм построения представления г со схемой
6.1.3. Условия существования представления г
6.1.4. Правила преобразования зависимостей .
6.1.5. Операции преобразования представления.
6.2. Построение преобразования 2.
6.2.1. Правило формирования схемы образов Щ
6.2.2. Формирование реализации образа
ф 6.2.3. Правила преобразования зависимостей
6.2.4. Операции манипулирования данными
6.3. Замечания для преобразований
7. Информационная система по фазовым диаграммам
7.1. Общая структура программного обеспечения и этапы обработки информации
7.2. Программы обработки исходной информации
7.3. Система управления файлами СУФ
7.4. Управление прикладными программами
4 7.5. Язык запросов .
7.6. Обсуждение реализации системы
8. Инструментальные средства разработки приложений
8.1. Общие функции программного обеспечения
8.2. Организация интерфейса между исполняющими средами
8.3. Обсуждение реализации программного обеспечения . . .
Заключение
Список литературы


Формирование образов операций преобразования представления целевой модели для исходной модели. Формирование образов операций преобразования представления исходной модели для целевой модели. Формирование схемы предполагает использование языка описания данных (ЯОД) для фиксации состава и структуры логического уровня целевой модели. Во многом эта проблема решается за счет возможностей выбранной инструментальной системы, в рамках которой предполагается работа с целевой моделью. Способы формирования схемы и требования к ней достаточно широко обсуждались в литературе, например [,, , , , ]. Поэтому, в данном подразделе достаточно ограничиться указанными ссылками. После построения схемы целевой модели необходимо определиться со способом формирования представления целевой модели. Для этого предлагается разработка алгоритма построения представления целевой модели А1д, то есть основного алгоритма преобразования сформированного представления исходной модели в первоначально пустое представление целевой модели. Разработанный алгоритм построения представления целевой модели должен стать основой для построения и обоснования корректности последующих шагов. Мак-Кейба), 2) однозначность интерпретации его предложений (операторов). Требование вычислительной оптимальности для основного алгоритма должно быть отвергнуто, если оно противоречит предыдущим двум требованиям. Если требуется многократная работа этого алгоритма, например,при взаимодействии с программным обеспечением исходной модели, которое не информирует приложение об изменении состояния данных, то необходимо разработать более оптимальную версию алгоритма загрузки и доказать его эквивалентность основному. В случае, если представления исходной и целевой модели формируются одновременно и программное обеспечение для этих моделей взаимно информирует друг друга об изменении состояний, то реализация алгоритма загрузки вообще не потребуется. Для алгоритма А1ду после его построения, необходимо определить область его существования. То есть, не все допустимые состояния исходной модели могут иметь сформированные алгоритмом образы в целевой модели, корректные с точки зрения приложения. Если исходная модель имеет такие состояния, то придется вернуться к первому этапу и пересмотреть схему целевой модели. При построении А1д можно выделить два подхода. А1д(ск}) - алгоритм используется только для формирования изначально пустого пользовательского представления данных. А1д((1ц), fdij € Д, - алгоритм преобразует пользовательское представление независимо от его текущего состояния. Для исходной модели данных О может быть задана совокупность ограничений: функциональные и многозначные зависимости, зависимости соединений и т. Все они в совокупности определяют допустимые состояния данных и переходы между ними для исходной модели П. П для модели П', то соответствующие образы для ограничений на допустимые состояния и переходы также определяются этим алгоритмом. Образы ограничений целостности должны быть достаточными для выполнения исходных ограничений модели П. То есть для целевой модели ГУ могут быть заданы более пжесткие,,ограничсния, если реализация образов ограничений, являющихся необходимыми и достаточными, является невозможной. В крайнем случае ограничением целостности будет запрет на модификацию группы данных. В процессе работы с моделью ГУ пользователь формирует последовательность команд /', которая переводит модель ГУ из состояния с/'у 6 в состояние ё! Д' Исполняющая среда должна сформировать соответствующую совокупность команд Д, которая необходима для перевода модели П из состояния ф;- 6 Dj в состояние ф* ? Другими словами, в состояние (1' можно перейти двумя различными способами, но результат должен быть один и тот же. Сформулированное условие показывает, что основой для формирования / является алгоритм Лід. При этом, задача формирования / является обратной относительно Лід. Замечания. Если изменения в ГУ будут противоречить ограничениям целостности п П, то это является признаком неправильной настройки отображения, то есть неверное определение Р' или /'.