Средства обработки совокупности структур в системах управления данными Пашкевич, Василий Эрикович

Короткий опис

Пашкевич, Василий Эрикович.
Средства обработки совокупности структур в системах управления данными : диссертация ... кандидата физико-математических наук : 01.01.09. - Ленинград, 1983. - 110 с. : ил.
Оглавление диссертациикандидат физико-математических наук Пашкевич, Василий Эрикович
ВВЕДЕНИЕ . ^
ГЛАВА I. ОБРАБОТКА ДАННЫХ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ НАУЧНЫХ ИССЛЕДОВАНИИ.iO
§ I.I Основные черты системы управления данными АСНИ.Ю
§ 1.2 Требования к средствам обработки структур данных .1%
ВЫВОДЫ . . . .Я
ГЛАВА 2. СРЕДСТВА ОПИСАНИЯ СТРУКТУР ДАННЫХ.
§ 2.1 Структуры и типы данных.%%
§ 2.2 Методы формальных спецификаций структур данных.
§ 2.3 Эквационально-инициальное описание структур данных.
ВЫВОДЫ.S
ГЛАВА 3. ОПИСАНИЯ И РЕАЛИЗАЦИЯ НЕКОТОРЫХ СТРУКТУР
ДАННЫХ. ^
§ 3.1 Язык спецификаций. Примеры.Si
§ 3.2 Формальные спецификации файлов СУБД
СЕТОР.iS
§ 3.3 Реализация абстрактных типов конкретными.
ГЛАВА 4. СРЕДСТВА ПРОГРАММНОЙ РЕАЛИЗАЦИИ СОВОКУПНОСТИ
СТРУКТУР ДАННЫХ.
§ 4.1 Краткое описание специализированной
АИПС "Стекло".ЭД
§ 4.2 Методология работы пользователя с структурами данных в системе управления данными . .и
§ 4.3 Программная реализация совокупности структур данных.
ВЫВОДИ.