Введение к работе
-- j
^, ..Актуальность работы. Все более широкое проникновение ин--формационных технологий во все сферы челозеческоя деятельности неразрывно связано с массовым использованием вычислительной техники пользователями-непрограммистами. Как следствие этого, особое значение приобретают задачи создания высокоинтеллектуальных программных систем. Исследования, проведенные в диссертационной работе, обусловлены кеобходи мостыо решения проблем, с которыми столкнулись разработчики таких программных продуктов.
Основная проблема производства современного программного обеспечения вытекает из того, что слоляость его разработки и сопровождения остается слишком высокой, а качество созданных систем - слишком низким. Одна из попыток решить задачу увеличения производительности и повышения качества труда программиста связана с использованием принципа абстракции и, в частности, концепции абстрактных типов данных (АТД). Введение понятий АТД в языки программирования позволяет создавать надежные, легко понимаемые и модифицируемые программы. Первые языки программирования с АТД появились в середине 70-х годов. Наиболее известным среди них является язык Clu. Многие идеи АТД впитали в себя такие известные языки программирования как Modula-2 и Ada. Однако до сих пор языки программирования, поддерживающие весь набор средств работы с АТД, не получили широкого распространения в связи с отсутствием эффективных методов их реализации.
Особенно остро проблема разработки качественных программных систем стоит для задач обработки данных. Это обусловлено долговременным использованием подобных программных продуктов и повышенными требованиями к их надежности.
В связи с выше изложенным является актуальной задача создания системы программирования баз данных, которая может быть использована для разработки информационных систем, основанных на различных моделях, с применением технологии абстрактных типов данных.
Цель работы. Основной целью исследований является разработка транслятора для языка программирования баз данных, содержащего полный набор средств работы с АТД. Для ее достижения необходимо решить следующие задачи:
анализ системы типов языка про! раммирования баз данных Атлант;
разработка структури транслятора;
разработка унифицированного представления объектов базы данных и объектов програмш;
разработка унифицированного представления произвольных и стандартных типов данных;
разработка методов трансляции произвольных типов данных;
разработка методов трансляции таких вакных элементов АТД как параметризованные типы данных и сканирующий оператор;
разработка методов трансляции описания схема базы данные;
разработка методов трансляции приглядной программы в контексте разделов базы данных.
Диссертационная работа выполнена в раг^чах плана НИР ВЦ СО АН СССР "Разрзбс-гка принципов создания высокопроизводительных асинхронных развиваемых систем и средств программировав кия для та" (N ГР 81032S5S).
Научная шпизнз работы. В работе предлонэны методы трансляцій взссов програізліровашш баз данных с абстрактными ти-пеіщ данных и язьасов программщхэЕания баз данных. Предлонен-ныэ методы был;: использованы при реализации системы програїйлігования баз данных Атлгкт-СЫ, предназначенной для создания на ЭШ CU-A баг данных различных моделей с использованием технологии абстрактнії: типов данных.
предлогэнккыэ методы трансляции могут быть использованы при создании трансляторов для языков программирования с АГД и языков программирования баз данных;
реализованная система программирования баз данных Ат-дант-СЫ моизг использоваться для создания широкого круга информационных систем, основывасцихся на любых моделях данных.
Разработанная система модот быть рекомендованы к использованию во всех организациях страны, занимаяцихся разработкой, внедрением и практической эксплуатацией баз данных в различных областях народного хозяйства.
Публикации и апробация работа По теме диссертации было опубликовано 5 работ. Основные положения диссертации обсуждались на семинарах и всесошных конференциях, в том числе
Всесоюзной конференции "Мэтоды трансляции и конструирования программ" (Новосибирск, 1988), Всесоюзной конфэренции "Системы упразлекия базами данных и базами знаний" (Калинин, 1989).
Структура и объем работы. Диссертация состоит кз веьд;-ния, трех глав, заключения и списка литературы (121 наименование). Основной текст диссертации излокэн на 105 страницах, вклсчащих 17 рисунков.
