Средства обработки совокупности структур в системах управления данными

• Автор: Пашкевич, Василий Эрикович
• Шифр специальности: 01.01.09
• Научная степень: Кандидатская
• Год защиты: 1983
• Место защиты: Ленинград
• Количество страниц: 110 c. : ил

ГЛАВА I. ОБРАБОТКА ДАННЫХ 3 АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ НАУЧНЫХ ИССЛЕДОВАНИИ

§ І.І Основные черты системы управления данными АСНИ

§ 1.2 Требования к средствам обработки структур данных . . . .

выводы

ГЛАВА 2. СРЕДСТВА ОПИСАНИЯ СТРУКТУР ДАННЫХ

§ 2.1 Структуры и типы данных

§ 2.2 Методы формальных спецификаций структур

данных

§ 2.3 Эквационально-инициальное описание

структур данных . .

вывода
ГЛАВА 3. ОПИСАНИЯ И РЕАЛИЗАЦИЯ НЕКОТОРЫХ СТРУКТУР
ДАННЫХ
§ 3.1 Язык спецификаций. Примеры
§ 3.2 Формальные спецификации файлов СУБД
СЕТОР
§ 3.3 Реализация абстрактных типов конкретными
ВЫВОДЫ
ГЛАВА 4. СРЕДСТВА ПРОГРАММНОМ РЕАЛИЗАЦИИ СОВОКУПНОСТИ
СТРУКТУР ДАННЫХ
§ 4.1 Краткое описание специализированной
АИПС "Стекло"
§ 4.2 Методология работы пользователя с
структурами данных в системе управления
данными
§ 4.3 Программная реализация совокупности
структур данных
ВЫВОДЫ
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЯ

Современные научно-исследовательские работы практически во всех областях науки и техники характеризуются резко возрастающим объемом перерабатываемой информации - информации, описывающей исследуемые явления. Часто для выработки какой-либо гипотезы, а тем более для ее проверки, необходимо провести большое количество опытов, поставить разнообразные эксперименты, обработать большое количество проб, проанализировать ранее накопленный тактический материал. Труд по обработке подобных данных в большинстве своем носит рутинный,механический характер.
Вместе с тем широко развиваются методы и средства научно-технических исследований, ориентированные на широкое использование вычислительной техники. Значительный объем анализируемой информации в подобных исследованиях просто невозможно переработать без применения электронно-вычислительных машин. Все это способствовало появлению автоматизированных систем научных исследований /АСИИ/, автоматизирующих процессы сбора и обработки данных, выполняющих большой объем механической работы. Информационный фундамент таких систем - запоминание, хранение, поддержание данных в адекватном состоянии, поиск и выдача информации в систему обработки данных -реализуется средствами систем управления баз данных /СУБД/.
Однако системы управления базами данных поддерживают лишь жестко фиксированные структуры, в то время как в научно-технических работах структура исследуемых данных заранее не может быть фиксирована, поскольку очень часто сама является предметом изучения Кроме того, ряд работ, касаго-

■л.е

коммутирует с точностью до изоморфизма, и и (/ здесь обозначают забывающие функторы, причем ^ - сюрье^ивно.
Теорема 2
Спецификация ^ ^19 Е 1 корректна отнооительно <£1,6,11 *2 К > если только Цел , Л'£2Ч , Е включает С и существует функтор
такой, что диаграмма
'Л,£ Л'
коммутирует и ^ 213Ер'2~1} Еявляется корректной относительно ^ "
Из данной теоремы вытекает, что функтор существует. О способе отыскания его гласит теорема 2.8.
Теорема 2
Пусть с-й,г,И;*> есть параметризованный тип данных, Е является строго устойчивым И ТЕ есть расширение
вклютакое, что 2 6X1=12' . Тогда если аксиомы В чают условия (I , то существует единственный функтор )С^котоРый является сильно устойчивьм и расширяет Е в том смысле, что к(1/(А))=