Визуальный метод разработки объектно-ориентированных баз данных для систем автоматизированного проектирования тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Белых, Александр Валерьевич

• Белых, Александр Валерьевич
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Белых, Александр Валерьевич

Введение.

1 Анализ объектно-ориентированных баз данных.

1.1 Общие понятия объектно-ориентрованного подхода в ООБД.

1.2 Объектно-ориентированные модели данных и стандарт ООМСт.

1.3 Языки программирования систем ООБД.

1.4 Визуальные языки проектирования ООБД.

1.5 Современные методы нормализации ООБД.

1.6 Вывод.

2 Формальное описание объектно-ориентированной 14-модели данных и разработка её декларативного языка программирования.

2.1 Общие понятия объектно-ориентированной >1-модели данных.

2.2 Формальное описания ОО 1ЧГ-модели данных.

2.3 Разработка декларативного языка программирования ОО И-модели данных.

2.4 Вывод.

3 Разработка методов и средств проектирования ОО К-модели данных

3.1 Разработка визуального языка проектирования 1Ч-модели данных.

3.2 Разработка алгоритма нормализации ООБД на основе №Модели данных

3.3 Сравнение алгоритма нормализации Ы-модели данных с существующими алгоритмами нормализации ООБД.

3.4 Вывод.

4 Разработка визуальной среды проектирования ООБД для САПР.

4.1 Описание системы проектирования ООБД для САПР.

4.2 Влияние среды проектирования 18В8 на процесс разработки информационных систем.

4.3 Вывод.

Введение диссертации (часть автореферата) на тему «Визуальный метод разработки объектно-ориентированных баз данных для систем автоматизированного проектирования»

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

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

Проектирование схемы ООБД это кропотливый, трудоемкий и динамический процесс, который отличается от проектирования схемы реляционных баз данных. Этот процесс сместился из логической области к абстрактному уровню, где важной задачей стало конструирование корректной абстрактной модели. При этом для построения такой модели традиционные методы проектирования не подходят из-за следующих недостатков:

1) традиционные модели данных не достаточно сильны в поддержке сложных механизмов моделирования, таких как составные объекты и наследование;

2) зависимости ограничений, используемые в традиционном подходе проектирования (функциональные и многозначные зависимости) имеют только ограниченный набор зависимостей, который может быть наложен на связи и атрибуты для разрешения вопроса связанного с внутриобъектными связями. Кроме того, зависимости ограничений в плоской и уплотненной моделях данных могут быть классифицированы как ограничения характеризуемые значением. Смысл, который они отражают, обусловлен взаимосвязями между данными и отношениями. В отличие от них, объектно-ориентированные модели данных поддерживают идею объектной идентификации, которая идентифицирует объекты независимо от их значений;

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

Очевидно, что для решения этих проблем требуется применение новых методик и инструментов проектирования, так как для абстрактной модели данных, обладающей более богатыми структурными возможностями по сравнению с реляционной моделью, требуется иной метод сокращения избыточности данных или другими словами метод нормализации схемы. При этом общепризнанного метода нормализации ООБД не существует, есть только отдельные методы, представленные в различных работах. Один из таких методов нормализации схемы объектно-ориентированной модели данных подробно рассматривается в работе по нормализации ООБД Z. Tari, J. Stokes, S.

8рассар1е1та [60], материалы которой используются во многих научных статьях. В этой работе акцент сделан на нормализацию сложных атрибутов, построенных используя кортеж и(или) несколько доменов простых атрибутов. Так же показано что нормализация объектно-ориентированной схемы является динамичным процессом сокращения избыточности и отражения идей, заложенных при проектировании.

Однако, рассматриваемый метод нормализации имеет и ряд недостатков:

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

2) не рассматриваются нормализация наследования и вопросы, связанные с построением дерева наследования классов;

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

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

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

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

Выполненные исследования опираются на результаты работ в области проектирования и нормализации объектно-ориентированных баз данных и САПР отечественных ученых В.М. Курейчика, Б.К. Лебедева, В.В. Курейчика, С.Д. Кузнецова, A.B. Замулина, М.Н. Гринева, а так же зарубежных ученых E.F. Codd, G. Jaeschke, H.J. Schek, М. Berler, J. Eastman, С. Russell, Т. Stanienda, Т. Kvatrani, Z. Meral Ozsoyoglu, L.Y. Yuan, M.A. Roth, H.F. Korth, T.W. Ling, L.L. Yan, V.M. Markowitz, J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Z. Tari, J. Stokes, S. Spaccapietra, W. Ambler, A. Formica, H.D. Groger, M. Missikoff, S. Ghosh, T. Dinh-Trong и др.

Объектом исследования в работе являются методы проектирования алгоритмического, программного и информационного обеспечения объектно-ориентированных САПР.

Предмет исследования составляют методы проектирования интерпритационно пригодных схем информационных баз данных в специализированных САПР.

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

Для достижения указанной цели необходимо решить следующие задачи:

1) исследование и выявление ограничений' современных объектно-ориентированных моделей данных, языков программирования, визуальных языков и методов проектирования объектно-ориентированных баз данных;

2) формализованное описание новой объектно-ориентированной (ОО) И-модели данных для объектно-ориентированных баз данных;

3) разработка нового декларативного языка для проектирования и администрирования схем объектно-ориентированных баз данных для САПР на основе объектно-ориентированной "Ы-модели данных;

4) разработка нового визуального языка проектирования для визуализации схем объектно-ориентированных баз данных для САПР на основе объектно-ориентированной 1Ч-модели данных;

5) разработка новых алгоритмов и правил нормализации схемы объектно-ориентированной базы данных для САПР, использующих математический аппарат, визуальный и декларативный языки объектно-ориентированной >Т-модели данных.

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

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

Достоверность научных результатов подтверждена теоретическими выкладками и результатами тестирования, а так же сравнением полученных результатов с результатами, приведенными в научной литературе.

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

1) разработано формальное описание грамматики нового декларативного языка программирования и администрирования объектно-ориентированной базы данных для САПР, обладающего вычислительной полнотой и основанного на формализованной объектно-ориентированной Ы-модели данных;

2) разработан новый визуальный язык проектирования схем объектно-ориентированных баз данных, отличающийся малым количеством языковых конструкций и позволяющий строить интерпретационно пригодные схемы объектно-ориентированных баз данных для САПР на основе объектно-ориентированной Ы-модели данных.

3) разработаны новые правила и алгоритм нормализации схемы объектно-ориентированной базы данных, отличающийся простотой и позволяющий строить схемы для САПР и сокращать их избыточность, используя математический аппарат, а так же визуальный и декларативный языки объектно-ориентированной N-модели данных.

Практическая ценность работы заключается в применении результатов исследования для построения среды визуального проектирования схемы ООБД для САПР - Information Systems Developer Studio (ISDS). Использование результатов исследования позволило повысить восприятие схемы ООБД для САПР, сократило её избыточность и время разработки за счет применения нового метода проектирования и визуально-декларативного языка, основанных на формализованной объектно-ориентированной N-модели данных. Также результаты исследования снизили затраты и повысили уровень взаимодействия между аналитиками и специалистами в предметной области. Все это упростило процесс проектирования ООБД для САПР и снизило на него затраты.

Реализация результатов. Практические результаты диссертационной работы внедрены в Северо-Кавказском филиале ОАО «Федеральная пассажирская компания» (г.Ростов-на-Дону) и в Ростовском ИВЦ структурном подразделении Главного вычислительного центра - филиала ОАО «РЖД» (г. Ростов-на-Дону).

Апробация работы. Основные положения и результаты диссертации докладывались и обсуждались на Молодежной научно-технической конференции «Интеллектуальные системы - 2010» и на XI Всероссийском симпозиуме по прикладной и промышленной математике (секция Информационные технологии и задачи связи).

Публикации. Основные результаты диссертационной работы опубликованы в 8 печатных работах, из них 7 работ в изданиях, входящих в «Перечень ведущих научных журналов и изданий, выпускаемых в Российской федерации», утвержденный ВАК.

Структура и объем работы. Диссертационная работа состоит из введения, четырех тематических глав, заключения, списка литературы и приложений. Общий объем основного текста — 165 страниц, включая 41 рисунка. Список литературы изложен на 10 страницах и содержит 104 наименований.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Белых, Александр Валерьевич

4.3 Вывод

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

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

Таким образом, была разработана система визуального проектирования ООБД для САПР 1808, которая в полной мере раскрывает возможности 1М-модели данных и языков ЫУЬ и №)Ь, избавляет проектировщика от написания кода и его тестирования, что в свою очередь снижает затраты при проектировании, а так же позволяет производить нормализацию схемы базы данных. При этом система КОБ обладает следующими преимуществами: снижение числа ошибок анализа, автоматическая генерация кода с отсутствием ошибок кодирования, раннее обнаружение ошибок проектирования, снижение трудоемкости проектирования ПО ИС, снижение трудозатрат на создание ПО ИС, уменьшение затрат, связанных с движением персонала, упрощение процесса развития ПО ИС, снижение риска провала проекта информатизации, снижение риска увеличения основных параметров проекта (сроки, стоимость), уменьшение временных затрат на информатизацию, более качественное обслуживания ИС и независимость от разработчиков.

Заключение

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

Для описания схемы модели данных были разработаны декларативный язык программирования МЭЬ, обладающий вычислительной полнотой, и 1 визуально-декларативный язык ЫУЬ, который обладает малой элементной базой и позволяет строить схемы ООБД для САПР, включающие бизнес-логику. Все это послужило основой для создания формализованного метода проектирования схемы ООБД, в основе которого лежит алгоритм нормализации ООБД, позволяющий строить интепритационно пригодные схемы ООБД для САПР на визуальном языке проектирования и сокращать их избыточность.

В работе также производится сравнение разработанного алгоритма нормализации с существующим алгоритмом нормализации ООБД и рассматривается, основанная на объектно-ориентированной >Т-модели данных,

153 среда визуального проектирования информационных систем - Information Systems Developer Studio (ISDS). Представленная среда визуального проектирования ISDS, в полной мере раскрывает возможности N-модели данных и языков NVL и NDL, позволяет производить нормализацию схемы ООБД и избавляет проектировщика от написания кода и его тестирования, что в свою очередь снижает затраты при проектировании.,

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

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

2) Разработанный декларативный язык проектирования и администрирования объектно-ориентированных баз данных (NDL), который позволяет описывать структуры объектно-ориентированной базы данных для САПР, основывается на формализованной объектно-ориентированной N-модели данных и обладает вычислительной полнотой.

3) Разработанный визуальный язык проектирования (NVL), позволяет оперировать большими массивами данных посредством малого количества языковых конструкций и позволяет строить интерпретационно пригодные схемы объектно-ориентированных баз данных для САПР на основе объектно-ориентированной N-модели данных.

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

5) Выполнена программная реализация декларативного языка программирования и визуального языка проектирования, а так же основанного на них алгоритма нормализации схемы объектно-ориентированной базы данных. В разработанной системе КОБ представлены развитые средства визуального проектирования и нормализации схемы, которые позволяют избавить проектировщика от написания кода и его тестирования, что в свою очередь снижает затраты и упрощает процесс проектирования объектно-ориентированной базы данных для САПР.

Список литературы диссертационного исследования кандидат технических наук Белых, Александр Валерьевич, 2010 год

1. Аткинсон М.П., Бансилон Ф., ДеВитт Д., Дитрих К.Р., Майер Д., Здоник С. Б. Манифест систем объектно-ориентированных баз данных // СУБД. 1995. № 4. С. 160-155.

2. Курейчик В.М., Корячко В.П., Норенков И.П. Теоретические основы САПР / Учебник. М.: Энергоатом-издат, 1987. 400 с.3. .Kureichik V., Koryachko V., Norenkov I. CAD Basics. Mir Publishers, Moscow, 1990. 325 p.

3. Литовка Ю.В., Дьяков И.А., Романенко A.B., Алексеев С.Ю., Попов А.И. Основы проектирования баз данных в САПР: Учеб. пособие. Тамбов: Изд-во Тамб. гос. техн. ун-та, 2005. 96 с.

4. Woo С.С., Lochovsky F.H. An Object-Based Approach to Modelling Office Work // IEEE Database Engineering Bulletin. 1985. Vol. 8. № 4. P. 14-22.

5. Atkinson M.P., Bancilhon F., DeWitt D J., Dittrich K.R., Maier D., Zdonik S. B. The Object-Oriented Database System Manifesto // The First International Conference on Deductive and Object-Oriented Databases. 1989. P. 223-240.

6. Codd E.F. A Relational Model of Data for Large Shared Data Banks // Communications of the ACM. 1983 Vol. 26. № 1. P. 64-69.

7. Jaeschke G., Schek H J. Remarks on the algebra of non first normal form relations // The 1st ACM SIGACT-SIGMOD symposium on Principles of database systems. 1982. Session 5. P. 124-138.

8. Дейт К.Дж. Введение в системы баз данных: 7-е издание. / Пер. с англ. М.: Издательский дом "Вильяме". 2001. 1072 с.

9. П.Райордан Р. Основы реляционных баз данных. / Пер. с англ. М.: Издательско-торговый дом «Русская Редакция», 2001. 384 с.

10. Кузнецов С. Д. Базы данных. Модели и языки. / Учебник. М.: Изд-во БИНОМ, 2008. 720 с.

11. Ульман Д. Д., Уидом Д. Основы реляционных баз данных. / Пер. с англ. М.: Изд-во Лори, 2006. 382 с.

12. Гарсиа-Молина Г., Ульман Д., Уидом Д. Системы баз данных. Полный курс. /М.: Изд-во Вильяме, 2004. 1088 С.

13. Card M. Next-Generation Object Database Standardization // ODBMS.ORG: Object Database Technology Working Group. URL: http://www.odbms.org/download/033.0 l%20Card%20Next

14. Generation%200bject%20Database%20Standardization%20September%202007.PD F (дата обращения: 26.10.2009).

15. ODBMS.ORG: образовательный и исследовательский портал. URL: http://www.odbms.org/ (дата обращения: 26.10.2009).

16. Object Model Features Matrix // NCITS Technical Committee H7. 1997. Doc. No.: X3H7-93-007vl2b. URL:http://www.obis.com/x3h7/fmindex.htm (дата обращения: 23.10.2009).

17. Замулин A.B. Системы программирования баз данных и знаний / Новосибирск: Наука. 1990. 352 с.

18. Кузнецов С.Д. Языки программирования объектно-ориентированных баз данных и оптимизация запросов // CITFORUM.RU: IT-портал Центра Информационных Технологий. URL: http://www.citforum.ru/database/articles/art 23 .shtml (дата обращения: 27.10.2009).

19. Гринев М.Н., Кузнецов С.Д. Управление данными: достижения и проблемы // ICT.EDU.RU: Институт системного программирования РАН. URL: http://www.ict.edu.ru/fi/005644/62321el-st08.pdf (дата обращения: 27.10.2009).

20. Lécluse С., Richard P. The 02 Database Programming Language // 15th Int. Conf. Very Large Data Bases. 1989. P. 604-432.

21. Laenens E., Staes F., Vermeir D. Browsing a la carte in Object-Oriented Databases // The Computer Journal. 1989. Vol. 32. № 4. P. 333-340.

22. Сиротюк O.B. Особенности проектирования современных баз данных // COMIZDAT.COM: Портал COMPUTERWORLD Украина. URL: http://www.comizdat.com/index cw.php?in=komi results&id=733&tn-komi article s ru&SearchString=&lang=ru (дата обращения: 27.10.2009).

23. Боггс У., Боггс M. UML и Rational Rose 2002. M.: Изд-во Вильяме, 2004.510 c.

24. Леоненков A. В. Объектно-ориентированный анализ и проектирование с использованием UML и IBM Rational Rose. M.: Интернет-университет информационных технологий, Бином. Лаборатория знаний, 2006. 320 с.

25. Буч Г., Рамбо Д., Якобсон И. Язык UML. Руководство пользователя. М.: «ДМК Пресс», 2007. 496 с.

26. Фаулер М., Скотт К. UML. Основы. М.: Символ-Плюс, 2006. 192 с.

27. Мацяшек JL А. Анализ и проектирование информационных систем с помощью UML 2.0. / Третье издание. М.: Изд-во Вильяме, 2008. 816 С.

28. Ларман К. Применение UML 2.0 и шаблонов проектирования. Введение в объектно-ориентированный анализ и проектирование / 3-е издание. М.: Изд-во Вильяме, 2008. 736 с.

29. Буч Г., Максимчук Р. А., Энгл М. У., Янг Б. Дж., Коналлен Д., Хьюстон К. А. Объектно-ориентированный анализ и проектирование с примерами приложений (UML 2) / Третье издание. М.: Изд-во Вильяме, 2010. 720 с.

30. Слама Д., Гарбис Д., Рассел П. Корпоративные системы на основе CORBA. М.: Изд-во Вильяме, 2000. 368 с.

31. Цимбал А. А. Технология CORBA для профессионалов. СПб.: Изд-во Питер, 2001. 624 с.

32. Сигел Д. COBRA 3. / Пер. с англ. М.: Изд-во Малип, 2002. 412с.

33. Мюллер Р. Дж. Базы данных и UML. Проектирование. М.: Изд-во Лори, 2002. 420с.

34. Кватрани Т. Визуальное моделирование с помощью Rational Rose 2002 и UML / Пер. с англ. М. : Издательский дом «Вильяме». 2003. 192 с.

35. Gyssens M., Paredaens J., Van den Bussche J., Van Gucht D. A graph-oriented object database model // IEEE Transactions on Knowledge and Data Engineering. 1994. Vol. 6. № 4. P. 572-586.

36. Gyssens M., Paredaens J., Van Gucht D. A graph-oriented object model for database end-user interfaces // ACM SIGMOD international conference on Management of data table of contents. 1990. Vol. 19. № 2. P. 24-33.

37. Poulovassilis A., Levene M. A nested-graph model for the representation and manipulation of complex objects // ACM Transactions on Information Systems (TOIS). 1994. Vol. 12. № 1. P. 35-68.

38. Coulondre S., Libourel T. An integrated object-role oriented database model // Data & Knowledge Engineering. 2002. Vol. 60. № 1. P. 113-141.

39. Albano A., Bergamini R., Ghelli G., Orsini R. An Object Data Model with Roles // 19th International Conference on Very Large Data Bases. 1993. P. 39-51.

40. Levene M., Poulovanssilis A. An object-oriented data model- formalised through hypergraphs // Data & Knowledge Engineering. 1991. Vol. 6. № 3. P. 205224.

41. Codd E.F. Further normalization of the data base relational model // Data Base Systems: Courant Computer Science Symposia Series 6. 1972.

42. Jaeschke G., Schek H. J. Remarks on the algebra of non-first normal form relations // 1st ACM SIGACT-SIGMOD symposium on Principles of database systems. 1982. Session 5. P. 124-138.

43. Meral Ozsoyoglu Z., Yuan L.Y. A new normal form for nested relations // ACM Transactions on Database Systems (TODS). 1987. Vol. 12. № 1. P. 111-136.

44. Roth M.A., Korth H.F. The design of INF relational databases into nested normal form // ACM SIGMOD international conference on Management of data. 1987. P. 143-159.

45. Ling T.W., Yan L.L. NF-NR: A practical normal form for nested relations //Journal of Systems Integration. 1994. Vol. 4. № 4. P. 309-340.

46. Markowitz V.M., Shoshani A. On the correctness of representing extended entity-relationship structures in the relational model // ACM SIGMOD international conference on Management of data. 1989. P. 430-439.

47. Ling T.W. A normal form for entity-relationship diagrams // Fourth International Conference on Entity-Relationship Approach. 1985. P. 24-35.

48. Hull R., King R. Semantic database modeling: survey, applications, and research issues // ACM Computing Surveys (CSUR). 1987. Vol. 19. № 3. P. 201260.

49. Hammer M., Mcleod D. Database description with SDM: A semantic database model // ACM Trans. Database Syst. 1981. Vol. 6. № 3. P. 351-386.

50. Elmasri R., Weeldreyer J., Hevner A. The category concept: An extension to the entity-relationship model // Data & Knowledge Engineering. 1985. Vol. 1. № l.P. 75-116.

51. Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W. Object-Oriented Modeling and Design / Prentice-Hall: 1st edition. 1990. 512 p.

52. Tari Z. On the design of object-oriented databases // ACM Conf on Information and Knowledge Management (CIKM'93). 1992. P. 625-634.

53. Tari Z., Stokes J., Spaccapietra S. Object normal forms and dependency constraints for object-oriented schemata // ACM Transactions on Database Systems (TODS). 1997. Vol. 22. № 4. P. 513-569.

54. Ambler W. Introduction to Class Normalization Scott // AGILEDATA.ORG: Techniques for Successful Evolutionary/Agile Database Development. URL:http://www.agiledata.org/essays/classNormalization.html (дата обращения: 28.10.2009).

55. Formica A., Groger H.D., Missikoff M. An Efficient Method for Checking Object-Oriented Database Schema Correctness // ACM Transactions on Database Systems (TODS). 1998. Vol. 23. № 3. p. 333-368.

56. Курейчик B.M. Дискретная математика: Учебное пособие. Ч. 1. — Таганрог: Изд-во ТРТУ, 1997.

57. Курейчик В.М., Гладков Л.А., Курейчик В.В. Дискретная математика. Теория множеств. Учебное пособие. 4.1. — Таганрог: Изд-во ТРТУ, 2005.

58. Курейчик В.М. Дискретная математика: Учебное пособие. Ч. 2. Элементы теории графов. № 2536-2. Таганрог: Изд-во ТРТУ, 1997.

59. Кляйн К., Кляйн Д., Хант Б. SQL. Справочник / 3-е издание. М.: Символ-Плюс, 2009. 656 с.

60. Кригель А., Трухнов Б. SQL. Библия пользователя. Язык запросов SQL / 2-е издание. М.: Изд-во Диалектика, 2009. 752 С.

61. Боуман Дж., Эмерсон С., Дарновски М. Практическое руководство по SQL. M.: Изд-во Вильяме, 2001. 336 с.

62. Астахова И.Ф., Мельников В.М., Толстобров А.П., Фертиков В.В. СУБД: язык SQL в примерах и задачах. М.: Изд-во ФИЗМАТЛИТ, 2009. 168 с.

63. Себеста Р. В. Первый шаг к совершенствованию: язык ALGOL 60 // Основные концепции языков программирования. 5-е изд. М.: Изд-во Вильяме, 2001. С. 672.

64. ISO/IEC 14977:1996. Information technology. Syntactic Metalanguage. Extended BNF.

65. Гордеев A.B., Молчанов А.Ю. Системное программное обеспечение. / СПб. : Питер. 2002. 736 с.

66. ISO/IEC 646:1991. Information technology ISO 7-bit coded character set for information interchange.

67. Черемных C.B., Семенов И.О., Ручкин B.C. Моделирование и анализ систем. IDEF-технологии: практикум. М.: Изд-во Финансы и статистика, 2006. 192 с.

68. Черемных С.В., Семенов И.О., Ручкин B.C. Структурный анализ систем: IDEF-технологии. М.: Изд-во Финансы и статистика, 2003. 208 с.

69. Маклаков С.В. BPWin и ERWin. CASE-средства разработки информационных систем. -М.: ДИАЛОГ-МИФИ, 2000. 256 с.

70. Маклаков С.В. Моделирование бизнес-процессов с Allfusion Process Modeler (BPWin 4.1). M.: ДИАЛОГ-МИФИ, 2002. 240 с.

71. Калашян А. Н., Калянов Г. Н. Структурные модели бизнеса: DFD-технологии. М.: Изд-во Финансы и статистика, 2003. 256 с.

72. Дубейковский В.И. Эффективное моделирование с AllFusion Process Modeler (BPwin). M.: ДИАЛОГ-МИФИ, 2007. 384 с.

73. Дубейковский В.И. Практика функционального моделирования с AllFusion Process Modeler 4.1. Где?Зачем?Как? М.: ДИАЛОГ-МИФИ, 2004. 464 с.

74. Белых А.В., Ковалев С.М., Ольховик О.В. Декларативный язык для N-модели данных // Вестник РГУПС. — Ростов н/Д: РГУПС, 2009. № 4(36), С. 80-86.

75. ISO/IEC 6609:1992. Information technology Control functions for 7-bit and 8-bit coded character sets.

76. ISO/IEC 13346-2:1999. Information technology. Volume and file structure of write-once and rewritable media using non-sequential recording for information interchange. Part 2: Volume and boot block recognition.

77. Белых A.B., Ковалев C.M., Ольховик О.В. Визуально-декларативный язык проектирования программного обеспечения информационных систем // Вестник ДГТУ. — Ростов н/Д: ДГТУ, 2009. Том 9, №4 (43). С. 381-390.

78. France R.B., Ghosh S., Dinh-Trong Т. Model-Driven Development Using UML 2.0: Promises and Pitfalls // Computer. 2006. Vol. 39. № 2. P. 59-66.

79. OMG. Unified Modeling Language: Superstructure, version 2.2 // OMG.ORG: Портал The Object Management Group URL: http://www.omg.org/cgi-bin/doc?formal/09-02-02.pdf (дата обращения: 28.09.2009).

80. Intégration définition for information modeling (IDEF1X) // IDEF.COM: Портал Knowledge Based Systems, Inc. URL: http://www.idef.com/pdfyideflx.pdf (дата обращения: 10.09.2009).

81. Белых А.В., Ковалев С.М. Построение нормализованной схемы объектно-ориентированной базы данных для САПР // Вестник РГУПС. — Ростов н/Д: РГУПС, 2010. № 2(38). С. 63-67.

82. Белых А.В., Ковалев С.М., Ольховик О.В. Сокращение избыточности схемы ООБД // Известия ЮФУ. Технические науки. Тематический выпуск "Интеллектуальные САПР". — Таганрог: ТТИ ЮФУ, 2009. № 12 (101). С. 181186.

83. Белых А.В. Пример применения проектных диаграмм на NVL для построения ERP-систем // Труды Конгресса по интеллектуальным системам и информационным технологиям «AIS-IT'10». Научное издание в 4-х томах. — М.: Физматлит, 2010. Том. 3. С. 268-273.

84. Белых А.В. Построение нормализованной схемы для объектно-ориентированной N-модели // Обозрение прикл. и промышл. матем. 2010. Том. 17, Вып. 4. С. 532.

85. Избачков Ю. С., Петров В. Н. Информационные системы: Учебник для вузов. / 2-е издание. СПб.: Изд-во Питер, 2006. 656 с.

86. Вендров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем // CITFORUM.RU: IT-портал Центра Информационных Технологий. URL: http://www.citforum.ru/database/case/ (дата обращения: 15.02.2010).

87. Востриков С.М., Ковязин А.Н. Мир InterBase: Архитектура, администрирование и разработка приложений баз данных в InterBase, Firebird, Yaffil / Изд. 3-е. СПб.: КУДИЦ-Образ, 2005. 496 С.

88. Бондарь А. Г. InterBase и Firebird. Практическое руководство для умных пользователей и начинающих разработчиков. СПб.: БХВ-Петербург, 2007. 592 С.

89. Брауде Э. Дж. Технология разработки программного обеспечения. СПб.: Изд-во Питер, 2004. 656 с.

90. Боэм Б.У. Инженерное проектирование программного обеспечения. / Пер. с англ. М. Радио и связь, 1985. 512 с.

91. Зиндер Е.З. Бизнес-реинжиниринг и технологии системного проектирования : Учебное пособие. М. : Центр Информационных Технологий. 1996.

92. Boehm B.W. A Spiral Model of Software Development and Enhancement // ACM SIGSOFT Software Engineering Notes. 1986. Vol. 11. № 4. P. 14-24.

93. ISO/IEC 12207:2008. Systems and software engineering. Software, life cycle processes.

94. Макконнелл С. Совершенный код. Мастер-класс / Пер.с англ. М. : Издательский торговый дом «Русская Редакция»; СПб. : Питер. 2005. 896 с.