Композиционные методы построения инструментальных информационных систем
Диссертация
Благодаря концепции базы данных (БД) обеспечивается независимость описания предметной области (ПО) и задач приложений от структур данных и методов их обработки, программ — от логической структуры баз данных, логической структуры данных — от методов их физической организации. Независимость данных по5 нимается как способность СУБД создавать различные представления об одних и тех же хранимых данных… Читать ещё >
Список литературы
- Александров С.Ю. Синтаксически-ориентированные редакторы: функциональные возможности и архитектура. Препр. НФ ИТМ и ВТ АН СССР, 1987.
- Арлазаров В.Л., Диниц Е. А. К теории инструментальных систем // Системные исследования. Методологические проблемы. Ежегодник. М.: Наука, 1983. -с.279−292.
- Арлазаров В.Л. Элементы теории инструментальных систем // Системные исследования. Методологические проблемы. Ежегодник, 1986. М.: Наука, 1987. -с.74−101.
- Артемьев В.И. Обзор способов и средств построения информационных приложений // СУБД № 5−6, 1996.
- Астахов А.Д. Методологические основы организации вычислительных и информационных процессов // Системные исследования. Методологические проблемы. Ежегодник. М.: Наука, 1986. — с. 199−222.
- Астахов А.Д. Программировать без репрограммирования // Теоретические основы информационной технологии: Сб.тр. -М.: ВНИИСИ, вып. № 22, 1988.
- Базисный РЕФАЛ и. его реализация на вычислительных машинах. М.: ЦНИПИАСС, 1977.
- Бандман О.Л. Асинхронная интерпретация параллельных микропрограмм // Кибернетика, Киев. 1984. -№ 2. — с.14−20.
- Барздинъ Я.М., Калниньш Я. Я. Об одном языке преобразования графов, ориентированном на задание автоматов // Автомат, и выч. техн., Рига. 1973, № 5. — с.22−28.145
- Белнап H., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981. -288 с.
- Вениаминов Е.М. Алгебраический подход к моделям баз данных реляционного типа // Семиотика и информатика, вып. 14, 1980. с.44−80.
- Борщев В. Б. Параллельные асинхронные вычисления и моделирование параллельного выполнения логических программ (вегетативная модель вычислений и ее применения). Вычислительные науки. Т.4 (Итоги науки и техники. ВИНИТИ АН СССР). М., 1990. — с.144−197.
- Борщев В.Б. Схемы на клубных системах и вегетативная машина // Семиотика и информатика, Вып.22, 1983. — с.3−44.
- Борщев ВБ., Хомяков М. В. Вегетативная машина // Тезисы докладов и сообщений Всесоюзной школы-семинара «Семиотические аспекты формализации интеллектуальной деятельности, Телави-83». M.: ВИНИТИ, 1983. — с.15−17.
- Брудно В.А., Скворцов ДБ., Финн В.К, Цаленко М. Ш. Базы данных с неполной информацией // Семиотика и информатика, вып.25. М.: ВИНИТИ. -1985.-c.5−45.
- Булъонков М.А. Опыт теоретического анализа методов поливариантных смешанных вычислений. АН СССР СО ВЦ. Новосибирск, 1987.
- Бургин М.С. Логика интеллектуальных систем // Тез. докл. II Всесоюз. конф. «Искусственный интеллект-90». 1990, т. 1.-с. 121−123.
- Буч Г. Объектно-ориентированное проектирование с примерами применения. -М.: Конкорд, 1992.
- Бэкус Дж. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения // Математическая146логика в программировании: Сб. статей М34 1980−1988 гг.: Пер. с англ. М.: Мир, 1991, — с.8−53.
- Ва Б. У., Лоурай М. Б., Ли Г. ЭВМ для обработки символьной информации // ТИИЭР, т.77, № 4, 1989. с.5−40.
- Вагин В.Н., Захаров В. Н., Поспелов Д. А. и др. Проект ПАМИР // Изв. АН СССР. Техн. кибернетика. 1988, № 2.
- Варсанофъев Д.В. Исследование и разработка учебно-производственных и учебных систем программирования. Автореф. канд. диссертации. М.: МГУ, 1988.
- Галаган Н.И. Организация взаимодействия экспертных систем и баз данных // Знания диалог — решения. — Киев: НПО «Горсистемотехника», 1990. — 4.1. -с.26−35.
- Гергей Т., Поспелов Д. А. Проект ЛИВС логическая информационно-вычислительная система // Изв. АН СССР. Техн. кибернетика. 1986, № 5.
- Голдблат Р. Топосы. Категорный анализ логики. М.: Мир, 1983.
- Грисуолд Р., Поудж Дж., Полонски И. Язык программирования СНОБОЛ-4. М.: Мир, 1980.
- Грэй П. Логика, алгебра и базы данных. М.: Машиностроение, 1989. — 368 с.
- Дейкстра Э. Дисциплина программирования. М.: Мир, 1978. — 278 с.
- Дейт К. Введение в системы баз данных. М.: Наука, 1980. — 463 с.
- Дрибас В.П. Реляционные модели баз данных.-Минск: Изд. БГУ, 1982. 192с.
- Горчинская О.Ю. Теоретический аспект построения реляционных моделей баз данных. Обзор // Автоматика и телемеханика. 1983, № 1. с.5−25.
- Евстигнеев В.А. Применение теории графов в программировании / Под ред. А. П. Ершова. М.: Наука, 1985. — 352 с.
- Ершов А.П. Об одном теоретическом принципе системного программирования // Доклады АН СССР, 1977, т.233, № 2.
- Иванов П.М. Алгебраическое моделирование сложных систем. М.: Наука, 1996.-272 с.
- Иванов Ю.Н. Теория информационных объектов и системы управления базами данных. М.: Наука, 1988. — 232 с.
- Калинченко Л.А. Методы и средства интеграции неоднородных баз данных. -М.: Наука, 1983.-423 с.
- Капитонова Ю.В., Летичевский A.A. Математическая теория проектирования вычислительных систем. М.: Наука, 1988.148
- Касьянов В.П., Поттосин КВ. Методы построения трансляторов. Новосибирск: Наука, 1986. — 344 с.
- Ковалъски Р., Серго М. Исчисление событий, основанное на логике // Язык Пролог в пятом поколении ЭВМ. М.: Мир, 1988. — с.413−445.
- Когаловский М.Р. Технология баз данных на персональных ЭВМ. М.: Финансы и статистика, 1992. — 224 с.
- Колмогоров А.Н., Успенский В. А. К определению алгоритма // Успехи матем. наук, Вып.4, 1958,-с.3−28.
- Кристальный Б.В., Шарыгин В. И. Об отображении семантики предметной области в структуре фактографической базы данных // НТИ. Сер. 2, 1986, № 6. -с.6−11.
- Кузин Л.Т., Михайлов Л. И. Механизмы сопоставления в интеллектуальных системах // Интеллектуальные банки данных. / Под ред. В. С. Ионова. М.: Энергоиздат, 1982. — с.62−72.
- Кузнецов В.Е. Представление в ЭВМ неформальных процедур: продукционные системы. М.: Наука, 1989.
- Кузнецов С.Д. Направления исследований в области управления базами данных: краткий обзор // СУБД № 1, 1995.
- Лавров С.С., Силагадзе. Автоматическая обработка данных. Язык ЛИСП и его реализация. М.: Наука, 1978. — 176 с.
- Малиновский A.A. Основные понятия и определения теории систем // Системные исследования: Методол. пробл.: Ежегодник, 1979. М.: Наука, 1980. — с.78−91.
- Макговерн Д., Уайм К. СУБД типа «клиент-сервер». Особенности архитектуры//Журнал д-ра Добба, 1991, № 1. с.28−38.
- Макетирование, проектирование и реализация диалоговых информационных систем: Под ред. Е. И. Ломако / Л. И. Гуков, Е. И. Ломако, А. В. Морозова др. -М.: Финансы и статистика, 1993. 320 с.
- Марков ЮТ. Функциональный подход в современном научном познании. -Новосибирск: Наука, 1982. 254 с.
- Матевосов Р.И., Хохлов Г. Н., Шарыгин В. И. Информационная модель объекта управления основа создания базы данных автоматизированной системы / Экономич. ком. ООН для Европы: Комитет по хим. промышл. — Варна, 1980.
- Мейер Д. Теория реляционных баз данных. М.: Мир, 1987. — 608 с.
- Миренков H.H. Иерархические параллельные алгоритмы // Вычислительные процессы и системы. -М.: Наука, 1985. Вып. 2. — с.121−128.
- Михайлов А.И., Черный А. И., Гиляревский P.C. Основы информатики. М.: Наука, 1968.
- Мучник Т.Г. Языково-настраиваемый структурный редактор со средствами семантического контроля // Программирование. 1990, № 2. с. 10−20.
- Нахушев A.M., Казиев В. М., Энеева Л. А. и др. К вопросу автоматизированного прогнозирования урожайности основных сельскохозяйственных культур в условиях орошения и степной зоны // САПР и АСПР в мелиорации. Нальчик: КБГУ, 1983.
- Никитина Г. Управление данными, размещенными в оперативной памяти // Открытые системы, № 1, 1999. с.46−51.150
- Никитченко Н.С., Редъко В. Н. Композиционное и функциональное программирование: сравнительный анализ // Программирование. 1985, № 2. с. 15−28.
- Падучева Е.В. Семантические типы ситуаций. // Семантика и информатика. -1985, вып.24. с.96−116.
- Пакеты прикладных программ. Инструментальные системы. М.: Наука, 1987.
- Пильщиков В.Н. Язык ПЛЭНЕР. М.: Наука, 1983.
- Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984.- 264 с.
- Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных.- М.: Наука. Гл. ред. физ.-мат. лит., 1991. 448 с.
- Попов Э.А. Экспертные системы состояние, проблемы, перспективы // Изв. АН СССР. Сер. Техн. кибернетика. — 1989, № 5. — с. 152−161.
- Поспелов Д.А. Продукционные модели // Искусственный интеллект. В 3-х кн. Кн.2. Модели и методы: Справочник / Под ред. Д. А. Поспелова — М.: Радио и связь, 1990. — с.49−56.
- Представление знаний в человеко-машинных и робототехнических системах. Том В. Инструментальные средства разработки систем, ориентированных на знания. М.: ВЦ АН СССР, ВИНИТИ, 1984. — 236 с.
- Программа исследований в области баз данных на следующее десятилетие. Асиломарский отчет о направлениях исследований в области баз данных // Открытые системы, № 1, 1999. с.61−68.
- Раскина А.А., Сидоров И. С., Шрейдер Ю. А. Семантические основания объектно-признаковых языков // НТИ. Сер.2. 1976, № 3. с.78−96.
- Розоноэр Л.И. О выявлении противоречий в формальных теориях I // Автоматика и телемеханика. 1983, № 6. — с.113−124.
- Розоноэр Л.И. О выявлении противоречий в формальных теориях II // Автоматика и телемеханика. 1983, № 7. — с.97−104.
- Савинков В.М., Вейнеров О. М., Казаров М. С. Обобщенные процедуры автоматизированного логического проектирования баз данных // Упр. сист. и машины, 1981, № 4. с.28−34.
- Системы управления базами данных и знаний: Справ, изд. / А. Н. Наумов, А. М. Вендров, В. К. Иванов и др.- Под ред. А. Н. Наумова. М.: Финансы и статистика, 1991. — 3 52 с.
- Степанов A.M. Фреймы и смешанные вычисления // ВЦ СО АН СССР, Препринт 297. Новосибирск, 1981.
- Степанов A.M. Экспериментальная система программирования // ВЦ СО АН СССР, Препринт 305. Новосибирск, 1981.
- Ульман Дж. Основы систем баз данных. М.: Финансы и статистика, 1983. -334 с.
- Филд А., Харрисон П. Функциональное программирование. М.: Мир, 1993. -637 с.
- Хоар И. Взаимодействующие последовательные процессы. М.: Мир, 1984. -264 с.
- Хювёнен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.1: Введение в язык Лисп и функциональное программирование. Пер. с финск. М.: Мир, 1990. — 447 с.152
- Цаленко М.Ш. Семантические и математические модели баз данных. М.: ВИНИТИ, 1985.-207 с.
- Цикритзис Д., Лоховский Ф. Модели данных. М.: Финансы и статистика, 1985.-344 с.
- Чернышев Г. В. Алгоритмические основы дискретной математики / Международная конференция «Функциональные пространства. Дифференциальные операторы. Проблемы математического образования», тез.докл., 23−27 марта, М.: РУДН, 1998.-c.235.
- Чернышев Г. В. Базы данных и знаний. Нальчик: КБИБ, 1999. — 44 с.
- Чернышев Г. В. Вычисления и базы данных // Сб. научных статей. Нальчик: КБИБ, 2000. с.38−41.
- Чернышев Г. В. Интерпретирующая диалоговая система управления прохождением информации и программами / IV Всесоюзный симпозиум по системному и теоретическому программированию, тез.докл., 31 мая 2 июня, — Кишинев: Штиинца, 1983. — с.399−400.
- Чернышев Г. В. Основы языковых конструкций интеллектуальной системы программирования ОБРАЗ // Искусственный интеллект. Итоги и перспективы. -М.: МДНТП, 1985.-с.121−126.
- Штрик А.А. Инструментальные автоматизированные средства программной инженерии: состояние и перспективы // CASE-технология / Материалы семинара. М-: ЦРДЗ, 1993. — с. 10−17.
- Alter S.L. How effective managers use information system // Harvard Bus. Rev. -1976, № 6. -p.97−104.
- Batens D. Paraconsistent extensional propositional logic // Logigue at Analyze. -1980, 23, № 91−92.-p.195−234.
- Benbasat I., Nault B.R. Imperical research in managerial support system // Decision Support Systems. 1990, -6, № 3. -p.203−226.
- Beulens A.J. The use of expert system technology in DSS // Decision Support Systems. 1989,-№ 4.-p.421−431.
- Bur stall R.M., Darlington J. A transformation system for developing recursive programs. JASM, 24(1), 1977. p.44−67.
- Burstall R.M., MacQueen D.B., Sanella D.T. Hope: an experimental applicative language. CSR-62−80, Department of Сотр. Science, Univers. of Edinburg, 1980.
- 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.
- Chen P.P. The Entity-Relationship Model-Toward a Unified View of Data // ACM Trans. Database Syst. 1976, v. l, № 1. -p.9−36.
- CoddE.F. A relational model of data for large shared data banks. Comm. ACM 13, 6, June 1970.-p.377−387.
- 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.
- Darlington J. Functional programming (Chapter 5). Distributed Computing, F. Bchambers, D.A.Duce, G.P.Jones, ed. London: Academic Press, 1984.
- Darlington J., Field A. J., Pull H. The Unification of Functional and Logic Language. Tech.Rep. Imperial College, London, England, Feb., 1985.
- DeGroot D. Restricted AND-Parallelism. Proc. Int. Conf. Fifth Generation Computers, Nov. 1984.-p.471−47 8.
- DeGroot D., Lindstrom G. (eds.). Logic Programming. Englewood Cliffs, NJ: Prentice-Hall, 1985.
- De Sanctis G. Group decision support system: a new frontier // Data Base. 1985, — 16,№ 2.-p.3−10.
- Donzeau-Gaude V., Kahn G., Lang B., Melese B. Document structure and modularity in Mentor//ACM SEN. 1984, v.9, № 3. — p. 141−148
- Doyle J. A truth maintenance system // Artificial Intelligence. 1978, 12, № 2.-p.231−272.
- Haimos P.R. Algebraic logic. N.Y., 1962.
- Hammer M., McLeod D. Data Base Description with SDM: Semantic Data Base Model // ACM Trans. Database Syst. 1981, v.6. № 3. -p.351−356.
- 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.
- Hollnagel E. Information and reasoning in intelligent decision support system II Intern. J. Man.-Mach. Stud. 1988, 327, № 5−6. -p.665−678.
- Jackson M.A. Information systems: modeling sequencing and transformations // Int. Cont. on SE, Atlanta, 1978.
- 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.
- Jen D., Kastens V. Automatic Construction of Incremental LR (1) Parsers // SIG-PLAN Notices. — 1988, v.23, № 3. — p.33−42.
- Kent W. Fact-Based Data Analysis and Design // J. Syst. and Software. 1984, v.4, № 2−3. -p.99−121.
- Kowalski R. Predicate logic as a programming language. IFIP Information Processing, 1974.-p.569−574.
- Laine H., Maanavilja O., Peltola E. Grammatical Data Base Model // Inf. Syst. -1979, v.4.-p.257−267.
- McCarthy J. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM, 3(4), 1960. -p.184−195.
- McCarthy J., Abrahams P.W., Edwards D.J., Hart T.P., Levin M.I. LISP 1.5 programmers manual, MIT Press, 1962.
- Meyer B. Cepage: Toward Computer-Aided Design of Software // The Journal of System and Software. 1988, № 8. -p.419−429.
- Michalski R.A. A theory and methodology of inductive learning // Ibid. 1983, 20, № 1. -p.111−161.156
- Milner R. A theory of type polymorphism in programming. Journal of Computer and System Science, 17, 1978. p.348−375.
- 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
- Narin’yani A.S. Parallelism as Knowledge Processing // Proc. of the 2nd Int. Conf. AISMA'86. Varna, Sept., 1986.
- Oshisanwo A.O., Dasiewicz P.P. Parallel Model and Architecture for Production Systems // Proc. of the Conf On Parallel Processing. Aug., 1987.
- Polster F.J. Reuse of software through generation of partial systems // IEEE Trans. Software Eng. 1986, v. 12, № 3, March, -p.402−416.
- Proceeding of the special section on automatic theorem proving 89-th annual meeting of the American mathematical society. Denver: Contemp. Math., 1984. -360 p.
- Reiss S. Generation of compiler symbol processing mechanisms from specifications //ACM TOPLAS. 1983, v.5, № 2. — p. 127−163.
- Reiss S. PECAN: Program Development Systems that support Multiple Views // IEEE Trans, on SE. 1985, v. 11, № 3. — p.276−284.
- Schwartz M.D., Delisle M.N., Begwani V. Incremental Compilation in Magpie // SIGPLANNotices. 1984, v.19, № 6.-p.260−263.
- Scott D. Domains for denotational semantics // Lect. Notes in Comp. Sci., 1982, № 140. -p.577−613.
- Senko M.E. Conceptual Schemas, Abstract Data Structures, Enterprise Descriptions //Comp. J. 1981, v.24, № 1. — p.42−46.
- 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.
- 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.
- Smith J.M., Smith D.C.P. Database Abstraction: Aggregation and Generalization // ACM Trans. Database Syst. 1977, v.2, № 2.
- 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.
- Robinson J.A. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1), 1965. p.23−41.
- Teitelbaum T., Reps T. The Cornell Program Synthesizer: A Syntax Directed Programming Environment// Comm. ACM.- 1981, v.24, № 9.-p. 563−573.
- The ANSI/X3/SPARC DBMS Report of the Study Group on Database Management System. Inform. Systems, 1978, #3. — p. 173−191.
- 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