Помощь в учёбе, очень быстро...
Работаем вместе до победы

Разработка семантических моделей на основе теории категорий для моделирования данных

Диссертация: Разработка семантических моделей на основе теории категорий для моделирования данных
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Решена важная научно-техническая задача, связанная с разработкой систем управления данными, учитывающих более точно семантические свойства данных, на основе применения элементов теории категорий. Предложена формализация семантических свойств в виде категорной модели данных, которая позволяет естественным образом представить такие понятия объектных семантических моделей как: сущность, объект… Читать ещё >

Содержание

  • 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. Автоматизация разработки доменно-ориентированной информационной системы
  • Выводы

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

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

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

Поддержка баз данных в современных СУБД достигается благодаря разделению логических и физических структур данных, а также с помощью арсенала инструментальных средств, призванных облегчить осуществление таких функций, как проектирование базы данных и обеспечение необходимого уровня производительности, целостности и надежности системы. Целостность баз данных обеспечивается путем введения жестких ограничений на первичные и внешние ключи, на ссылки и сериализации транзакций. Надежность достигается за счет ведения системного журнала с предварительной записью состояния баз данных, реализации механизма транзакций. Совместное их использование позволит поддерживать непротиворечивость данных при отказе оборудования или аварийном завершении программ [17, 32].

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

Проблемы, связанные с разработкой моделей данных и проектированием баз данных, рассматриваются в работах отечественных и зарубежных специалистов (М.Ш. Цаленко, Л. А. Калиниченко, Э. Ф. Кодд, К. Дейт, Дж. Мартин и др.).

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

Принципы интеграции данных из неоднородных источников находят выражение в компонентных методах программирования и применяются в методах управления распределенными объектами, которые реализованы в системах CORBA, СОМ и OLE. Каждый из этих подходов предоставляет некоторую объектно-ориентированную модель, на которой базируется общий язык описания интерфейсов распределенных объектов. Хотя эти стандарты и поддерживающие их системы прошли долгий путь в интеграции различных систем программного обеспечения, они лучше всего подходят для обеспечения унифицированных синтаксических интерфейсов новых или суш, ествуюш-их приложений. Эти подходы обеспечивают обш-ий протокол для передачи сообш, ений между объектами в распределенной среде, но отсутствует решение проблемы разрешения семантических противоречий. Они не могут быть самостоятельно использованы для интеграции или создания унифицированных данных из различных источников. Это потребует создания специальной модели и надстройки над интерфейсами CORBA, СОМ или OLE. При этом хорошая модель данных должна быть достаточно выразительна для описания большого класса приложений и допускать эффективную реализацию. Несмотря на то, что реляционная модель является доминируюш-ей на протяжении последнего десятилетия, имеются явные признаки необходимости в более мош-ных и гибких моделях. Из вышесказанного можно сделать вывод, что разработка и использование моделей данных являются важными направлениями исследований в области проектирования информационных систем и баз данных.

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

Объектом исследования являются методы проектирования и создания информационных системЛЛ — лл’лл.

Предметом исследования являются модели данных и их семантические свойства, а также методы их реализации.

Задачи исследования. Для достижения поставленной цели решаются следующие задачи:

L Анализ семантических свойств моделей и разработка моделей данных на основе применения элементов теории категорий.

2. Разработка методов реализации категорной модели.

3. Разработка методов организации данных в информационных системах, построенных на основе категорной модели данных.

4. Анализа целостности и эффективной организации данных.

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

Научная новизна.

1. Применение категорной модели для моделирования семантики данных.

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

3. Разработка методов реализации категорной нумерационной доменно-ориентированной модели данных.

Основные результаты и положения, выносимые на защиту.

1. Категорная модель данных.

2. Метод преобразования реляционной модели в категорную модель данных и обратно.

3. Интерфейс и метод реализации категорной модели на основе нумерационной доменно-ориентированной модели данных.

4. Метод реализации информационных систем на основе категорной нумерационной доменно-ориентированной модели данных.

Практическая ценность заключается в следующем:

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

— разработан объектно-ориентированный интерфейс для создания типовых информационных компонент;

— разработаны типовые информационные компоненты ускоряющие процесс создания прикладных информационных систем и повышающие надежность подобных систем.

Апробация работы. Основные результаты работы докладывались и получили одобрение на Всероссийской научно-технической конференции «Непрерывная и смежные логики в информатике, экономике и социологии» (г. Пенза, 1997 г.). Третьей Международной научно-практической конференции «Математические методы и компьютеры в экономике» (г. Пенза, 1998 г.). Международной научно-технической конференции «Современные научно-технические проблема гражданской авиации» (г. Москва, 1999 г.). Третьей Международной научной конференции «Методы и средства управления технологическими процессами» (г. Саранск, 1999 г.). Третьей международной научно-методической конференции «Новые информационные технологии обучения в региональной инфраструктуре» (г. Пенза, 2000 г.).

Реализация работы. Основные результаты, изложенные в диссертационной работе, использованы в НИР «Доменно-ориентированная нумерационная система управления базами данных» по программе «Конверсия и высокие технологии. 1997 — 2000 г. г.» (Пензенский государственный университет), использованы в разработке программного и информационного обеспечения типовой автоматизированной информационной системы вуза (Пензенский государственный педагогический университет им. В.Г. Белинского).

Публикации. Основное содержание диссертационной работы отражено в 11 публикациях.

Структура и объем работы. Диссертация состоит из введения, трех глав, заключения, списка литературы и приложения. Работа содержит 158 страниц текста, 30 рисунков, 6 таблиц, список литературы из 98 наименований, 3 страницы приложения.

Основные результаты диссертационной работы получили отражение в 11 печатных работах автора [38 — 48], а также докладывались на конференциях.

Список основных сокращений.

БД — база данных вен — внутрисистемный номер

ИС — информационная система.

НЭС — номер элемента (экземпляра) сущности.

СУБД — система управления базами данных.

Заключение

.

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

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

2. Разработана категорная нумерационная доменно-ориентированная организация данных для реализации категорной модели данных.

3. Разработаны, на основе категорной модели данных, структура типового абстрактного класса, структура категорной доменно-ориентированной ИС, а также этапы проектирования категорной доменно-ориентированной ИС.

4. Доказано, что наличие типовых базовых доменов позволит сократить сроки разработки ИС в два и более раз.

5. Доказано, что в доменно-ориентированной организации данных наличие семантических сведений об области возможных значений атрибутов.

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

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

Показать весь текст

Список литературы

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

Пора сдавать?