Разработка семантических моделей на основе теории категорий для моделирования данных
Диссертация
Решена важная научно-техническая задача, связанная с разработкой систем управления данными, учитывающих более точно семантические свойства данных, на основе применения элементов теории категорий. Предложена формализация семантических свойств в виде категорной модели данных, которая позволяет естественным образом представить такие понятия объектных семантических моделей как: сущность, объект… Читать ещё >
Содержание
- 1. Анализ моделей данных
- 1. 1. Основные модели
- 1. 2. Теоретико-множественная модель
- 1. 3. Бинарная модель
- 1. 4. Трехуровневая множественная модель
- 1. 5. Семантическая иерархическая модель
- 1. 6. Модель «сущность-связь»
- 1. 7. Модель в виде семантической сети
- 1. 8. Семантическая бинарная модель
- 1. 9. Модель с неполной информацией
- 1. 10. Модель на позиционных множествах
- 1. 11. Матрично-реляционная модель
- 1. 12. Дедуктивная модель
- 1. 13. Расширенная модель Кодда
- 1. 14. Временная модель
- 1. 15. Объектно-ориентированная модель
- 1. 16. Многомерная модель
- 1. 17. Бинарная категорная модель
- 1. 18. Семантическая категорная модель
- 1. 19. Анализ семантических свойств и теоретической обоснованности моделей.,
- Выводы
- 2. Семантическое моделирование данных с применением элементов теории категорий
- 2. 1. Модель данных на основе теории категорий
- 2. 2. Операции в категорной модели
- 2. 3. Реляционная и категорная доменно-ориентированная модели данных
- 2. 4. Основные признаки категорной доменно-ориентированной модели
- 2. 5. Связь между реляционной и категорной доменно-ориентированной моделями данных
- 2. 6. Разработка методов идентификации элементов доменов
- 2. 7. Нумерация и реализация морфизмов
- 2. 8. Моделирование динамической базы данных на основе категорной модели
- Выводы
- 3. Категорная модель данных и проектирование открытых информационных систем
- 3. 1. Категорная модель и организация данных в информационных системах
- 3. 2. Описание основных функций управления элементами домена
- 3. 3. Оценка семантических свойств доменов при обеспечении целостности и эффективности БД
- 3. 4. Учет индивидуальных семантических свойств данных в доменно-ориентированной организации данных
- 3. 5. Описание диалога доменно-ориентированной информационной системы
- 3. 6. Автоматизация разработки доменно-ориентированной информационной системы
- Выводы
Список литературы
- Александров А. А. Системы управления базами данных для ЕС ЭВМ/ А. А. Александров, В. В. Бойко и др. М.: Финансы и статистика, 1984. -224 с.
- Андон Ф. И. Основные положения системы управления базами данных ОКА/ Ф. И. Андон, В. Г. Долгополый и др.// УсиМ. 1977. — № 6. -С. 38−41.
- Бабэ Б. Просто и ясно о Borland С++/ Пер. с англ. М.: Бином, 1996.416 с.
- Белнап П., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981.288 с.
- Бекич 3. Активные базы данных: аналитический обзор// Программирование. 1990. — № 5. — С. 63−72.
- Брудно В. А. Базы данных с неполной информацией/ В. А. Брудно, Д. П. Скворцов, В. К. Финн, М. Ш. Цаленко// Семиотика и информатика. -М.: ВИНИТИ, 1985. Вып. 25. — С. 5−45.
- Брусенков П. В. Программная система управления базами данных СИНБАД/ Н. В. Брусенков и др.// Алгоритмы и организация решения экономических задач. М.: Статистика, 1975. Вып. 7. — С. 59−72.
- Буч Г. Объектно-ориентированное проектирование с примерами применения/ Пер. с англ. М.: Конкорд, 1992. — 519 с.
- Вендров А. М. CASE-технологии. Современные методы и средства проектирования информационных систем. М.: Финансы и статистика, 1998. -176 с.
- Виноградов М. М. Модель плексов: семантика и формализация/ М. М. Виноградов, М. Р. Когаловский, В. В. Когутовский// Системы управления базами данных с многоуровневой архитектурой. М.: ЦЭМИ АН СССР, 1980. — С. 3−15.
- Вон К. Технология объектно-ориентир о ванных баз данных// Открытые системы. 1994. — № 4. — С. 30−42.
- Гилула М. М. Множественная модель данных в информационных системах. М: Наука, 1992. — 208 с.
- Горбатов В. А. Логическое управление информационными процессами/ В. А. Горбатов, П. Г. Павлов, В. Н. Четвериков. М.: Энергоатомиздат, 1984. 304 с.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин/ Пер. с англ. М.: Мир, 1975. — 544 с.
- Дейт К. Введение в системы баз данных/ Пер. с англ. М.: Наука, 1980. — 463 с.
- Дейт К. Введение в системы баз данных/ Пер. с англ. 6-е изд. -Киев: Диалектика, 1998. — 784 с.
- Зильбершац А. Стратегические направления в системах баз данных/ А. Зильбершац, С. Здоник// СУБД. 1997. — № 4. — С. 4−23.
- Злуф М. М. Queгy-by-Examp1e: язык баз данных// СУБД. 1996. -№ 3. — С. 149−160.
- Искусственный интеллект: В 3-х кн. Кн. 2. Модели и методы: Справочник/ Под ред. Д. А. Поспелова. М.: Радио и связь, 1990. — 304с.
- Калиниченко Л. А. Эволюция языка описания данных КОДАСИЛ/ Л. А. Калиниченко, А. И. Прохоров// Алгоритмы и организация решения экономических задач. М.: Статистика, 1975. Вып. 7. — С. 77−84.
- Калиниченко Л. А. Языковые средства временно-ориентированных моделей данных/ Л. А. Калиниченко, М. Г. Манукян// Программирование. -1990.-№ 5.-С. 73−87.
- Калиниченко Л. А. Стандарты ОМО: Язык определения интерфейсов ГОЬ в архитектуре СОЯБА/ Л. А. Калиниченко, М, Р. Когаловский// СУБД. -1996. -№ 2. -С. 115−140.
- Калиниченко Л. А. Интероперабельность брокеров в стандарте СОЯБА 2.0/ Л. А. Калиниченко, М. Р. Когаловский// СУБД. 1996. — № 3. -С. 125−135.
- Калиниченко Л. А. Методы и средства интеграции неоднородных баз данных. М.: Наука, 1983. — 423 с.
- Каш Ф. Модули и кольца/ Пер. с немецк. М.: Мир, 1981. — 368с.
- Ковтун И. И. Матрично-реляционная модель данных для представления и обработки информации в автоматизированных системах мониторинга и управления// Программирование. 1997, — № 6. — С. 58−72.
- Когаловский М. Р. Механизмы концептуального уровня СУБД МУССОН/ М. Р. Когаловский, В. В. Когутовский// Техника реализации многоуровневых систем управления базами данных. М.: ЦЭМИ АН СССР, 1982.-С. 20−40.
- Клоксин У. Программирование на языке Пролог/ Пер. с англ./ У. Клоксин, К. Меллиш. М.: Мир, 1987. — 336 с.
- Кодд Э. Ф. Расширение реляционной модели для лучшего отражения семантики// СУБД. 1996. — № 5−6. — С. 163−192.
- Кодд Э. Ф, Расширение реляционной модели баз данных для достижения более глубокого понимания смысла данных/ Пер. с англ. -Днепропетровск, 1981. 73 с.
- Кузин Л. Т. Основы кибернетики: В 2-х т. Т.2. Основы кибернетических моделей: Учеб. пособие для вузов. М.: Энергия, 1979. -584 с.
- Кузнецов С. Д. Введение в СУБД. Ч. 3// СУБД. 1995. — № 3. -С. 114−127.
- Кузнецов С. Д. Направления исследований в области управления базами данных: краткий обзор// СУБД. 1995. — № 1. — С. 23−32.
- Кузнецов С. Д. Введение в СУБД. Ч. 911 СУБД. 1996. — № 5−6. -С. 136−153.
- Линьков В. М. Разработка нумерационных механизмов управления данными в программах// Практика применения баз данных для решения информационно-поисковых задач и задач управления: Сб. тр. Пенза: ПДНТ, 1989.-С. 25−26.
- Линьков В. М. Нумерация системы конечных множеств// Оптимальные методы вычислений и их применение: Межвуз. сб. науч. тр. -Пенза: Пензенский политехнический институт, 1987. С. 113−117.
- Линьков В. М. Нумерационные методы в проектировании систем управления данными: Монография. Пенза: Пензенский политехнический институт, 1994. — 156 с.
- Линькова В. П. Обучение информационно-логическому моделированию с использованием ГОБР1Х-методологии/ В. П. Линькова, А. В. Линькова// Университетское образование: Материалы V Междунар. науч.-метод. конф. 4.1. Пенза: ПГУ, ПДЗ, 2001. — С. 60−62.
- Линькова А. В. Модель описания записи-ориентированной организации данных// Применение баз данных: Материалы науч.-практ. семинара. Пенза: ПДЗ, 1997. — С. 21−22.
- Линькова А. В. Категорная модель данных и объектно-ориентированное моделирование// Современные научно-технические проблемы гражданской авиации: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999.-С. 276.
- Линькова А. В. Свойства объектной категорной модели данных// Современные научно-технические проблемы гражданской авиации: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999. — С. 276−277.
- Линькова А. В. Категорная модель данных в системах управления// Методы и средства управления технологическими процессами: Материалы Третьей Междунар. науч. конф. Саранск: Мордовск. ун-т, 1999. — С. 185−188.
- Линькова А. В. Применение бинарных деревьев для хранения доменов// Современные научно-технические проблемы ГА: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999. — С. 284.
- Линькова А. В. Особенности реализации составных доменов// Современные научно-технические проблемы ГА: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999. — С. 288−289.
- Линькова А. В. Модель данных на основе применения элементов теории категорий// Научный вестник МГТУГА, Серия информатика, 2000. -№ 25.-0.21−25.
- Логический словарь: ДЕФОРТ/ Под ред. А. А. Ивина, В. Н. Переверзева, В. В. Петрова. М.: Мысль, 1994. — 268 с.
- Гуков Л. И. Макетирование, проектирование и реализация диалоговых информационных систем/ Л. И. Гуков, Е. И, Ломако, А. В. Морозова и др. М.: Финансы и статистика, 1993. — 320 с.
- Мальцев А. И. Алгоритмы и рекурсивные функции. М.: Наука, 1965.-360 с.
- Мартин Дж. Организация баз данных в вычислительных системах/ Пер. с англ. М.: Мир, 1978. — 616 с.
- Мейер Д. Теория реляционных баз данных/ Пер. с англ. М.: Мир, 1987. — 608 с.
- Нагао М. Структуры и базы данных/ Пер. с японск./ М. Нагао, Т. Катаяма, С. Уэмура. М.: Мир, 1986. — 197 с.
- Новоженов Ю. В. Объектно-ориентированные технологии разработки сложных программных систем. М.: Бит, 1996. — 115 с.
- Озкарахан Э. Машины баз данных и управление базами данных/ Пер. с англ. М.: Мир, 1989. — 695 с.
- Олле Т. В. Предложение КОДАСИЛ по управлению базами данных/ Пер. с англ. М.: Финансы и статистика, 1981. — 286 с.
- Плоткин Б. И. Универсальная алгебра, алгебраическая логика и базы данных. М.: Наука, 1991.-448 с.
- Попов Э. В. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта/ Э. В. Попов, Г. П. Фирдман. М.- Наука, 1976. -445 с.
- Пржиялковский В. В. Абстракции в проектировании БД// СУБД. -1998.-№ 1−2.-С. 90−115.
- Рубашкин В. Ш. Представление и анализ смысла в интеллектуальных информационных системах. М.: Наука, 1989. — 192 с.
- Сахаров А. А. Принципы проектирования и использования многомерных баз данных (на примере Oracle Express Server)// СУБД. 1996. -№ 3.-0.44−58.
- Смит Д. М. Абстракции баз данных: Агрегация и обобщение/ Д. М. Смит, Д. К. Смит// СУБД. 1996. — № 2. — С. 141−160.
- Стибли Э. Теория моделей данных и процессирование позиционных множеств/ Э. Стибли, Т. Хардгрейв// Модели данных и системы баз данных, труды совместного советско-американского семинара. Москва, 14−23 ноября 1977 г.-М.: Наука. 1979.
- Столяров Г. К, Обзор предложений рабочей группы КОДАСИЛ по базам данных// Алгоритмы и организация решения экономических задач. -М.: Статистика, 1974. Вып. 4. С. 48−77.
- Столл Р. Множества. Логика. Аксиоматические теории/ Пер. с англ. -М.: Просвещение, 1968. 231 с.
- Тей А. Логический подход к искусственному интеллекту: от классической логики к логическому программированию/ Пер. с франц./ А. Тей, П. Грибомон, Ж. Луи, Д. И. Снийерс др. М.: Мир, 1990. — 432 с.
- Ульман Дж. Основы систем баз данных/ Пер. с англ. М.: Финансы и статистика, 1983. — 333 с.
- Флорес Н. Структуры и управление данными. М.: Финансы и статистика, 1982. — 318 с.
- Хаббард Дж. Автоматизированное проектирование баз данных/ Пер. с англ. М.: Мир, 1984. — 296 с.
- Цаленко М. Ш. Моделирование семантики в базах данных. -М.: Наука, 1989.-288 с.
- Цаленко М. Ш. Основы теории категорий/ М. Ш. Цаленко, Е. Г. Шульгейфер. М.: Наука, 1974. — 256 с.
- Цикритзис Д. Модели данных/ Пер. с англ./ Д. Цикритзис, Ф. Лоховски. М.: Финансы и статистика, 1985. — 343 с.
- Чери С. Логическое программирование и базы данных/ Пер. с англ./
- C. Чери, Г. Готлоб, Л. Танка. М.: Мир, 1992. — 352 с. 76. трейдер Ю. А. Системы и модели. М.: Радио и связь, 1988. — 151 с.
- Шринивасан В. Долговременное хранение объектов в объектно-ориентированных приложениях/ В. Шринивасан, Д. Чанг// Открытые системы. -1999.-№ 3.-0.43−57.
- Abrial J. R. Data semantics// Data Base Management/ J. R. Abrial, J.W. Klimbie, K. L. Koffeman, eds. Noth-Holland, Amsterdam, 1974. — P. 1−59.
- An Information Algebra// Communications of ACM. 1962. — v. 5. -№ 4.-P. 190−204.
- Brodie M. On modelling behavioural semantics of databases// Proc. International Conference on Very Large Data Bases, 11 Sept., 1981. P. 32−41.
- Brodie M. Data abstraction for designing database intensive application// Proc. Workshop on Data Abstraction, Databases and Conceptual Modellig, SIGPLAN Notices 16, 1 Jan., 1981.
- Chamberlin D. SEQUEL: A Structured English Query Languade/
- D. Chamberlin, R. Boyce// Proc. 1974 ACM SIGMOD Workshop on Data Description, Access and Control.
- Childs D. L. Description of set theoretic data structure// Proc. of AFIPS Fall Joint Computer Conference, N. Y., 1968.
- Chen P.P. The entity-relationship model: Toward a unified view of data. ACM Trans. Database Syst., 1976. P. 9−36.
- Codd E. F. A relational model of data for large shared data banks. Commun. ACM, 13, 1970. p. 377−387.
- Codd E. F. Further normalization of the Data base relational model// Courant Computer Science Symposium 6, Data base Systems. N. Holland Publ. Co., 1972.-P. 33−64.159
- Документы о внедрении результатов1. Утверждаю"
- Директор Государственного научио-исслсдовАггсльского института И1|форма1дио1.]шх '1схиоло1ИЙ и1. АКТо пнсдрепни II 11С1И).111>зовапни резулыагов дисссргациоппой
- Проректор по научной работе1. A.A. Ловков