Композиционные методы построения инструментальных информационных систем

• Автор: Чернышев, Геннадий Васильевич
• Шифр специальности: 05.13.16
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Нальчик
• Количество страниц: 174 с.

1.1. Информационные системы и модели их описания

1.2. Классификация ере дет разработки информационных приложений . .

1.2.1. Типы информационных приложений.

1.2.2. Построение информационных приложении.

1.2.3. Приложения с распределенными вычислениями

1.3. Особенности инструментальных информационных систем.

1.3.1. Инструментальные системы.

1.3.2. СУБД как инструментальная система

1.4. Проблемы обработки данных в информационных системах

1.4.1. Тенденции развития информационных средств

1.4.2. Направления исследований в области баз данных

1.4.3. Построение инструментальных информационных систем
ГЛАВА 2. ОСНОВЫ ИНТЕРФЕЙСНОЮ МЕТОДА ПОСТРОЕНИЯ
ИНСТРУМЕНТАЛЬНЫХ ИНФОРМАЦИОННЫХ СИСТЕМ.
2.1. Теоретические основы интерфейсною метода.
2.1.1. Основные понятия Имодели
2.1.2. Вычисления в Имоделн
2.1.3. Система интерфейсов в Имоделн.
2.2. Модель элемента вычислительной структуры.
2.2.1. Структура и поведение функционального агрегата.
2.2.2. Маршруты.
2.2.3. Отношения фильтрации.
2.3 Исследование свойств модели
2.4. Возможности моделирования систем обработки данных интерфейсным методом .
2.4.1. Имодель в качестве СУБД.
2.4.2. Имодсль в качестве вычислительной процедуры.
II











Я9

2.4.3. Имодель в качестве диалоговой компоненты общения
2.4.4. Имодель в качестве среды моделирования динамических процессов
ГЛАВА 3. ПРИНЦИПЫ РЕАЛИЗАЦИИ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ
ПОДДЕРЖКИ ИГГЕРФЕЙСНОГО МЕТОДА.
3.1. Архитектура инструментальных средств.
3.1.1. Функционирование Мустройства.
3.1.2. Языковоориентированный редактор
3.1.3. Подсистема поддержки сценариев
3.1.4. Подходы к реализации интерфейсов
3.2. Языковые средства описания моделей предметных областей
3.2.1. Функциональные языки профаммнрования
3.2.2. Языки правил
3.2.3. Основы языка ФЛП. ИЗ
3.2.4. Оптимизация функциональных программ.
3.3. Алгоритмические механизмы функционирования инструментальной
СЙСТСМЫ аааааааааааааааааа
3.3.1. Вывод тина выражения
3.3.2. Трансляция выражений в промежуточный код
3.3.3. Интерпретация функциональных прщрамм
3.3.4. Механизмы оптимизации программ
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


По схеме , именам которой приписаны типы, строится язык многосортной логики предикатов . У и 1 теРь типов . Чтобы интерпретировать формулы языка Л . По существу структура базы данных это алгебраическая система, в которой проинтерпретированы констангы, предикатные и функциональные символы языка . Несущие множества этой системы строятся индуктивно для каждого типа, начиная с задания произвольных множеств элементов для типов нулевою порядка. Если задана схема базы данных , именам которой приписаны определенные типы, то для каждого типа г через г. Множества е. Б.Джскобс рассматривает как основание многосортной алгебраической системы, сигнатура которой задана в языке . После задания интерпретации сигнатурных символов на экстенсионалах возникает алгебра, которая названа структурой базы данных. Д.Скотт исходит из аксиоматизации отношения выводимости, рассматривая состояние БД как совокупность истинных высказываний, что соответствует лингвистическому взгляду на БД 5. Согласно теории Скотта в ИС содержатся утверждения об отдельных различимых объектах, или элементах, моделируемой предметной области. Различимость элементов системы означает, что совокупность утверждений, известных ИС о конкретном объекте, полностью его определяет. Пусть О фиксированное множество, элементы которого называются данными. Соп1 или просто Сои обозначаегся выделенное множество конечных подмножеств Д через Д специальный элемент из Д Элементы из Сои трактуются как совместные множества утверждений, а Д как данное с наименьшей информацией.