автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.16, диссертация на тему:Композиционные методы построения инструментальных информационных систем

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ СРЕДСТВ И МЕТОДОВ РАЗРАБОТКИ

АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ.

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

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

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

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

Актуальность проблемы. Информационные системы являются основным средством организации и переработки информации, отражающей всевозможные процессы реального мира. С развитием компьютерной техники, программных средств, методов управления информацией менялся и смысл, вкладываемый в понятие информационной системы. Эффективная разработка современных информационных систем, являющихся большими комплексами информационных, программных и технических составляющих, предполагает интеграцию понятий, инструментальных средств и методов, развиваемых в системах представления знаний, базах данных и системах программирования [4,5,27,37,69,85].

До недавнего времени программное обеспечение большинства информационных систем разрабатывалось на основе функционально-блочного подхода, когда для каждого приложения создавались либо независимые функциональные продукты, либо использовались различные системы, объединяемые с помощью интерфейсных модулей.

В настоящее время основным методом реализации информационных систем служит подход, который основан на применении интегрированного системного программного обеспечения с важнейшей компонентой - системой управления базами данных (СУБД) [29,38,78,81].

Благодаря концепции базы данных (БД) обеспечивается независимость описания предметной области (ПО) и задач приложений от структур данных и методов их обработки, программ - от логической структуры баз данных, логической структуры данных - от методов их физической организации. Независимость данных по5 нимается как способность СУБД создавать различные представления об одних и тех же хранимых данных, остающихся инвариантными к изменениям среды функционирования БД. Требуемая степень независимости данных обычно достигается в результате реализации предложения Американского национального института стандартов о введении внешнего, концептуального и внутреннего уровней определения и манипулирования данными [143].

С момента своего появления базы данных превратились в основу программного обеспечения, разрабатываемого, прежде всего, для деловых нужд. В дальнейшем, несмотря на значительные усовершенствования в управлении базами данных, единственным революционным изменением был переход от навигационных баз данных, где явным образом задавался способ доступа к данным, к реляционным БД [30,58], которые без внешнего вмешательства обеспечивают такой доступ.

В реляционных БД, основанных на модели Е.Ф.Кодда [103], возросло значение концептуального уровня, что привело к уменьшению разрыва между БД и языком обработки данных. В схему БД стали добавляться такие функциональные возможности как: контроль ссылочной целостности данных, триггеры, хранимые процедуры. Базы данных начали накапливать элементы функциональных возможностей, которые до этого должны были быть определены в программах.

В 90-х годах, когда в компьютерной технологии появилось множество технических достижений, а открытые системы получили мощный толчок к развитию, наступил этап более значительных перемен. Основное внимание стало уделяться проблемам оптимизации запросов, объектно-реляционным и активным СУБД, вопросам тиражирования информации и параллелизма баз данных [51]. 6

В 1998 г. группа авторитетных исследователей систем баз данных, включая таких известных ученых в данной области как Ф.Бернштейн, Д.Мейер, Дж.Ульман, из академических, коммерческих и правительственных организаций собралась в Асиломаре (шт. Калифорния), чтобы принять программу исследований в области систем баз данных на следующее десятилетие [73]. Перспективные темы исследований были сгруппированы в несколько направлений, в том числе, включающие: переосмысление традиционных архитектур систем баз данных; унификацию процессов и данных.

Так по направлению, связанному с архитектурой баз данных, отмечена проблема быстрого роста объема информации, размещаемой в оперативной памяти, что требует пересмотра структур организации данных. Унификация программ и данных предполагает развитие инструментальных средств СУБД в направлении превращения логики приложений в полноценный компонент систем баз данных будущего.

Естественным местом разрешения подобных проблем является концептуальный уровень СУБД, исследование возможностей которого в данных направлениях представляется весьма актуальным.

Техническая сторона проблемы композиции новых систем из уже существующих - обеспечение интерфейсов. Здесь возникают задачи, аналогичные задачам построения базы данных, обеспечения доступа к модели от других систем, поддержка непротиворечивости, целостности и другие. К тому же, многие из существующих программных систем ориентированы либо на вычислительные, либо на информационно-логические задачи. Композиционный подход к построению ин7 формационных систем должен обеспечивать поддержку решения обоих классов задач.

Цель и задачи работы. Целью работы является исследование методов разработки информационных систем, основанных на использовании уже готовых компонент, основными из которых являются средства поддержки концептуального уровня баз данных. К основным задачам, решаемым в работе для достижения этой цели, относятся следующие:

1. Анализ существующих моделей описания информационных систем.

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

3. Разработка и исследование модели концептуального уровня, обеспечивающей интеграцию структурных и алгоритмических описаний.

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

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

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

Методика исследований. В диссертационной работе использованы понятия и методы теории множеств, математической логики, теории графов, теории алгоритмов, лямбда-исчисления, теории баз данных. В работе применяются понятия теории категорий при описании моделей баз данных, теории типов и теории областей при описании семантики языковых конструкций функциональных языков, теории формальных систем как методологической основы при построении моделей информационных и алгоритмических объектов. 8

Научная новизна работы заключается в том, что в ней впервые:

- предложена архитектура системы управления виртуальной базой данных, предназначенной для обеспечения независимости процедур обработки данных от реально используемых СУБД и режимов их функционирования, на основе единой организации концептуального уровня;

- разработаны основы метода создания информационных систем, базирующегося на понятиях представления и универсального отношения из теории баз данных, и позволяющего на единой основе моделировать свойства и связи объектов ПО;

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

- определены операции с виртуальной базой данных;

- разработаны синтаксис и семантика функционального языка программирования, позволяющего описывать структурные и алгоритмические компоненты приложений, разрабатываемых в среде системы управления виртуальной базой данных;

- разработаны принципы реализации предложенных инструментальных средств.

Практическая ценность работы. Результаты исследований являются основой для разработки методов моделирования в базах данных свойств и их взаимосвязей для широкого класса предметных областей. В работе это продемонстрировано, в частности, при моделировании прохождения электрона через пластину, а также в качестве вычислительной процедуры расчета прироста биомассы посевных культур. Полученные результаты могут быть использованы при проектировании и реализации реальных систем обработки данных. 9

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

Реализация результатов работы. Начальные варианты средств поддержки концептуального уровня прошли проверку при реализации системного программного обеспечения интегрированной АСУ Агропрома КБР в 80-х годов. В 90-х годах создавались экспериментальные реализации программного обеспечения поддержки концептуального уровня на ПЭВМ IBM PC, создан интерпретатор функционального языка, осуществлена программная поддержка отображения виртуальной базы данных на реальные базы данных. Созданные инструментальные средства использовались при разработке ряда прикладных информационных систем.

Публикации и апробация работы. По теме диссертационной работы опубликовано 7 печатных работ. Результаты приводимых в работе исследований докладывались на: IV Всесоюзном симпозиуме "Системное и теоретическое программирование" (Кишинев, 1983 г.); семинарах по базам данных в Научно-исследовательском институте системных исследований АН СССР (Москва, 1981-1988 гг.); семинарах по искусственному интеллекту, проводимых факультетом кибернетики МИФИ (Москва, 1985-1987 гг.); Международной конференции B&NAK-96 "Нелокальные краевые задачи и родственные проблемы математической биологии, информатики и физики" (Нальчик, 1996 г.); III Всероссийской научно-практической конференции "Новые информационные технологии в образовании" (Воронеж, 1997 г.);

10

Международной конференции "Функциональные пространства. Дифференциальные операторы. Проблемы математического образования" (Москва, 1998 г.); заседаниях Ученого совета и семинарах Института информатики и проблем регионального управления КБНЦ РАН (Нальчик, 1996-1999 гг.).

Пользуясь возможностью, автор выражает глубокую благодарность своему научному руководителю директору Института информатики и проблем регионального управления Кабардино-Балкарского научного центра РАН профессору П.М.Иванову за ценную научную и методическую помощь, оказанную в процессе работы над диссертацией, за многочисленные советы и замечания по ее оформлению. Хочется также поблагодарить коллег-математиков, сотрудников института за внимание и поддержку в процессе исследований и обсуждений вопросов, посвященных тематике настоящей диссертационной работы.

11

Выводы.

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

143

ЗАКЛЮЧЕНИЕ

1. Проведенная классификация средств и методов разработки информационных систем позволила выявить основные тенденции развития инструментальных средств разработки приложений, базирующихся на применении объектной ориентации, визуального характера разработки, механизма событий, особенностей распределенных приложений.

2. Представлена модель концептуального уровня, обеспечивающая интегрированное описание данных и обрабатывающих их процедур, высокую степень независимости алгоритмов обработки от реальных систем баз данных, вычислительных платформ, режимов функционирования информационных систем.

3. На основе исследования модели концептуального уровня показано, что модель может играть роль: системы управления базами данных, вычислительной процедуры, диалоговой компоненты информационных систем, системы моделирования динамических процессов.

4. Основываясь на особенностях инструментальных систем, спроектирован набор инструментальных средств, позволяющий с помощью входящих в него компонент создавать индивидуальные информационные системы, ориентированные на комплексную обработку данных (манипулирование данными с вычислениями над ними).

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

144

1. Александров С.Ю. Синтаксически-ориентированные редакторы: функциональные возможности и архитектура. Препр. НФ ИТМ и ВТ АН СССР, 1987.

2. Арлазаров В.Л., Диниц Е.А. К теории инструментальных систем // Системные исследования. Методологические проблемы. Ежегодник. М.: Наука, 1983. -с.279-292.

3. Арлазаров В.Л. Элементы теории инструментальных систем // Системные исследования. Методологические проблемы. Ежегодник, 1986. М.: Наука, 1987. -с.74-101.

4. Артемьев В.И. Обзор способов и средств построения информационных приложений // СУБД №5-6, 1996.

5. Астахов А.Д. Методологические основы организации вычислительных и информационных процессов // Системные исследования. Методологические проблемы. Ежегодник. М.: Наука, 1986. - с. 199-222.

6. Астахов А.Д. Программировать без репрограммирования // Теоретические основы информационной технологии: Сб.тр. -М.: ВНИИСИ, вып. №22, 1988.

7. Базисный РЕФАЛ и. его реализация на вычислительных машинах. М.: ЦНИПИАСС, 1977.

8. Бандман О.Л. Асинхронная интерпретация параллельных микропрограмм // Кибернетика, Киев. 1984. -№ 2. - с.14-20.

9. Барздинъ Я.М., Калниньш Я.Я. Об одном языке преобразования графов, ориентированном на задание автоматов // Автомат, и выч. техн., Рига. 1973, №5. - с.22-28.145

10. Белнап H., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981. -288 с.

11. Вениаминов Е.М. Алгебраический подход к моделям баз данных реляционного типа // Семиотика и информатика, вып. 14, 1980. с.44-80.

12. Борщев В. Б. Параллельные асинхронные вычисления и моделирование параллельного выполнения логических программ (вегетативная модель вычислений и ее применения). Вычислительные науки. Т.4 (Итоги науки и техники. ВИНИТИ АН СССР). М., 1990. - с.144-197.

13. Борщев В.Б. Схемы на клубных системах и вегетативная машина // Семиотика и информатика, Вып.22, 1983. - с.3-44.

14. Борщев ВБ., Хомяков М.В. Вегетативная машина // Тезисы докладов и сообщений Всесоюзной школы-семинара "Семиотические аспекты формализации интеллектуальной деятельности, Телави-83". M.: ВИНИТИ, 1983. - с.15-17.

15. Брудно В.А., Скворцов ДБ., Финн В.К, Цаленко М.Ш. Базы данных с неполной информацией // Семиотика и информатика, вып.25. М.: ВИНИТИ. -1985.-c.5-45.

16. Булъонков М.А. Опыт теоретического анализа методов поливариантных смешанных вычислений. АН СССР СО ВЦ. Новосибирск, 1987.

17. Бургин М.С. Логика интеллектуальных систем // Тез. докл. II Всесоюз. конф. "Искусственный интеллект-90". 1990, т. 1.-с. 121-123.

18. Буч Г. Объектно-ориентированное проектирование с примерами применения. -М.: Конкорд, 1992.

19. Бэкус Дж. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения // Математическая146логика в программировании: Сб. статей М34 1980-1988 гг.: Пер. с англ. М.: Мир, 1991,- с.8-53.

20. Ва Б. У., Лоурай М.Б., Ли Г. ЭВМ для обработки символьной информации // ТИИЭР, т.77, № 4, 1989. с.5-40.

21. Вагин В.Н., Захаров В.Н., Поспелов Д.А. и др. Проект ПАМИР // Изв. АН СССР. Техн. кибернетика. 1988, № 2.

22. Варсанофъев Д.В. Исследование и разработка учебно-производственных и учебных систем программирования. Автореф. канд. диссертации. М.: МГУ, 1988.

23. Галаган Н.И. Организация взаимодействия экспертных систем и баз данных // Знания диалог - решения. - Киев: НПО "Горсистемотехника", 1990. - 4.1. -с.26-35.

24. Гергей Т., Поспелов Д.А. Проект ЛИВС логическая информационно-вычислительная система // Изв. АН СССР. Техн. кибернетика. 1986, № 5.

25. Голдблат Р. Топосы. Категорный анализ логики. М.: Мир, 1983.

26. Грисуолд Р., Поудж Дж., Полонски И. Язык программирования СНОБОЛ-4. М.: Мир, 1980.

27. Грэй П. Логика, алгебра и базы данных. М.: Машиностроение, 1989. - 368 с.

28. Дейкстра Э. Дисциплина программирования. М.: Мир, 1978. - 278 с.

29. Дейт К. Введение в системы баз данных. М.: Наука, 1980. - 463 с.

30. Дрибас В.П. Реляционные модели баз данных.-Минск: Изд.БГУ, 1982. 192с.

31. Горчинская О.Ю. Теоретический аспект построения реляционных моделей баз данных. Обзор // Автоматика и телемеханика. 1983, № 1. с.5-25.

32. Евстигнеев В.А. Применение теории графов в программировании / Под ред. А.П.Ершова. М.: Наука, 1985. - 352 с.

33. Ершов А.П. Об одном теоретическом принципе системного программирования // Доклады АН СССР, 1977, т.233, №2.

34. Иванов П.М. Алгебраическое моделирование сложных систем. М.: Наука, 1996.-272 с.

35. Иванов Ю.Н. Теория информационных объектов и системы управления базами данных. М.: Наука, 1988. - 232 с.

36. Калинченко Л.А. Методы и средства интеграции неоднородных баз данных. -М.: Наука, 1983.-423 с.

37. Капитонова Ю.В., Летичевский A.A. Математическая теория проектирования вычислительных систем. М.: Наука, 1988.148

38. Касьянов В.П., Поттосин КВ. Методы построения трансляторов. Новосибирск: Наука, 1986. - 344 с.

39. Ковалъски Р., Серго М. Исчисление событий, основанное на логике // Язык Пролог в пятом поколении ЭВМ. М.: Мир, 1988. - с.413-445.

40. Когаловский М.Р. Технология баз данных на персональных ЭВМ. М.: Финансы и статистика, 1992. - 224 с.

41. Колмогоров А.Н., Успенский В.А. К определению алгоритма // Успехи матем. наук, Вып.4, 1958,-с.3-28.

42. Кристальный Б.В., Шарыгин В.И. Об отображении семантики предметной области в структуре фактографической базы данных // НТИ. Сер. 2, 1986, №6. -с.6-11.

43. Кузин Л.Т., Михайлов Л.И. Механизмы сопоставления в интеллектуальных системах // Интеллектуальные банки данных. / Под ред. В.С.Ионова. М.: Энергоиздат, 1982. - с.62-72.

44. Кузнецов В.Е. Представление в ЭВМ неформальных процедур: продукционные системы. М.: Наука, 1989.

45. Кузнецов С.Д. Направления исследований в области управления базами данных: краткий обзор // СУБД №1, 1995.

46. Лавров С.С., Силагадзе. Автоматическая обработка данных. Язык ЛИСП и его реализация. М.: Наука, 1978. - 176 с.

47. Малиновский A.A. Основные понятия и определения теории систем // Системные исследования: Методол. пробл.: Ежегодник, 1979. М.: Наука, 1980. - с.78-91.

48. Макговерн Д., Уайм К. СУБД типа "клиент-сервер". Особенности архитектуры//Журнал д-ра Добба, 1991, №1. с.28-38.

49. Макетирование, проектирование и реализация диалоговых информационных систем: Под ред. Е.И.Ломако / Л.И.Гуков, Е.И.Ломако, А.В.Морозова др. -М.: Финансы и статистика, 1993. 320 с.

50. Марков ЮТ. Функциональный подход в современном научном познании. -Новосибирск: Наука, 1982. 254 с.

51. Матевосов Р.И., Хохлов Г.Н., Шарыгин В.И. Информационная модель объекта управления основа создания базы данных автоматизированной системы / Экономич. ком. ООН для Европы: Комитет по хим. промышл. - Варна, 1980.

52. Мейер Д. Теория реляционных баз данных. М.: Мир, 1987. - 608 с.

53. Миренков H.H. Иерархические параллельные алгоритмы // Вычислительные процессы и системы. -М.: Наука, 1985. Вып. 2. - с.121-128.

54. Михайлов А.И., Черный А.И., Гиляревский P.C. Основы информатики. М.: Наука, 1968.

55. Мучник Т.Г. Языково-настраиваемый структурный редактор со средствами семантического контроля // Программирование. 1990, № 2. с. 10-20.

56. Нахушев A.M., Казиев В.М., Энеева Л.А. и др. К вопросу автоматизированного прогнозирования урожайности основных сельскохозяйственных культур в условиях орошения и степной зоны // САПР и АСПР в мелиорации. Нальчик: КБГУ, 1983.

57. Никитина Г. Управление данными, размещенными в оперативной памяти // Открытые системы, №1, 1999. с.46-51.150

58. Никитченко Н.С., Редъко В.Н. Композиционное и функциональное программирование: сравнительный анализ // Программирование. 1985, №2. с. 15-28.

59. Падучева Е.В. Семантические типы ситуаций. // Семантика и информатика. -1985, вып.24. с.96-116.

60. Пакеты прикладных программ. Инструментальные системы. М.: Наука, 1987.

61. Пильщиков В.Н. Язык ПЛЭНЕР. М.: Наука, 1983.

62. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984.- 264 с.

63. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных.- М.: Наука. Гл. ред. физ.-мат. лит., 1991. 448 с.

64. Попов Э.А. Экспертные системы состояние, проблемы, перспективы // Изв. АН СССР. Сер. Техн. кибернетика. - 1989, №5. - с. 152-161.

65. Поспелов Д.А. Продукционные модели // Искусственный интеллект. В 3-х кн. Кн.2. Модели и методы: Справочник / Под ред. Д.А.Поспелова - М.: Радио и связь, 1990. - с.49-56.

66. Представление знаний в человеко-машинных и робототехнических системах. Том В. Инструментальные средства разработки систем, ориентированных на знания. М.: ВЦ АН СССР, ВИНИТИ, 1984. - 236 с.

67. Программа исследований в области баз данных на следующее десятилетие. Асиломарский отчет о направлениях исследований в области баз данных // Открытые системы, №1, 1999. с.61-68.

68. Раскина А.А., Сидоров И.С., Шрейдер Ю.А. Семантические основания объектно-признаковых языков // НТИ. Сер.2. 1976, № 3. с.78-96.

69. Розоноэр Л.И. О выявлении противоречий в формальных теориях I // Автоматика и телемеханика. 1983, № 6. - с.113-124.

70. Розоноэр Л.И. О выявлении противоречий в формальных теориях II // Автоматика и телемеханика. 1983, № 7. - с.97-104.

71. Савинков В.М., Вейнеров О.М., Казаров М.С. Обобщенные процедуры автоматизированного логического проектирования баз данных // Упр. сист. и машины, 1981, № 4. с.28-34.

72. Системы управления базами данных и знаний: Справ, изд. / А.Н.Наумов, А.М.Вендров, В.К.Иванов и др.; Под ред. А.Н.Наумова. М.: Финансы и статистика, 1991. - 3 52 с.

73. Степанов A.M. Фреймы и смешанные вычисления // ВЦ СО АН СССР, Препринт 297. Новосибирск, 1981.

74. Степанов A.M. Экспериментальная система программирования // ВЦ СО АН СССР, Препринт 305. Новосибирск, 1981.

75. Ульман Дж. Основы систем баз данных. М.: Финансы и статистика, 1983. -334 с.

76. Филд А., Харрисон П. Функциональное программирование. М.: Мир, 1993. -637 с.

77. Хоар И. Взаимодействующие последовательные процессы. М.: Мир, 1984. -264 с.

78. Хювёнен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.1: Введение в язык Лисп и функциональное программирование. Пер. с финск. М.: Мир, 1990. - 447 с.152

79. Цаленко М.Ш. Семантические и математические модели баз данных. М.: ВИНИТИ, 1985.-207 с.

80. Цикритзис Д., Лоховский Ф. Модели данных. М.: Финансы и статистика, 1985.-344 с.

81. Чернышев Г.В. Алгоритмические основы дискретной математики / Международная конференция "Функциональные пространства. Дифференциальные операторы. Проблемы математического образования", тез.докл., 23-27 марта, М.: РУДН, 1998.-c.235.

82. Чернышев Г.В. Базы данных и знаний. Нальчик: КБИБ, 1999. - 44 с.

83. Чернышев Г.В. Вычисления и базы данных // Сб. научных статей. Нальчик: КБИБ, 2000. с.38-41.

84. Чернышев Г.В. Интерпретирующая диалоговая система управления прохождением информации и программами / IV Всесоюзный симпозиум по системному и теоретическому программированию, тез.докл., 31 мая 2 июня, - Кишинев: Штиинца, 1983. - с.399-400.

85. Чернышев Г.В. Основы языковых конструкций интеллектуальной системы программирования ОБРАЗ // Искусственный интеллект. Итоги и перспективы. -М.: МДНТП, 1985.-с.121-126.

86. Штрик А.А. Инструментальные автоматизированные средства программной инженерии: состояние и перспективы // CASE-технология / Материалы семинара. М-: ЦРДЗ, 1993. - с. 10-17.

87. Alter S.L. How effective managers use information system // Harvard Bus. Rev. -1976, № 6. -p.97-104.

88. Batens D. Paraconsistent extensional propositional logic // Logigue at Analyze. -1980, 23, №91-92.-p.195-234.

89. Benbasat I., Nault B.R. Imperical research in managerial support system // Decision Support Systems. 1990, -6, № 3. -p.203-226.

90. Beulens A.J. The use of expert system technology in DSS // Decision Support Systems. 1989,-№ 4.-p.421-431.

91. Bur stall R.M., Darlington J. A transformation system for developing recursive programs. JASM, 24(1), 1977. p.44-67.

92. Burstall R.M., MacQueen D.B., Sanella D.T. Hope: an experimental applicative language. CSR-62-80, Department of Сотр. Science, Univers. of Edinburg, 1980.

93. Garlan D.W., Miller P.L. GNOME: An Introductory Programming Environment Based on Family of Structure Editors // ASM SEN. 1984, v.9, № 3. - p.65-72.

94. Chen P.P. The Entity-Relationship Model-Toward a Unified View of Data // ACM Trans. Database Syst. 1976, v.l, № 1. -p.9-36.

95. CoddE.F. A relational model of data for large shared data banks. Comm. ACM 13, 6, June 1970.-p.377-387.

96. Codd E.F. Extending the Database Relational Model to Capture More Meaning. ACM Transactions on Database System, Vol.4, № 4, December 1979. p.397-434.

97. Darlington J. Functional programming (Chapter 5). Distributed Computing, F.Bchambers, D.A.Duce, G.P.Jones, ed. London: Academic Press, 1984.

98. Darlington J., Field A. J., Pull H. The Unification of Functional and Logic Language. Tech.Rep. Imperial College, London, England, Feb., 1985.

99. DeGroot D. Restricted AND-Parallelism. Proc. Int. Conf. Fifth Generation Computers, Nov. 1984.-p.471-47 8.

100. DeGroot D., Lindstrom G. (eds.). Logic Programming. Englewood Cliffs, NJ: Prentice-Hall, 1985.

101. De Sanctis G. Group decision support system: a new frontier // Data Base. 1985, - 16,№2.-p.3-10.

102. Donzeau-Gaude V., Kahn G., Lang B., Melese B. Document structure and modularity in Mentor//ACM SEN. 1984, v.9, № 3. - p. 141-148

103. Doyle J. A truth maintenance system // Artificial Intelligence. 1978, 12, № 2.-p.231-272.

104. Haimos P.R. Algebraic logic. N.Y., 1962.

105. Hammer M., McLeod D. Data Base Description with SDM: Semantic Data Base Model // ACM Trans. Database Syst. 1981, v.6. № 3. -p.351-356.

106. Hollnagel E. Failure analysis of information systems: reflection on the use of the expert system in information systems // NATO ASI Ser.-1987, V.F32. p. 199-204.

107. Hollnagel E. Information and reasoning in intelligent decision support system II Intern. J. Man.-Mach. Stud. 1988, 327, № 5-6. -p.665-678.

108. Jackson M.A. Information systems: modeling sequencing and transformations // Int. Cont. on SE, Atlanta, 1978.

109. Jacobs B., Walczac C. A Generalized Query-by-Example Data Manipulation Language Based on Database Logic // IEEE Transaction on Software Engineering. -SE 9, 1983, № 1. p.40-56.

110. Jen D., Kastens V. Automatic Construction of Incremental LR(1) Parsers // SIG-PLAN Notices. - 1988, v.23, № 3. - p.33-42.

111. Kent W. Fact-Based Data Analysis and Design // J. Syst. and Software. 1984, v.4, № 2-3. -p.99-121.

112. Kowalski R. Predicate logic as a programming language. IFIP Information Processing, 1974.-p.569-574.

113. Laine H., Maanavilja O., Peltola E. Grammatical Data Base Model // Inf. Syst. -1979, v.4.-p.257-267.

114. McCarthy J. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM, 3(4), 1960. -p.184-195.

115. McCarthy J., Abrahams P.W., Edwards D.J., Hart T.P., Levin M.I. LISP 1.5 programmers manual, MIT Press, 1962.

116. Meyer B. Cepage: Toward Computer-Aided Design of Software // The Journal of System and Software. 1988, № 8. -p.419-429.

117. Michalski R.A. A theory and methodology of inductive learning // Ibid. 1983, 20, № 1. -p.111-161.156

118. Milner R. A theory of type polymorphism in programming. Journal of Computer and System Science, 17, 1978. p.348-375.

119. Moldovan D.I. A Model for Parallel Processing of Productions Systems // Proc.of ■ the Int. Conf. On Syst., Man and Cybern. IEEE, Oct., 1986, v. 1

120. Narin'yani A.S. Parallelism as Knowledge Processing // Proc. of the 2nd Int. Conf. AISMA'86. Varna, Sept., 1986.

121. Oshisanwo A.O., Dasiewicz P.P. Parallel Model and Architecture for Production Systems // Proc. of the Conf On Parallel Processing. Aug., 1987.

122. Polster F.J. Reuse of software through generation of partial systems // IEEE Trans. Software Eng. 1986, v. 12, № 3, March, -p.402-416.

123. Proceeding of the special section on automatic theorem proving 89-th annual meeting of the American mathematical society. Denver: Contemp. Math., 1984. -360 p.

124. Reiss S. Generation of compiler symbol processing mechanisms from specifications //ACM TOPLAS. 1983, v.5, № 2. - p. 127-163.

125. Reiss S. PECAN: Program Development Systems that support Multiple Views // IEEE Trans, on SE. 1985, v. 11, № 3. - p.276-284.

126. Schwartz M.D., Delisle M.N., Begwani V. Incremental Compilation in Magpie // SIGPLANNotices. 1984, v.19, № 6.-p.260-263.

127. Scott D. Domains for denotational semantics // Lect. Notes in Comp. Sci., 1982, №140. -p.577-613.

128. Senko M.E. Conceptual Schemas, Abstract Data Structures, Enterprise Descriptions //Comp. J. 1981, v.24, № 1. - p.42-46.

129. Senko M.E., Altman E., Astrakan M., Fehder P. Data Structures and Accessing in Database System // IBM Syst. J. 1973, v. 19, № 1. - p.84-95.

130. Shaw D.E. NON-VON's Applicability to Three AI Task Areas // Proc.of the 9th Int. Joint. Conf. On Artif. Intell., 1985, v.l.

131. Smith J.M., Smith D.C.P. Database Abstraction: Aggregation and Generalization // ACM Trans. Database Syst. 1977, v.2, № 2.

132. Stolfo S.J., Shaw D.E. DADO: Three-Structural Machine Architecture for Production Systems // Proc. of the 2nd Conf. of the Amer. Assoc. for Artif. Intell., Aug., 1982.

133. Robinson J.A. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1), 1965. p.23-41.

134. Teitelbaum T., Reps T. The Cornell Program Synthesizer: A Syntax Directed Programming Environment// Comm. ACM.- 1981, v.24, № 9.-p. 563-573.

135. The ANSI/X3/SPARC DBMS Report of the Study Group on Database Management System. Inform. Systems, 1978, #3. - p. 173-191.

136. Turner D.A. Miranda a non-strict functional language with polymorphic types. In Proc. Conference on Functional Programming Language and Computer Architecture, Nancy, 1-16, LCNS 201, Springer Verlag, 1985.158