Математическое моделирование процесса анализа реляционных баз данных при интеграции информационных систем тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат наук Кропотин, Александр Александрович

• Кропотин, Александр Александрович
• кандидат наук
• 2017

Оглавление диссертации кандидат наук Кропотин, Александр Александрович

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ

ГЛАВА I АНАЛИЗ ПРОБЛЕМ ИНТЕГРАЦИИ ДАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ

1.1 Интеграция информационных систем

1.2 Интеграция данных

1.2.1 Проблемы и конфликты

1.2.2 Технологии и инструменты

1.3 Онтология и представление знаний

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

1.3.2 Языки спецификации онтологий

1.3.3 Редакторы онтологий

1.3.4 Ризонеры онтологий

1.4 Методы онтологического представления данных

1.5 Инструменты онтологической интеграции данных

1.6 Выводы

ГЛАВА II ПРИМЕНЕНИЕ ФОРМАЛИЗМА ДЕСКРИПЦИОННЫХ ЛОГИК ДЛЯ ИДЕНТИФИКАЦИИ СЕМАНТИЧЕСКИХ КОНФЛИКТОВ МЕТАДАННЫХ И НЕСООТВЕТСТВИЯ ИНТЕГРИРУЕМЫХ ДАННЫХ

2.1 Онтологическая модель концептуальных объектов

2.1.1 Представление множества сущностей и множества значений

2.1.1.1 Представление сущности и значения

2.1.2 Представление множества связей и атрибута

2.1.2.1 Представление транзитивной связи

2.1.2.2 Представление зависимости существования

2.1.3 Представление ключа сущности

2.1.4 Представление отношения сущностей

2.1.5 Онтология концептуальных объектов

2.2. Объединение онтологий концептуальных объектов

2.2.1 Объединение терминологических аксиом

2.2.2 Объединение утверждений

2.2.3 Общая онтология концептуальных объектов

2.3. Онтологическое моделирование концептуальных схем сущность-связь

2.4. Анализ онтологии концептуальных схем сущность-связь

2.4.1 Решение алгоритмической проблемы согласованности терминологии

2.4.2 Решение алгоритмической проблемы классификации терминологии

2.4.3 Решение алгоритмической проблемы согласованности онтологии

2.5 Выводы

ГЛАВА III ОПИСАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОВЕРКИ СОГЛАСОВАННОСТИ КОНЦЕПТУАЛЬНЫХ СХЕМ СУЩНОСТЬ-СВЯЗЬ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ

3.1 Средства разработки программного обеспечения C3S

3.2 Архитектура программного обеспечения C3S

3.3 Описание программного обеспечения C2O

3.4 Описание программного обеспечения C2OP

3.5 Применение программного обеспечения C3S для проверки согласованности концептуальных схем сущность-связь

3.5.1 Построение концептуальных схем

3.5.2 Описание онтологий

3.5.3 Интеграция онтологий

3.5.4 Анализ онтологии

3.6 Выводы

ГЛАВА IV ЭКСПЕРЕМЕНТАЛЬНАЯ ОЦЕНКА СПОСОБА ВЫЯВЛЕНИЯ СЕМАНТИЧЕСКИХ КОНФЛИКТОВ И НЕСООТВЕТСТВИЯ ИНТЕГРИРУЕМЫХ ДАННЫХ

4.1 Этапы экспериментальной оценки

4.2 Экспериментальная оценка на наборах опытных данных

группы НТ

4.2.1 Экспериментальная оценка на наборах опытных данных группы НТ_ОТНЕ

4.2.2 Экспериментальная оценка на наборах опытных данных группы НТ_НТОЕ

4.2.3 Экспериментальная оценка на наборах опытных данных группы НТ_НТНЕ

4.3 Экспериментальная оценка на наборах опытных данных

группы НУ

4.4 Экспериментальная оценка на наборах опытных данных

группы НО

4.5 Выводы

ВЫВОДЫ ПО ДИССЕРТАЦИОННОЙ РАБОТЕ

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

ПРИЛОЖЕНИЕ А Анализ семантической несогласованности при

возникновении конфликта атрибут-атрибут

ПРИЛОЖЕНИЕ Б Анализ семантической несогласованности при

возникновении конфликта атрибут-сущность

ПРИЛОЖЕНИЕ В Анализ семантической несогласованности при

возникновении конфликта сущность-связь

ПРИЛОЖЕНИЕ Г Анализ семантической несогласованности при

возникновении конфликта зависимости

ПРИЛОЖЕНИЕ Д Анализ семантической несогласованности при

возникновении конфликта поведения

ПРИЛОЖЕНИЕ Е Анализ семантической несогласованности при

возникновении конфликта наследования

ПРИЛОЖЕНИЕ Ё Анализ семантической несогласованности при возникновении конфликта ключа

ПРИЛОЖЕНИЕ Ж Представление концептуальных схем сущность-связь в терминах онтологической модели представления концептуальных

объектов

ПРИЛОЖЕНИЕ З Представление семантических конфликтов и несоответствия интегрируемых данных по правилам онтологической модели представления концептуальных объектов

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

ВВЕДЕНИЕ

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

Среди многих научных школ во всем мире, которые участвуют в исследованиях, связанных с интеграцией информационных систем, возможно выделить Department of Informatics - Database Technology, University of Zürich, Wright State University, Dublin City University School of Computing. Кроме того, ежегодно организуются множество конференций на тему интеграции информационных систем, в числе которых проводятся следующие: Интеграция интеллектуальных систем, Международная конференция по корпоративным информационным системам, Международная конференция по интеграции данных в науках о жизни.

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

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

метаданными [5; 47]. Кроме того, готовые технологии по интеграции данных сложны и далеки от решения проблемы семантики [5].

Один из наиболее перспективных на данный момент методов интеграции основан на применении онтологических спецификаций для описания информационных ресурсов [5; 47]. Этот метод тесно связан с технологией Semantic Web и одним из её самых перспективных и развивающихся направлений - технологией связанных данных [47]. Большой вклад в разработку таких методов внесли российские и зарубежные ученые А. Ф. Тузовский, Л. В. Найханова, А. Н. Бездушный, А. С. Клещев, В. А. Серебряков, И. С. Михайлов, Ю. А. Загорулько, К. И. Шахгельдян, N. Guarino, N. Noy, M. Ehrig, G. Nenadic и A. Maedche [5].

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

Для достижения поставленной цели необходимо решить задачи:

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

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

3. С целью апробации комплекса программ проверки согласованности концептуальных схем сущность-связь провести серию экспериментов на

опытных данных, которые представляют различные случаи возникновения таких конфликтов.

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

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

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

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

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

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

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

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

Объектом исследования является процесс интеграции данных информационных систем.

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

Методология и методы исследования, которые применялись при решении поставленных задач, основаны на методах математического моделирования, теориях искусственного интеллекта, графов и множеств, парадигмы представления знаний Semantic Web, формализме дескрипционных логик, а также технологии объектно-ориентированного программирования и стандартах OWL 2.0, UML 2.5 и XMI (ISO/IEC 19509).

На защиту выносятся следующие результаты соответствующие трем пунктам паспорта специальности 05.13.18 - Математическое моделирование, численные методы и комплексы программ по физико-математическим наукам:

Пункт 1. Разработка новых математических методов моделирования объектов и явлений.

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

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

2.Предложена новая математическая модель объединения семантических сетей концептуальных схем сущность-связь реляционных баз данных. Такая модель предоставляет правила объединения сетей в виде

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

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

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

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

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

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

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

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

Апробация результатов. Основные результаты диссертационной работы докладывались на конференциях, таких как:

1.27th DAAM International Symposium on Intelligent Manufacturing and Automation. - 2016. Mostar, BiH. - 26-29 October.

2.10th IEEE International Conference on Application of Information and Communication Technologies AICT2016. - 2016. Baku, Azerbaijan. - 12-14 October.

3.3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014). - 2014. Vienna, Austria. 13 July.

4.Международная научно-практическая конференция «Современные проблемы и пути их решения в науке, транспорте, производстве и образовании'2012». - 2012. Одесса, Украина. - 18-27 декабря.

Публикации. Основные результаты диссертации опубликованы в 9 работах, из которых 2 опубликованы в рецензируемых журналах SCOUPUS, 2 опубликованы в рецензируемых журналах ВАК, а также получено 2 свидетельства о государственной регистрации программы для ЭВМ.

Структура и объем диссертации. Диссертация состоит из введения 4 глав, выводов, библиографического списка из 208 наименований и 9 приложений. Общий объем работы составляет 333 страниц, включает 40 рисунков, 3 листинга и 9 таблиц.

ГЛАВА I АНАЛИЗ ПРОБЛЕМ ИНТЕГРАЦИИ ДАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ 1.1 Интеграция информационных систем

Обеспечение взаимодействия независимо спроектированных информационных систем, как единой и целостной системы [5; 47], является задачей их интеграции, решение которой реализуется множеством различных способов [55].

Все многообразие способов интеграции информационных систем принято классифицировать по таким признакам, как: технология [42; 55; 183], принцип [55; 75; 196] и уровень [55; 108; 137]; каждый из которых подразумевает интеграцию данных между приложениями информационных систем [137].

С точки зрения технологий интеграции информационных систем принято выделять системы межведомственной интеграции приложений и системы интеграции корпоративных приложений, а также технологии управления бизнес процессами [15; 42; 55; 75; 108; 118; 125; 138; 141].

Системы интеграции корпоративных приложений и системы межведомственной интеграции приложений применяются для организации событийно управляемого обмена данными между приложениями [15] одного [15; 42; 55; 75; 125; 141; 183; 198] или нескольких [15; 42; 55; 108; 118] предприятий, соответственно. Технологии управления бизнес процессами направлены на организацию процесса управления и обмена документами между приложениями различных систем [15].

Системы интеграции корпоративных приложений являются наиболее распространенными и эффективными при разработке комплекса программ [138]. Технологии управления бизнес процессами являются результатом развития систем межведомственной интеграции приложений и интеграции корпоративных приложений [15; 55].

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

ориентированной интеграции, сервисно-ориентированной интеграции и информационно-ориентированной интеграции [9; 55; 108; 121].

Принцип процессно-ориентированной интеграции направлен на организацию совместного использования внутренних прикладных процессов каждой их них [2; 9; 55; 75; 121; 203]. Принципы информационно-ориентированной, сервисно-ориентированной и интерфейсно-ориентированной интеграции характеризуются обеспечением совместного использования данных информационных систем, причем последние два допускают и использование функций каждой из них [2; 9; 55; 47; 75; 108; 117-118; 121; 125; 135; 138; 167; 183; 197].

Принцип процессно-ориентированной интеграции обладает высокими эффективностью, степенью масштабируемости и пригодностью систем интеграции [9; 55; 75; 121; 203]. Принцип сервисно-ориентированной интеграции характеризуется высокой степенью взаимодействия гетерогенных систем благодаря применению открытых стандартов вместо закрытых протоколов [9; 55; 75; 108; 138]; низкой стоимостью обслуживания, которая связана с тем, что задача интеграции имеет одно централизованное решение [9; 108; 121; 138; 183; 196]; и высокой эффективностью интеграции, по причине того, что решение задачи интеграции включает повторное использование разработанных сервисов [75; 108; 121; 138; 183; 196]. Принцип информационно-ориентированной интеграции является наиболее популярным благодаря высокой степени распространения и применения реляционных систем управления базами данных [4; 5; 9; 16; 37; 55; 121]. Принцип обладает низкой стоимостью и легкостью интеграции, которые связаны с тем, что решается только задача репликации информации систем [9; 55; 108; 121].

Принципы интерфейсно-ориентированной, процессно-ориентированной и сервисно-ориентированной интеграции характеризуются высокой ее сложностью [9; 55; 75; 121]. Сложность первого принципа связана с тем, что тесная связь иного графического пользовательского интерфейса с монолитным фреймворком сильно ограничивает его применение в сторонних приложениях [75; 121].

Принципы также обладают низкой эффективностью интеграции, по причине того, что задача организации совместного использования данных не решается [9; 55; 75; 121]. Принцип сервисно-ориентированной интеграции характеризуется высокой стоимостью интеграции, по причине необходимости реинжиниринга систем и создания необходимых для их взаимодействия интерфейсов [9; 55; 75; 183]. Принцип информационно-ориентированной интеграции не предлагает средства связи приложений, по причине отсутствия задачи обеспечения их взаимодействия [9; 121]. Принцип характеризуется высокими рисками несогласованности реплицированных данных и дублирования программного кода, которые связаны с отсутствием необходимых ограничений целостности и необходимостью обработки имеющих отличное представление одних и тех же данных разными способами [9; 121].

К уровням интеграции информационных систем принято относить интеграцию на уровнях бизнес-процессов, приложений, стандартов, платформ и данных [2; 55; 79].

Интеграция на уровне бизнес-процессов заключается в определении, реализации и управлении процессом обмена данными между различными системами с целью усовершенствования операций и оптимизации расходов в процессе их применения [2; 55; 137; 138]. На уровне приложений интеграция направлена на организацию процесса обмена данными или передачи функций между различными системами с целью обеспечения выполнения прикладной функции от их взаимодействия [2; 55; 108; 138; 141]. На уровне стандартов применяются стандарты представления данных к процессу информационного обмена между различными системами [2; 47; 55]. Интеграция на уровне платформ направлена на организацию процесса обмена данными приложений систем на различных аппаратно-программных платформах с целью их использования при их взаимодействии [2; 55]. Интеграция на уровне данных является наиболее популярной благодаря высокой степени распространения и применения реляционных систем управления базами данных в информационных системах [5; 9; 55; 108]. Такая интеграция заключается в идентификации и каталогизации

данных различных систем с целью использования при их взаимодействии [2; 9; 47; 55; 75; 108; 137; 138].

На уровнях стандартов, платформ и данных реализуется принцип сервисно-ориентированной интеграции [2]. Принцип информационно-ориентированной интеграции реализуется на уровне приложений, а принцип процесно-ориентированной интеграции на уровнях бизнес-процессов, стандартов и платформ [2]. От интеграции на уровне данных зависит успешная реализация интеграции на уровнях бизнес процессов и приложений [55].

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

Выводы

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

а) применения систем межведомственной интеграции приложений, интеграции корпоративных приложений, и технологий управления бизнес процессами;

б) применения принципов процессно-ориентированной, сервисно-ориентированной и информационно-ориентированной интеграции;

в) реализации интеграции на уровнях бизнес-процессов, приложений, стандартов, платформ и данных.

1.2 Интеграция данных

Под интеграцией данных понимается предоставление в единообразном виде совокупности разрозненных данных [3; 5; 47], способы реализации которой принято классифицировать по таким признакам, как: принцип [3; 36; 118] и уровень [3; 36].

В качестве принципов интеграции данных принято определять принципы распространения данных [3; 5; 36], консолидации данных [3; 5; 36; 42], федерализации данных [3; 5; 36; 42; 47], а также гибридный принцип [3; 5; 36].

Принципы консолидации и федерализации данных заключаются в организации доступа к ним через их единое представление: материализованное или виртуальное, соответственно [3; 5; 36; 42; 47]. Принцип распространения данных заключается в их копировании и переносе из одной базы данных в другую [3; 5; 36; 47]. Гибридный принцип характеризуется применением нескольких способов к интеграции данных, с целью обеспечения доступа к ним и/или их распространения [3; 36].

Принцип консолидации данных позволяет осуществлять реструктуризацию, согласование, очистку и агрегирование значительных объемов данных в процессе их интеграции, в виду необходимости организации доступа к одному источнику данных [3; 36; 42]. Принцип распространения данных характеризуется возможностью двусторонней передачи данных в режиме реального времени и их гарантированной доставкой, благодаря необходимости только в копировании данных из одного источника в другой [3; 36].

Принцип консолидации данных предъявляет высокие требования к запоминающим ресурсам, по причине необходимости в обеспечении хранения и обработки значительных объемов данных [3; 36; 42]. Принцип федерализации данных предъявляет высокие требования к вычислительным ресурсам, за счет необходимости в организации доступа к данным из различных источников в режиме реального времени [3; 36; 42]. Принцип консолидации характеризуется возникновением связанных с синхронизацией обновления данных в различных источниках проблем, в то время, как принцип федерализации не обладает подобными проблемами [3; 36; 42]. Гибридный принцип обладает как преимуществами, так и недостатками других, соответственно их применению [3; 36].

К уровням интеграции данных принято относить интеграцию на физическом, логическом и концептуальном уровнях [3; 36].

Интеграция на физическом уровне является наиболее простой и заключается в приведении данных к единому формату их физического представления [3; 36]. На логическом уровне интеграция заключается в предоставлении доступа к данным, с учетом их структурных и поведенческих особенностей, в контексте единой их схемы [3; 36]. На концептуальном уровне интеграция заключается в предоставлении доступа к данным, с учетом их семантических особенностей, в контексте единой онтологии предметной области [3; 36]. Интеграция на логическом уровне является традиционной задачей интеграции данных [3; 36].

На каждом из уровней процессу интеграции препятствуют проблемы, связанные с гетерогенностью данных [3; 36]. Такие проблемы связаны с различием форматов файлов на физическом уровне [3; 36]. На логическом уровне конфликты неоднородности вытекают из различия моделей и/или схем данных [3; 36]. Гетерогенность данных проявляется соответствием им различных непересекающихся онтологий на концептуальном уровне [164; 207].

1.2.1 Проблемы и конфликты

Проблемы интеграции данных проявляются в виде конфликтов, которые принято связывать с гетерогенностью метаданных [36; 73; 130; 160; 163; 164; 194; 207] и самих данных [73; 96; 130; 163-164; 170; 200; 207].

Конфликты, связанные с гетерогенностью метаданных, выражаются противоречивостью представления понятий реального мира в различных базах данных, среди которых принято выделять конфликты именования [3-4; 36; 69; 71; 96; 130; 133; 144; 151; 194; 195; 199], семантические [3; 36; 96; 151; 200; 207] и структурные [3; 36; 69; 73; 96; 130; 144; 151; 160; 166; 194-195; 199-200; 207] конфликты.

Конфликты именования выражаются несогласованностью обозначений сущностей, атрибутов и связей в различных базах данных как результат применения отличной терминологии [36; 69; 71; 96; 130; 133; 144; 151; 194; 199]. Структурные конфликты выражаются представлением одних и тех же понятий реального мира в различных базах данных отличными структурами данных [36;

96; 130; 144; 151; 163; 194; 199] и ограничениями целостности [96; 144; 163-164; 194]. Семантические конфликты выражаются представлением одних и тех же понятий реального мира в различных базах данных на разных уровнях абстракции [3; 36], отличными структурами данных и ограничениями целостности [151].

Конфликты именования, в некоторых случаях, принято относить к структурным и семантическим конфликтам [4; 151; 194], а семантические -ассоциировать с конфликтами именования и структурными конфликтами [96; 151; 194; 207-208]. В качестве конфликтов именования принято выделять конфликты омонимии [3; 69; 71; 96; 130; 144; 160; 164; 194-195; 199] и синонимии [3; 4; 69; 71; 96; 130; 144; 164; 194-195; 199].

Конфликт омонимии заключается в том, что различные понятия реального мира представлены в различных базах данных одним и тем же наименованием [69; 96; 130; 144; 195; 199]. Конфликт является причиной объединения таких понятий и представления их одной сущностью, атрибутом или связью [144; 199]. Пример конфликта [69; 144] принято отображать как на рисунке 1 [69].

(а)

(б)

Понятие «Публикация» представлена как: а) книга; б) журнал.

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

наименованиями [4; 69; 96; 130; 144; 195; 199]. Конфликт является причиной многократного представления таких понятий более чем одной сущностью, атрибутом или связью [144; 199]. Пример конфликта [69; 144] принято отображать как на рисунке 2 [69].

(а)-(б)

Как публикация представлены понятия: а) «Книга»; б) «Журнал».

Рисунок 2 - Конфликт синонимии концептуальных схем сущность-связь. Конфликты именования принято разрешать применением технологий, направленных на определение степени близости сущностей, атрибутов и связей различных баз данных, таких как: словари и классификаторы [3; 144; 166; 195].

Структурные конфликты могут быть классифицированы различными способами в зависимости от выбранного способа интеграции данных [96; 170; 194]. Тем не менее, обобщая существующие классификации, возможно выделить следующие типы этих конфликтов [69; 96; 144; 160; 194; 199]:

а) конфликт атрибут-атрибут;

б) конфликт атрибут-сущность;

в) конфликт сущность-связь;

г) конфликт зависимости;

д) конфликт поведения;

е) конфликт наследования;

е) конфликт ключа;

ж) конфликт типов данных;

з) конфликт допустимых значений;

и) конфликт разрешенных значений.

Конфликт атрибут-сущность заключается в том, что одни и те же понятия реального мира представлены сущностью, в одной базе данных, и множеством значений, в другой [130; 151; 160; 164; 166; 194-195; 199]. Конфликт принято отображать, в качестве примера [96; 116; 151; 194-195; 199], так, как на рисунке 3

(а-б) [96; 116; 144].

Журнал

1

(а)

ISBN

(б)

(в)

Понятие «ISBN» представлено как:

а) регулярное множество сущностей; б) атрибут; в) слабое множество сущностей. Рисунок 3 - Конфликт атрибут-сущность концептуальных схем сущность-связь.

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

а) каждый международный стандартный серийный номер существует независимо от существования журнала, к которому он присвоен (а), в одном случае;

Список литературы диссертационного исследования кандидат наук Кропотин, Александр Александрович, 2017 год

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Авдошин, С. М. Онтологический инжиниринг [Текст ] / С. М. Авдошин, М. П. Шатилов // Бизнес-информатика. -2007. - №. 2. - С. 3-14.

2.Афанасьев, К. Е. Создание информационной среды для поддержки образовательного процесса на основе портально-интеграционного подхода [Текст] / К. Е. Афанасьев, А. М. Гудов, Ю. С. Попов // Единая образовательная информационная среда: проблемы и пути развития: материалы восьмой международная научно-практическая конференция-выставка: Издательство ТГУ -2009. - Томск. - 17-19 Сентября. - С. 133-136.

3.Белошицкий, Д. А. Интеграция данных в информационных системах [Электронный ресурс] / Д. А. Белошицкий // Электронный журнал «Молодежный научно-технический вестник». - Режим доступа: http://sntbul.bmstu.ru/doc/ 602635.html. - 17.05.2016.

4.Биряльцев, Е. В. Интеграция реляционных баз данных на основе онтологий [Текст ] / Е. В. Биряльцев, А. М. Гусенков // Ученые записки казанского Университета. Серия: физико-математические науки. - 2003. - том 149. - номер 2. - С. 13-34.

5.Бубарева, О. А. Модель. алгоритмы и программное обеспечение интеграции данных информационных систем на основе онтологий (на примере ВУЗа) [Текст]: диссертация на соискание ученой степени кандидата технических наук: 05.13.11 : защищена 24.03.2015 / Бубарева Олеся Александровна. - Бийск, 2014. - 137 с.

6. Верхотурова, Ю. С. Онтология как модель представления знаний [Текст] / Ю. С. Верхотурова // Вестник БГУ. - 2012. - № 15. - С. 32-37.

7. Виноградов, М. М. Модель плексов: семантика и формализация [Текст ] / М. М. Виноградов, М. Р. Когаловский, В. В. Когутовский // Системы управления базами данных с многоуровневой архитектурой. - 1980. - С. 3-15.

8. Гаврилова, Т. А. Базы знаний интеллектуальных систем. [Текст] / Т. А. Гаврилова, В. Ф. Хорошевский. М.: СПб.: Питер, 2000. - 384 с.

9. Галкин, Г. Мифы и парадигмы интеграции приложений [Электронный ресурс] / Г. Галкин // Intelligent Enterprise/RE («Корпоративные системы»). - 2004. - № 12-13. - Режим доступа: https://www.iemag.ru/analitics/detail.php?ID=16050. -14.06.2016.

10.ГОСТ Р ИСО/МЭК 12207-2010 Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств. [Текст]. - Введ. 30.11.2010. - М.:Федеральное агенство по техническому регулированию и метрологии, 2010. - 100 с.

11.Григорьев, А. В. Математические методы и алгоритмы определения согласованности баз знаний [Текст ]: диссертация на соискание ученой степени кандидата технических наук : 05.13.18 : защищена 20.12.2013 / Григорьев Андрей Викторович. - Тюмень, 2013. - 115 с.

12.Гринев, М. Н. UQL: Язык запросов к интегрированным данным в терминах UML [Текст] / М. Н. Гринев, С. Д. Кузнецов// Программирование. -2002. - № 4. - С. 9-19.

13.Губин, М. Ю. Применение семантических сетей и частотных характеристик текстов на естественных языках для создания семантических метаописаний [Текст] / М. Ю. Губин, В. В. Разин, А. Ф. Тузовский // Проблемы информатики. -2011. - № 5. - С. 53-58.

14.Гуц, А. К. Математическая логика и теория алгоритмов: учебное пособие [Текст]: / А. К. Гуц. - М.: Издательство Наследие. Диалог-Сибирь, 2003. - 108 с. -ISBN 5-8239-0126-7.

15.Данилин, А. В. Технологии интеграции государственных информационных систем и организации межведомственного взаимодействия [Электронный ресурс] / А. В. Данилин // Информационное общество. - 2003. -Вып. 2. С. 57-67. - Режим доступа: http://emag.iis.ru/arc/infosoc/emag.nsf/BPA/ cd06e076eeaa46c4c3256ecc003212ca. - 13.06.2016.

16. Дейт, К. Дж. Введение в системы баз данных [Текст] / Кристофер Дж. Дейт; перевод с английского и редакция К.А. Птицына. - 8 издание. - М.: Издательской дом «Вильяме», 2005. - 1328 с. - Перевод изд.: An Introduction to

Database Systems / С. J. Date. - 8 edition. - ISBN 5-8459-0788-8 (в пер.). - ББК 32.973.26-018.2.75 (в пер.).

17.Джарратано, Дж. Экспертные системы. Принципы разработки и программирование [Текст]: / Джозеф Джарратано, Гари Райли; перевод с английского К. Птицын. - 4 издание. - М.: Издательской дом «Вильяме», 2000. -1152 с. - Перевод изд.: Expert Systems: Principles and Programming / J. C. Giarratano, G. D. Riley. - 4 edition. - ISBN 978-5-8459-1156-8, 0-534-38447-1 (в пер.).

18.Дмитриевский, А. С. Исследование и разработка нтологии геополитической системы Российской Федерации [Электронный ресурс] / А. С. Дмитриевский // Сайт курса МФТИ «Управление знаниями». - Режим доступа: http://ryk-kypc2.narod.ru/dmitr1.pdf. - 17.05.2017.

19.Добров, Б. Онтологии и тезаурусы: модели, инструменты, приложения [Электронный ресурс]: Лекция 7: Инструментальные средства проектирования онтологий / Б. Добров, В. Иванов, Н. Лукашевич, В. Соловьев // Национальный открытый университет ИНТУИТ. - Режим доступа: http://www.intuit.ru/studies/ courses/1078/270/lecture/6857. - 16.09.2016.

20.Емельянова, Ю. А. Сравнение редакторов онтологий [Электронный ресурс] / Ю. А. Емельянова, А. В. Одинцева, И. А. Заикин // XI Всероссийская научно-практическая конференция «Технологии Microsoft в теории и практике программирования». - Режим доступа: http://www.lib.tpu.ru/fulltext/c/2014/ C28/057.pdf. - 20.05.2017.

21.Золин, Е. Е. Глава 1 [Электронный ресурс]: Логика / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http://lpcs.math.msu.su/~zolin/. - 11.05.2016.

22.Золин, Е. Е. Глава 12 [Электронный ресурс]: Логики с конкретными областями / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http://lpcs.math.msu.su/~zolin/dl/pdf/DL_12_Concrete.pdf. - 11.05.2016.

23.Золин, Е. Е. Глава 2 [Электронный ресурс]: Терминологии / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http://lpcs.math.msu.su/~zolin/ dl/pdf/DL_02_TBox.pdf. - 11.05.2016.

24. Золин, Е. Е. Глава 3 [Электронный ресурс]: Факты и ABox / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http://lpcs.math.msu.su/~zolin/ dl/pdf/DL_03_ABox.pdf. - 11.05.2016.

25. Золин, Е. Е. Глава 4 [Электронный ресурс]: Разрешимость логики / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http:// lpcs.math.msu.su/~zolin/dl/pdf/DL_04_ALC_Tableau.pdf. - 11.05.2016.

26.Золин, Е. Е. Глава 6 [Электронный ресурс]: Расширения логики / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http:// lpcs.math.msu.su/~zolin/dl/pdf/DL_06_ALC0IQ.pdf. - 11.05.2016.

27.Золин, Е. Е. Глава 7 [Электронный ресурс]: Логики с аксиомами для ролей / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http:// lpcs.math.msu.su/~zolin/dl/pdf/DL_07_SHIQ.pdf. - 11.05.2016.

28.Золин, Е. Е. Глава 9 [Электронный ресурс]: Логики с операциями над ролями / Е. Е. Золин // Дескрипционная логика (лекции). - Режим доступа: http:// lpcs.math.msu.su/~zolin/dl/pdf/DL_09_Role_0perator.pdf. - 11.05.2016.

29.Игошин, В. И. Математическая логика и теория алгоритмов [Текст]: учебное пособие для студ. высш. учеб. заведений / В. И. Игошин; рецензенты В. Д. Кулиев, Д. А. Бредихин. - М.: Издательский центр «Академия», 2010. - 448 с. -ISBN 978-5-7695-7045-2. - УДК 510.6(075.8). - ББК 22.12я73.

30.Интеллектуальные информационные системы [Электронный ресурс] // Научная библиотека Сибирского федерального университета. - Режим доступа: http://files.lib.sfu-kras.ru/ebibl/umkd/228/u_course.pdf. - 17.06.2016.

31.Калиниченко, Л. А. Интероперабельно сть брокеров в стандарте CORBA 2.0 [Текст] / Л. А. Калиниченко, М. Р. Когаловский // Системы управления базами данных. - 1996. - № 3. - С. 125-135.

32.Калиниченко, Л. А. Методы и средства интеграции неоднородных баз данных [Текст] / Л. А. Калиниченко; под редакцией Л. Н. Королевой. - М.:

Главная редакция физико-математической литературы издательства «Наука», 1983. - 424 с.

33.Клини, С. К. Математическая логика [Текст]: / Стивен Коул Клини; перевод с английского Ю. Гастева, редакция Г. Минца. - М.: ЛКИ, 2008. - 482 с. -Перевод изд.: Mathematical Logic / S. C. Kleene. - ISBN 978-5-382-00626-0 (в пер.).

34.Когаловский, М. Р. Перспективные технологии информационных систем [Текст] / М. Р. Когаловский; под редакцией М. И. Лугачева. - М.: ДМК-Пресс, 2003. - 288 с. - ISBN 5-94074-200-9.

35. Когаловский, М. Р. Энциклопедия технологий баз данных [Текст] / М. Р. Когаловский - М.: Финансы и статистика, 2002. - 800 с. - ISBN 5-279-02276-4.

36.Когаловский, М.Р. Методы интеграции данных в информационных системах [Текст] / М. Р. Когаловский // Сборник трудов Третьей Всероссийской конференции «Стандарты в проектах современных информационных систем». -2003. Москва, Россия. - 23-24 Апрель. - С. 1-8.

37.Конноли, Т. Базы данных. [Текст]: Проектирование, реализация и сопровождение. Теория и практика / Томас Коннолли, Каролин Бегг; перевод с английского и редакция Р. Имамутдинова, К. Птицын. - 3 издание. - М.: Издательской дом «Вильяме», 2003. - 1436 с. - Перевод изд.: Database Systems: A Practical Approach to Design, Implementation, and Management Third Edition / T. Connolly, C. Begg. - 3 edition. - ISBN 5-8459-0527-3, 0-201-70857-4 (в пер.).

38.Королев, Е. Н. Особенности проектирования реляционных баз данных с помощью CASE-средств в нотации UML [Текст] / Е. Н. Королев, М. А. Бескоровайная, О. А. Фиртыч // Объектные системы. - C. 86-88.

39.Ладыженский, Г. М. Шлюзы как средство интеграции баз данных [Электронный ресурс] / Г. М. Ладыженский // Открытые системы. СУБД. - 1999. -Вып. 02. - Режим доступа: https://www.osp.ru/os/1999/02/179696/. - 18.06.2016. 241

40.Михайлюк, А. В. OWL как стандартная модель представления трансдисциплинарных знаний в Semantic Web [Текст] / А. В. Михайлюк // International Journal «Information Content and Processing». -2014. - vol. 1. - number. 3. - P. 249-261.

41.Морозов, И. Анализ и сравнение работы различных Reasoner^ в Protégé [Электронный ресурс] / И. Морозов, Е. Белокопытова // Academia.edu. - Режим доступа : https://www.academia.edu/9280798/ Анализ_и_сравнение_работы_различных_Reasonerов_в_Protégé. - 16.04.2017.

42.Морозова, О. А. Интеграция корпоративных информационных систем [Текст]: учебное пособие / О. А. Морозова; Финансовый университет, Кафедра бизнес-информатики - М.: Финансовый университет, Москва. - 2014. - 140 с.

43.Никоненко, А. А. Обзор баз знаний онтологического типа [Текст ] / А. А. Никоненко // Искусственный интеллект. - 2009. - № 4. - С. 208-219.

44.Овдей, О. М. Обзор инструментов инженерии онтологий [Текст] / О. М. Овдей, Г. Ю. Проскудина // Труды 6ой Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» - RCDL2004. - 2004. Пущино, Россия.

45.Полотнюк, И. С. Метаданные как базис интеграции [Текст] / И. С. Полотнюк // Вестник компьютерных и информационных технологий. - 2005. - № 12.

46.Продукты и разработки [Электронный ресурс]: IntelliJ IDEA // JetBrains. -Режим доступа: https://jetbrains.ru/products/idea/. - 14.07.2016.

47.Семарханов, И. А. Методы и алгоритмы автоматизированной интеграции информационных ресурсов на основе онтологического подхода [Текст]: диссертация на соискание ученой степени кандидата технических наук: 05.13.12 : защищена 18.06.2014 / Семерханов Илья Александрович. - Санкт-Петербург, 2014. - 140 с.

48. Семерханов, И. А. Интеграция информационных систем при помощи связанных данных [Текст] / И. А. Семерханов, Д. И. Муромцев // Научно-технический вестник информационных технологий, механики и оптики. - 2013. -No5 (87). - С. 123-128.

49.Семерханов, И. А. Интеграция реляционных баз данных с использованием rdf\owl [Текст] / И. А. Семерханов, Г. В. Варгин // Научно-

технический вестник информационных технологий, механики и оптики. - 2013. -No 1. СПБ: НИУИТМО. - C. 117-118.

50.Спицын, В. Г. Представление знаний в информационных системах [Текст]: / В. Г. Спицын, Ю. Р. Цой; рецензент А. М. Кориков. - М.: Издательство Томского политехнического университета, 2008. - 152 с. - УДК 681.51.012(075.8). - ББК 32.813 73.

51.Судоплатов, С. В. Математическая логика и теория алгоритмов [Текст]: / С. В. Судоплатов, Б. В. Овчинникова; рецензенты А. Г. Пинус, В. М. Зыбарев. -М.: Издательство НГТУ, 2010. - 256 с. - ISBN 978-5-7782-1348-7.

52.Сукач, Е. И. Реализация вывода в семантической сети с использованием вероятностно-алгебраического моделирования [Текст] / Е. И. Сукач, Д. В. Ратобыльская, В. Л. Мережа // Материалы международной научно-технической конференции 0STIS-2011. -2011. Минск, Беларуссия. - С. 241-246.

53.Трофимов, И. В. Эволюция выразительных способностей языка OWL [Текст] / И. В. Трофимов // Программные системы: теория и приложения. -2011. -№. 4. - P. 85-94. - ISSN 2079-3316. - УДК 004.825:004.912.

54.Филипов, В. И. Реляционно-сетевая модель данных [Текст] / В. И. Филипов // Прикладная информатика, 1983. - Вып. 2. - С. 147-170.

55.Франгулова, Е. В. Классификация подходов к интеграции и интероперабельности информационных систем [Текст] / Е. В. Франгулова // Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика. - 2010. - № 2. - С. 176-180.

56.Хаав, Х.-М. Х. Единый язык описания моделей данных [Текст] / Х.-М. Х. Хаав // Прикладная информатика, 1986. - Вып. 2. - С. 130-142.

57.Шульга, Т. Э. Модели и инструменты представления пространственно-временных данных в семантическом вебе [Текст] / Т. Э. Шульга, Н. С. Вагарина, Н. И. Мельникова, Д. А.Мищенко // Известия Самарского научного центра Российской академии наук. - 2016. - № 4. - С. 844-851.

58.Эммерих, В. Конструирование распределенных объектов: Методы и средства программирования интероперабельных объектов в архитектурах OMG/

CORBA, МюгоБоп/СОМ и Java/RMI [Текст] / Вольфганг Эммерих; перевод с английского Т. Ю. Москалева; под редакцией Л. А. Калиниченко. - М.: Мир, 2002. - 510 с. - ISBN 5-03-003405-6 (в пер.). - ББК З973.233.02-018.2я73-1 (в пер.).

59.About Neologism [Электронный ресурс] // Neologism. - Режим доступа: http://neologism.deri.ie/about. - 17.06.2016.

60.Alalwan, N. Generating OWL Ontology for Database Integration [Текст ] / N. Alalwan, H. Zedan, F. Siewe // 2009 Third International Conference on Advances in Semantic Processing. - 2009. Sliema, Malta, Malta. - 11-16 October. - P. 22-31. - DOI 10.1109/SEMAPR0.2009.21.

61.Astrova, I. Mapping of SQL relational schemata to OWL ontologies [Текст] / I. Astrova, A. Kalja // Proceedings of the 6th WSEAS International Conference on Applied Informatics and Communications. 18-20 August 2006, Elounda, Greece / Institute of Cybernetics Tallinn University of Technology Akadeemia tee 21, 12618 Tallinn Estonia. - P. 375-380.

62.Astrova, I. Rule-Based Transformation of SQL Relational Databases to OWL Ontologies [Текст] / I. Astrova, N. Korda, A. Kalja // Proceedings of the 2nd International Conference on Metadata & Semantics Research. - 2007. October.

63.Astrova, I. Storing OWL Ontologies in SQL Relational Databases [Текст] / I. Astrova, N. Korda, A. Kalja // World Academy of Science, Engineering and Technology International Journal of Computer, Electrical, Automation, Control and Information Engineering. -2007. - vol. 1. - No 5. - P. 1261-1266.

64.Bachman, C. W. Data structure diagrams [Текст] / C. W. Bachman // IAG. -1968. - P. 181-192.

65.Bachman, C. W. Software for Random Access Programming [Текст] / C. W. Bachman // Datamation. - 1965. - P. 36-41.

66.Bachman, C. W. Trends in database management [Текст] / C. W. Bachman // Proceedings of the National Computer Conference, AFIPS. - 1975. Montvale, New Jersey. - P. 569-576.

67.Bail, S. ORE 2014 Competition [Текст] / S. Bail, B. Glimm, E. Jimenez-Ruiz, N. Matentzoglu, B. Parsia, A. Steigmiller // Proceedings of the 3rd International

Workshop on OWL Reasoner Evaluation (ORE 2014), collocated with the Vienna Summer of Logic (VSL 2014). - 2014. Vienna, Austria. - 13 July. - P. IV-VII. - ISSN 1613-0073.

68.Barrasa Rodríguez, J. R2O, an Extensible and Semantically based Database-to-Ontology Mapping Language [Текст] / J. Barrasa Rodríguez, O. Corcho, A. Gómez-Pérez // Proceedings of the Second Workshop on Semantic Web and Databases. - 2004. - volume 3372. Toronto, Canada. - August. - P. 1069-1070. - ISBN 978-3-540-24576-6.

69.Batini, C. A comparative analysis of methodologies for database schema integration [Текст] / C. Batini, M. Lenzerini, S. Navathe // Journal ACM Computing Surveys (CSUR). - 1986. - vol. 18. - issue 4. - P. 323-364.

70.Bauer, F. Linked Open Data: The Essentials [Текст] / Florian Bauer, Martin Kaltenböck; edited by Thomas Thurner. - М.: DGS - Druck & Grafik,2005. - 78 p. - 2 edition. - ISBN 978-3-902796-54-7.

71.Bellatreche, L. An Automated Information Integration Technique using an Ontology-based Database Approach [Текст] / L. Bellatreche, G. Pierra, N. X. Dung, D. Hondjack // Proceeding of Concurrent Engineering (CE'2003). Special track Data Integration in Engineering. - 2003. Madeira, Portugal. - 26-30 July. - P. 217-224.

72.Bieman, J. M. Migrating Legacy Software Systems to CORBA based Distributed Environments through an Automatic Wrapper Generation Technique [Электронный ресурс] / J. M. Bieman, Kim H. S. // Colorado State University. -Режим доступа: http://www.cs.colostate.edu/~bieman/Pubs/KimBieman00.pdf. -17.06.2016.

73.Bleiholder, J. Conflict Handling Strategies in an Integrated Information System [Текст] / J. Bleiholder, F. Naumann.- М.: Humboldt-Universität zu Berlin, Institut für Informatik, 2006. - 13 p.

74.Boag, S. XQuery 1.0: An XML Query Language (Second Edition) [Электронный ресурс]: W3C Recommendation 14 December 2010 (Link errors corrected 3 January 2011; revised 7 September 2015) / S. Boag, D. Chamberlin, M. F.

Fernández, D. Florescu, J. Robie, J. Siméon // W3C Official Site. - Режим доступа: https://www.w3.org/TR/xquery/. - 16.12.2016.

75.Botezatu, C. P. Strategies on software integration [Текст] / C. P. Botezatu, G. Cäru^a§u // Journal of Information Systems & Operations Management. - 2008. - vol. 2. - issue 2. - P. 407-415.

76.Brachman, R. Knowledge Representation and Reasoning [Текст]: / R. Brachman, H. Levesque. - 1 edition. - М.: Morgan Kaufmann, 2004. - 381 с. - ISBN 9780080489322.

77.Bray, T. Extensible Markup Language (XML) 1.0 (Fifth Edition) [Электронный ресурс]: W3C Recommendation 26 November 2008 / T. Bray, J. Paoli, C. M. Sperberg-McQueen, E. Maler, F. Yergeau // W3C Official Site. - Режим доступа: https://www.w3.org/TR/ldn/. - 14.06.2016.

78.Brickley, D. FOAF Vocabulary Specification 0.99 [Электронный ресурс]: Namespace Document 14 January 2014 - Paddington Edition / D. Brickley, L. Miller // FOAF. - Режим доступа: http://xmlns.com/foaf/spec/. - 16.06.2016.

79.Bubenko, J. A Jr. Research Directions in Conceptual Specification Development [Текст] / J. A Jr. Bubenko, B. Wangler; eds. P. Loucopoulo, R. Zicari. -М.: Conceptual Modelling, Databases, and CASE, 1992. - pp 389-412.

80.Bucella, А. Realization of the Ontologically Based Method for Checking Structural Inconsistences of Relational Databases [Текст] / A. Bucella, M.R. Penabad, F.J. Rodriguez, A. Farina, A. Cechich // National Russian Research Conference (RCDL 2004), Digital Libraries: Advanced Methods and Technologies. - 2004. Puschchino, Russia.

81.Campbell-Kelly, M. From Airline Reservations to Sonic the Hedgehog [Текст]: A History of the Software Industry / Martin Campbell-Kelly. - М.: MIT Press, 2003. - 372 p. - ISBN 978-1422391761.

82.Capadisli, S. Linked Data Notifications [Электронный ресурс]: W3C Recommendation 2 May 2017 / S. Capadisli, A. Guy // W3C Official Site. - Режим доступа: https://www.w3.org/TR/ldn/. - 14.06.2017.

83.Chawathe, S. The TSIMMIS Project: Integration of Heterogeneous Information Sources [Текст] / S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. K. Ullman, J. Widom // Proceedings of the Tenth IPSJ Conference. - 1994. Tokyo, Japan. - October.

84.Chen, P. P-S. A Preliminary Framework for Entity-Relationship Models [Текст] / P. P-S. Chen // Proceeding ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis. - 1981. Amsterdam, The Netherlands. - 12-14 October. - P. 19-28. - ISBN 0-444-86747-3.

85.Chen, P. P-S. Entity-Relationship Modeling: Historical Events, Future Trends, and Lessons Learned [Текст] / P. P-S. Chen // Software Pioneers. Contributions to Software Engineering. - Springer Berlin Heidelberg, 2001. - P. 296-310. - ISBN 978-3-642-59412-0. - DOI 10.1007/978-3-642-59412-0_17.

86.Chen, P. P-S. The Entity Relationship Model — Toward a Unified View of Data [Текст] / P. P-S. Chen // Software Pioneers. Contributions to Software Engineering. - Springer Berlin Heidelberg, 2002. - P. 311-339. - ISBN 978-3-642-59412-0. - DOI 10.1007/978-3-642-59412-0_18.

87.Chujai, P. On Transforming the ER Model to Ontology Using Protégé OWL Tool [Текст] / P. Chujai, N. Kerdprasop, K. Kerdprasop // International Journal of Computer Theory and Engineering. -2014. - vol. 6. - No 6. - P. 887-891.

88.Codd, E. F. A relational model of data for large shared data banks [Текст] / E. F. Codd. // Magazine Communications of the ACM. - 1970. - vol. 13. - issue 6. - P. 377-387. - DOI 10.1145/362384.362685.

89.Codd, E. F. Extending the Database Relational Model to Capture More Meaning [Текст] / E. F. Codd. // ACM Transactions on Database Systems. - 1970. -vol. 4. - issue 4. - P. 397-434. - DOI 10.1145/320107.320109.

90.Colomb, R. M. Issues in Mapping Metamodels in the Ontology Development Metamodel Using QVT [Текст] / R. M. Colomb, A. Gerber, M. Lawley // The 1st International Workshop on the Model-Driven Semantic Web. - 2004.

91.Comes, C.-А. Entity Relationship Stored Procedure [Текст] / C.-А. Comes, N. Ghisoiu, V. P. Bresfelean, I. Rus // Proceedings of the 6th WSEAS International Conference on Applied Computer Science. - 2006. Tenerife, Canary Islands, Spain. -16-18 December. - P. 491-495.

92.Conrad, S. Enterprise Application Integration: Grundlagen - Konzepte -Entwurfsmuster - Praxisbeispiele [Текст] / S. Conrad, W. Haselbring, А. Koschel, R. Tritsch. - М.: Spektrum Akademischer Verlag, 2005. - 256 p.

93.Cullot, N. Relational database as a source of ontology creation [Текст] / N. Cullot, R. Ghawi, K. Yétongnon // Proceedings of the 15th Italian Symposium on Advanced Database Systems. - 2007. - 17-20 June. tems, Torre Canne, Fasano, BR, Italy. - P. 491-494.

94.D'Arcus, B. Bibliographic Ontology Specification [Электронный ресурс]: Specification Document - 4 November 2009 / B. D'Arcus, F. Giasson // The Bibliographic Ontology. - Режим доступа: http://bibliontology.com. - 16.06.2016.

95.D2RQ [Электронный ресурс]: Accessing Relational Databases as Virtual RDF Graphs // D2RQ. - Режим доступа: http://d2rq.org. - 14.03.2017.

96.David, G. Understanding Structural and Semantic Heterogeneity in the Context of Database Schema Integration [Текст] / G. David // Journal of the Department of Computing. - 2005. - P. 29-44.

97.Ding, L. Linked Open Government Data [Текст] / L. Ding, V. Peristeras, M. Hausenblas // IEEE Intelligent Systems. - 2012. - vol. 27. - P. 11-15.

98.Dong, X. L. Data Fusion: Resolving Conflicts from Multiple Sources [Текст] / X. L. Dong, L. Berti-Equille, D. Srivastava // Web-Age Information Management. 14th International Conference, WAIM 2013. - 2013. Beidaihe, Chirn. - 14-16 June. - P. 64-76.

99.Dou, D. Ontology based Integration for Relational Databases [Текст] / D. Dou, P. LePendu // Proceeding SAC '06 Proceedings of the 2006 ACM symposium on Applied computing. - 2006. Dijon, France. - 23-27 April. - P. 461-466. - ISBN 1-59593-108-2. - DOI 10.1145/1141277.1141387.

100.Dragoni, M. An Ontological Representation of Documents and Queries for Information Retrieval Systems [Текст] / M. Dragoni, C. da C. Pereira, A. G. B. Tettamanzi // Proceedings of the 1st Italian Information Retrieval Workshop (IIR'10). -2010. Padova, Italy. - 27-28 January. - P. 555-564.

101.Dublin Core Metadata Initiative. Dublin Core [Электронный ресурс] / Dublin Core Metadata Initiative // The Metadata Community - Supporting Innovation in Metadata Design, Implementation & Best Practices. - Режим доступа: http:// dublincore.org/. - 16.06.2016.

102.Eclipse documentation - Current Release [Электронный ресурс]: Eclipse Neon // Eclipse. - Режим доступа: http://help.eclipse.org/neon/index.jsp. - 17.07.2016.

103.Eclipse Modeling Tools [Электронный ресурс] // Eclipse. - Режим доступа: http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/keplersr2. - 17.07.2016.

104.Elenius, D. SWRL-IQ: A Prolog-based Query Tool for OWL and SWRL [Текст] / D. Elenius // Proceedings of OWL: Experiences and Directions Workshop 2012. -2012. Heraklion, Crete, Greece. - 27-28 May.

105.Engles, R. W. An Analysis of the Apr.1971 Data Base Task Group Report [Текст] / R. W. Engles // Proceedings of the ACM CODASYL Programming Language Committee. - 1971. New York, U.S.A.

106.Fahad, M. ER2OWL: Generating OWL Ontology from ER Diagram [Текст] / M. Fahad // Intelligent Information Processing IV IFIP - The International Federation for Information Processing. -2008. - vol. 288. - P. 28-37.

107.Freitas, A. On the Semantic Mapping of Schema-agnostic Queries: A Preliminary Study [Текст ] / A. Freitas, J. Carlos P. Da Silva, E.Curry // Workshop of the Natural Language Interfaces for the Web of Data (NLIWoD), 13th International Semantic Web Conference (ISWC). - 2014. Rival del Garda, Italy.

108.Garcia, C. M. Approaches and Technologies for Systems Integration [Текст]: A Case Study at the Federal University of Lavras / C. M. Garcia, R. Abilio, N. Malheiros // Revista de Sistemas de Informa?äo da FSMÄ. - 2015. - n. 15. - P. 11-22.

109.Glimm, B. HermiT: An OWL 2 Reasoner [Текст] / B. Glimm, I. Horrocks, B. Motik, G. Stoilos, Z. Wang // J. Autom. Reasoning. -2014. - vol. 53. - number 3. - P. 245-269.

110.Gon5alves, R. OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report [Текст] / R. Gon5alves, S. Bail, E. Jimenez-Ruiz, N. Matentzoglu, B. Parsia, B. Glimm, Y. Kazakov // Proceedings of the 2nd OWL Reasoner Evaluation Workshop (ORE 2013), collocated with DL 2013 Workshop. - 2013. Ulm, Germany. -22 July. - P. 1-18. - ISSN 1613-0073.

111.Gosling, J. The Java Language Specification [Электронный ресурс]: Java SE 8 Edition / J. Gosling, B. Joy, G. Steele, G. Bracha, A. Buckley // Oracle. - Режим доступа: http://docs.oracle.com/javase/specs/jls/se7/html/index.html. - 11.05.2016.

112.Gossen, A. The Information Workbench - A Platform for Linked Data Applications [Электронный ресурс] / A. Gossen, P. Haase, C. Hütter, M. Meier, A. Nikolov, C. Pinkel, M. Schmidt, A. Schwarte // Semantic Web - Interoperability, Usability, Applicability an IOS Press Journal. - Режим доступа: http://www.semantic-web-journal.net/system/files/swj485.pdf. - 17.05.2016.

113.Grigorev, A. V. TReasoner: System Description [Текст] / A. V. Grigorev, A. G. Ivashko // Proceedings of the 2nd OWL Reasoner Evaluation Workshop (ORE 2013), collocated with DL 2013 Workshop. - 2013. Ulm, Germany. - 22 July. - P. 26-31. - ISSN 1613-0073.

114.Gruber, T. R. Ontology [Электронный ресурс] / T. R. Gruber // Encyclopedia of Database Systems. - Режим доступа: http://tomgruber.org/writing/ ontology-%20definition-2007.htm. - 18.06.2016.

115.Haarslev, V. The RacerPro knowledge representation and reasoning system [Текст] / V. Haarslev, K. Hidde, R. Möller, M. Wessel // Semant. Web. - 2012. - vol. 3. - number 3. - P. 267-277. - DOI 10.3233/SW-2011-0032.

116.He, Q. Resolving Schematic Discrepancy in the Integration of Entity-Relationship Schemas [Текст] / Q. He, T. W. Ling // Conceptual Modeling - ER 2004. 23rd International Conference on Conceptual Modeling. - 2004. Shanghai, China. -8-12 November. - P. 245-258.

117.Hensle, B. Oracle Reference Architecture : Service-Oriented Integration: Release 3.0 [Электронный ресурс] / B. Hensle, C. Booth, D. Chappelle, J. McDaniels, M. Wilkins, S. Bennett // Oracle. - 2010. - Режим доступа: http://www.oracle .com/ technetwork/topics/entarch/oracle-ra-integration-r3-0-176700.pdf. - 13.06.2016.

11S.Hohpe, G. Enterprise integration patterns : designing, building, and deploying messaging solutions [Текст] / G. Hohpe, B. Woolf. - 1-edition. - М.: Addison-Wesley Professional, 2003. - 736 p.

119.Horridge, M. he OWL API: A Java API for OWL Ontologies [Текст] / M. Horridge, S. Bechhofer // Journal Semantic Web. - 2011. - vol. 2. - number 1. - P. 11-21.

120.Horrocks, I. OWL: A Description Logic Based Ontology Language [Текст] / I. Horrocks // ICLP 2005: Logic Programming. - Springer-Verlag Berlin Heidelberg, 2005. - P. 1-32.

121.Hoyer, P. Service-Oriented Integration Using a Model-Driven Approach [Текст] / P. Hoyer, M. Gebhart, I. Pansa, А. Dikanski, S. Abeck // International Journal on Advances in Software. - 2010. - vol. 3. - no. 1 & 2. - P. 304-317.

122.Information Workbench [Электронный ресурс]: The Smart Data platform // fluidOps. - Режим доступа: https://www.fluidops.com/en/products/ information_workbench/. - 14.03.2017.

123.IS0/IEC 19509:2014. Information technology -- Object Management Group XML Metadata Interchange (XMI) [Текст]. - 1-edition. - Введ. 2014-04. - М.: International Organization for Standardization, 2014. - 105 p.

124.IS0/IEC 9075-14:2016. Information technology - Database languages - SQL - Part 14: XML-Related Specifications (SQL/XML) [Текст]. - 5-edition. - Введ. 2016-12. - М.: International Organization for Standardization, 2016. - 444 p.

125.Johannesson, P. Application and Process Integration - Concepts, Issues, and Research Directions [Электронный ресурс] / P. Johannesson, B. Wangler, P. Jayaweera // ResearchGate. - 2000. - Режим доступа: https://www.researchgate.net/publication/ 2635029. - 15.06.2016.

126.Kalinichenko, L. A. Infrastructure of the subject mediating environment aiming at semantic interoperability of heterogeneous digital library collections [Текст] / L. A. Kalinichenko, D. O. Briukhov, N. A. Skvortsov, V. N. Zakharov // Вторая Всероссийская научная конференция «Электронные библиотеки: перспективные методы и технологии, электронные коллекции». - 2000. Протвино, Россия. - 26-28 Сентябрь. - С. 78-90.

127.Kalinichenko, L. A. SYNTHESIS: the language for description, design and programming of the heterogeneous interoperable information resource environment. [Текст] / Леонид Андреевич Калиниченко. М.: ИПИ РАН М, 1995. - 110 с.

128.Kazakov, E. The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with EL Ontologies [Текст] / E. Kazakov, M. Kroetzsch, F. Simancik // J. Autom. Reasoning. -2014. - vol. 53. - number 1. - P. 1-61. - DOI https://doi.org/ 10.1007/s10817-013-9296-3.

129.Konstantinou, N. VisAVis: An Approach to an Intermediate Layer between Ontologies and Relational Database Contents [Текст] / N. Konstantinou, D.-E. Spanos, M. Chalas, E. Solidakis, N. Mitrou // Proceedings of the CAISE*06 Third International Workshop on Web Information Systems Modeling WISM '06. - 2006. Luxemburg. -5-9 June. - P. 1050-1061. - ISBN 1613-0073.

130.Kropotin, А. А. Realization of the Ontologically Based Method for Checking Structural Inconsistences of Relational Databases [Текст] / А. А. Kropotin, А. V. Grigoryev, Y. V. Bidulya, А. G. Ivashko, N. S. Durynin // Proceedings of the 27th International DAAAM Symposium on Intelligent Manufacturing and Automation 2016. - 2016. - vol. 27. Mostar, Bosnia and Herzegovirn. - 26-29 October. - P. 762-767. -DOI 10.2507/27th.daaam.proceedings.110.

131.Kropotin, A. A. Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development [Текст] / A. A. Kropotin // Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), collocated with the Vienna Summer of Logic (VSL 2014). - 2014. Vienna, Austria. - 13 July. - P. 44-50. - ISSN 1613-0073.

132.Kumar P. S. A. Composition of Semantic Web Services Based on ER-Model [Текст] / A. Kumar P. S , Dr. G. Mahadevan, S. Kumar Guptha, G. Krishna // International Conference on Computational Techniques and Artificial Intelligence (ICCTAI'2011). - 2011. Bangkok, Thailand. - July. - ISBN 978-81-921733-1-3.

133.Lawrence, R. Integrating relational database schemas using a standardized dictionary [Текст ] / R. Lawrence, K. Barker // SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. - 2001. Las Vegas, Nevada, ША. - P. 225-230.

134.Li, M. Learning ontology from relational database [Текст] / M. Li, X.-Y. Du, S. Wang // Proceedings 2005 International Conference on Machine Learning and Cybernetics. - 2005. - 18-21 August. - P. 3410-3415. - DOI 10.1109/ICMLC. 2005.1527531.

135.Linthicum, D. S. Next Generation Application Integration: From Simple Information to Web Services [Текст] / D. S. Linthicum. - 1-edition. - М.: Addison-Wesley Professional, 2003. - 512 p.

136.List of Reasoners [Электронный ресурс] // Management Group at the School of Computer Science, The University of Manchester. - Режим доступа: http:// owl.cs.manchester.ac.uk/tools/list-of-reasoners/. - 17.06.2016.

137.Litan, D. Business' New Requirement: Information Systems Integration -Methods and Technologies [Текст] / D. Litan, M. Velicanu, L. Copcea (Teohari), M. Teohari, А.-M. Mocanu (Virgolici), I. Surugiu, O. Raduta // International Journal of Computers and Communications. - 2011. - vol. 5. - issue 3. - P. 132-145.

138.Litan, D. Information systems integration, a new trend in business [Текст] / D. Litan, А.-M. Mocanu (Virgolici), L. Copcea (Teohari), I. Surugiu, M. Teohari, O. Raduta // ECC'11 Proceedings of the 5th European conference on European computing conference. - 2011. Paris, France. - 28-30 April. - P. 204-209.

139.Louhdi, M. R. C. On Transforming the ER Model to Ontology Using Protégé OWL Tool [Текст] / M. R. C. Louhdi, H. Behja, S. O. El Alaoui // Computer Science & Information Technology (CS & IT). -2013. - volume 3. - P. 271-283.

140.Maniraj, V. Ontology Languages - A Review [Текст] / V. Maniraj, Dr. R. Sivakumar // International Journal of Computer Theory and Engineering. -2010. - vol. 2. - No 6. - P. 887-891.

141.Martins, V. M. M. Integra?ao de sistemas de informa?ao: perspectivas, normas e abordagens [Электронный ресурс] / V. M. M. Martins // Universidade do Minho : RepositoriUM: BUM-Disserta?6es de Mestrado. - 2005. - 201 p. - Режим доступа: http://repositorium.sdum.uminho.pt/bitstream/1822/5657/3/ tese_mestrado_victor_martins_2005.pdf. - 12.07.2016.

142.Matheus, C. J. BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML & R-Entailment Rules [Текст] / C. J. Matheus, K. Baclawski, M. M. Kokar // 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06). - 2006. Athens, GA, USA. - 10-11 November. -DOI 10.1109/RULEML.2006.6.

143.Maurizio, L. Data integration: a theoretical perspective [Текст] / L. Maurizio // Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. - 2002. Madison, Wisconsin, U.S.A. -03-05 June. - P. 233-246. - ISBN 1-58113-507-6. - DOI 10.1145/543613.543644. 277

144.Mc Kearney, S. Schema Integration [Электронный ресурс] / S. Mc Kearney // BBIT4/SEM4 Advanced Database Systems. - P. 1-23. - Режим доступа: http://www.smckearney.com/adb/notes/lecture.schema.integration.2up.pdf. -18.05.2016.

145.McGuinness, D. L. OWL Web Ontology Language Overview [Электронный ресурс]: W3C Recommendation 10 February 2004 / D. L. McGuinness, F. van Harmelen // W3C. - Режим доступа: https://www.w3.org/TR/owl-features/. -14.06.2016.

146.Mena, E. Observer: An approach for query processing in global information systems based on interoperation across pre-existing ontologies [Текст] / E. Mena, A. Illarramendi, V. Kashyap, A. P. Sheth // Int. Journal Distributed and Parallel Databases. - 2000. - vol. 8. - No 2. - pp. 223-271.

147.Mendez, J. jcel: A Modular Rule-based Reasoner [Текст] / J. Mendez // Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), collocated with IJCAR 2012 Conference. - 2012. - vol. 858. Manchester, UK. - 1 July. - ISSN 1613-0073.

148.Messaouda, F. Multi-level Metadata Integration System: XML, RDF and RuleML [Текст] / F. Messaouda, O. Boussaid, R. Challal // World Academy of Science, Engineering and Technology 62. - 2012. - P. 845-850.

149.Metke-Jimenez, A. Snorocket 2.0: Concrete Domains and Concurrent Classification [Текст] / A. Metke-Jimenez, M. Lawley // Proceedings of the 2nd OWL Reasoner Evaluation Workshop (ORE 2013), collocated with DL 2013 Workshop. -2013. Ulm, Germany. - 22 July. - P. 32-38. - ISSN 1613-0073.

150.Mfourga, N. Extracting entity-relationship schemas from relational databases: a form-driven approach [Текст] / N. Mfourga // Proceedings of the Fourth Working Conference on Reverse Engineering. - 1997. - 6-8 October. - P. 762-767. -DOI 10.1109/WCRE.1997.624589.

151.Mong, L. L. A methodology for structural conflicts resolution in the integration of entity-relationship schemas [Текст] / L. L. Mong, T. W. Ling // Knowledge and Information Systems. - 2003. - vol. 3. - P. 225-247.

152.Motik, B. OWL 2 Web Ontology Language Direct Semantics (Second Edition) [Электронный ресурс]: W3C Recommendation 11 December 2012 / B. Motik, P. F. Patel-Schneider, B. C. Grau // W3C Official Site. - Режим доступа: https:// www.w3.org/TR/2012/REC-owl2-direct-semantics-20121211/. - 14.06.2016.

153.Neon [Электронный ресурс] // Eclipse. - Режим доступа: http:// www.eclipse.org/neon/. - 14.07.2016.

154.Newman, M. E. J. The structure and function of complex networks [Текст] / M. E. J. Newman // SIAM Review. -2003. - vol. 45. - number 5. - P. 167-256. - DOI 10.1137/S003614450342480.

155.Nijseen, G. M. Data structuring in the DDL and the relational model [Текст] / G. M. Nijseen // Proceedings of the IFIP Working Conference Data Base Management 1974. - 1974. Cargése, Corsica, France. - P. 363-379.

156.Nothmar, N. CORBA Design Patterns In Distributed Systems [Текст ] / N. Nothmar // Proceedings of MASPLAS'02 The Mid-Atlantic Student Workshop on Programming Languages and Systems. - 2002. - 19 April. - P. 17.1-17.11.

157.OMG Unified Modeling Language (OMG UML) [Текст]: Version 2.5. -Введ. 2015-03. - М.: Object Management Group, 2015. - 794 p.

158.Ontology editors [Электронный ресурс] // W3C. - Режим доступа: https:// www.w3.org/wiki/Ontology_editors. - 17.06.2016.

159.Openlink Virtuoso [Электронный ресурс]: Virtuoso Universal Server // Openlink Software. - Режим доступа: https://virtuoso.openlinksw.com. - 14.03.2017.

160.Özsu, M. T. Principles of Distributed Database Systems [Текст ] / M. T. Özsu, P. Valduriez. - 3-edition. - М.: Springer-Verlag New York, 2011. - 846 p. - ISBN 978-1-4419-8834-8. - DOI 10.1007/978-1-4419-8834-8.

161.Palmisano, I. JFact [Электронный ресурс] / I. Palmisano // JFact repository. - Режим доступа: https://github.com/owlcs/jfact. - 15.04.2017.

162.Papyrus Documentation [Электронный ресурс] // Eclipse. - Режим доступа: http://www.eclipse.org/papyrus/documentation.html. - 17.07.2016.

163.Parent, C. Database Integration: The Key to Data Interoperability [Текст] / C. Parent, S. Spaccapietra // Advances in Object-Oriented Data Modeling - 2000. - P. 221-253.

164.Parent, C. Issues and approaches of database integration [Текст] / C. Parent, S. Spaccapietra // Communications of the ACM. - 1998.

165.Parsia, B. Information systems integration, a new trend in business [Текст] / B. Parsia, N. Matentzoglu, R. Gon5alves, B. Glimm, A. Steigmiller // Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with 14th International Semantic Web Conference (ISWC 2015). - 2015. - vol. 1457. Bethlehem, PA, USA. - 11 October. - P. 2-15. - ISSN 1613-0073.

166.Pinkel, С. RODI: A Benchmark for Automatic Mapping Generation in Relational-to-Ontology Data Integration [Текст] / С. Pinkel, C. Binnig, E. Jimenez-Ruiz, W. May, D. Ritze, M. G. Skj^veland, A. Solimando, E. Kharlamov // The Semantic Web. Latest Advances and New Domains - 12th European Semantic Web

Conference, ESWC 2015. Lecture Notes in Computer Science. - 2015. - vol. 9088. Portoroz, Sloveniа. - 31 May-4 June. - P. 21-37.

167.Pressman, R. S. Software engineering: a practitioner's approach [Текст ] / R. S. Pressman. - 7-edition. - М.: McGraw-Hill, 2010. - 895 p.

168.Romero, A. A. MORe: Modular Combination of OWL Reasoners for Ontology Classification [Текст] / A. A. Romero, B. C. Grau, I. Horrocks // The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference. -2012. -part 1. Boston, MA, USA. - 11-15 November. - P. 1-16. - DOI https://doi.org/10.1007/ s10817-013-9296-3.

169.Rousset, M.-C. Construction de médiateurs pour intégrer des sources d'information multiples et hétérogènes. PICSEL project [Текст] / M.-C. Rousset, A. Bidault, C. Froidevaux, H. Gagliardi, F. Goasdoué, C. Reynaud, B. Safar // Journal I3 : Information - Interaction - Intelligence. - 2002. - vol. 2. - No 1. - P. 9-58.

170.Sattler, K.-U. Example-driven Integration of Heterogeneous Data Sources [Электронный ресурс] / K.-U. Sattler, S. Conrad, I. Geist, G. Saake // IBM Research. -P.1-17. - Режим доступа: https://www.research.ibm.com/haifa/coopis/papers/p21.pdf.

- 14.06.2016.

171.Semantic Web [Электронный ресурс] // W3C Official Site. - Режим доступа: https://www.w3.org/standards/semanticweb/. - 14.06.2016.

172.Senko, M. E. Data Structures and Accessing in Data Base Systems [Текст] / M. E. Senko, E. B. Altman, M. M. Astrahan, P. L. Fehder. // IBM report RJ982. - 1973.

- P. 30-93. 261

173.Sequeda, J. F. A Completely Automatic Direct Mapping of Relational Databases to RDF and OWL [Текст] / J. F. Sequeda, M. Arenas, D. P. Miranker // International World Wide Web Conference Committee (IW3C2). - 2012. Lyon, France.

- 16-20 April. - ACM 978-1-4503-1229-5/12/04.

174.Sertkaya, B. The ELepHant Reasoner System Description [Текст] / B. Sertkaya // Proceedings of the 2nd OWL Reasoner Evaluation Workshop (ORE 2013), collocated with DL 2013 Workshop. - 2013. - vol. 1015. Ulm, Germany. - 22 July. - P. 87-93. - ISSN 1613-0073.

175.Sibley, E. H. A conceptual model to support multi-model external views [Текст] / E. H. Sibley, W. T. Hardgrave, M. R. Kogalovsky, K. I. Makalsky // Proceedings of the Joint U.S.-U.S.S.R. Seminar «Data Models and Database Systems». - 1979. Texas University, Austin, Texas. - P. 146-187.

176.Sibley, E. H. On the equivalence of data base systems [Текст] / E.H. Sibley // Proceedings of the ACM SIGMOD Conf. on the Management of Data 74. - 1974. Ann Arbor, Michigan, U.S.A. - May. - P. 43-76.

177.Sirin, E. Pellet: A practical OWL-DL reasoner [Текст] / E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, Y. Katz // J. Web Semant. - 2007. - vol. 5. - number 2. - P. 5153.

178.Song, I.-Y. A Comparative Analysis of Entity-Relationship Diagrams [Текст] / I.-Y. Song, M. Evans, E. K. Park // Journal of Computer and Software Engineering. -1995. - vol. 3. - No 4. - P. 427-459.

179.Song, W. A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner [Текст ] / W. Song, B. Spencer, W. Du // Proceedings of the 2nd OWL Reasoner Evaluation Workshop (ORE 2013), collocated with DL 2013 Workshop. - 2013. Ulm, Germany. - 22 July. - P. 39-45. - ISSN 1613-0073.

180.Steigmiller, A. Konclude: system description [Текст] / A. Steigmiller, T. Liebig, B. Glimm // J. Web Semant. - 2014. - vol. 27. - P. 78-85. - DOI 10.1016/ j.websem.2014.06.003.

181.Stonebraker, M. Third-Generation Data Base System Manifesto [Текст ] / M. Stonebraker, L. A. Rowe, B. Lindsay, J. Gray, M. Carey, M. Brodie, P. Bernstein, D. Beech // Computer Standards & Interface, 1991. - vol. 3. - issue 1. - P. 41-54. - ISSN 1872-7018.

182.Styles, R. Academic Institution Internal Structure Ontology (AIISO) [Электронный ресурс] / R. Styles, N. Shabir // vocab.org - A URI space for vocabularies. - Режим доступа: http://vocab.org/aiiso/schema. - 16.06.2016.

183.Surugiu, I. Integration of Information Technologies in Enterprise Application Development [Текст] / I. Surugiu // Database Systems Journal: Database design and development methodologies. - 2012. - vol. 3. - issue 1. - P. 21-32.

184.Taye, M. M. Web-Based Ontology Languages and its Based Description Logics [Текст] / M. M. Taye // The Research Bulletin of Jordan ACM. - vol. 2. - P. 1-9. - ISSN: 2078-7952.

185.Taylor, R. W. Observations on the attributes of database sets [Текст] / R. W. Taylor // Data Base Description. - 1975. - P. 73-84.

186.Telnarova, Z. Relational database as a source of ontology creation [Текст] / Z. Telnarova // Proceedings of the International Multiconference on Computer Science and Information Technology. - 2010. - 18-20 October. - P. 135-139. - ISBN 978-83-60810-27-9. - ISSN 1896-7094.

187.The Description Logic Handbook: Theory, Implementation, and Applications [Текст] : / edited by F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. F. Patel-Schneider. - 2 edition. - М.: Cambridge University Press, 2007. - 505 p. - ISBN 978-0521150118.

188.The OWL API [Электронный ресурс] // GitHub. - Режим доступа: http:// owlapi.sourceforge.net. - 17.07.2016.

189.Thomas, E. TrOWL: Tractable OWL 2 Reasoning Infrastructure [Текст] / E. Thomas, J. Z. Pan, Y. Ren // The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010. -2010. - part 2. Heraklion, Crete, Greece. - 3 June. - P. 431-435.

190.Trentelman, K. Survey of Knowledge Representation and Reasoning Systems [Текст]: / Kerry Trentelman. - М.: Defence Science and Technology Organisation, 2009. - 61 p.

191.Tsarkov, D. Chainsaw: a Metareasoner for Large Ontologies [Текст] / D. Tsarkov, I. Palmisano // Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), collocated with IJCAR 2012 Conference. - 2012. -vol. 858. Manchester, UK. - 1 July. - ISSN 1613-0073.

192.Tsarkov, D. FaCT++ Description Logic Reasoner: System Description [Текст] / D. Tsarkov, I. Horrocks // Automated Reasoning, Third International Joint Conference, IJ- CAR 2006. - 2006. Seattle, WA, USA. - 17-20 August. - P. 292-297.

193.Tschritzis, D. A Network Framework for Relation Implementation [Текст] / D. Tschritzis // Data Base Description. - 1975. - P. 169-282.

194.Unal, O. SASMINT System for Database Interoperabolity in Collaborative Networks [Текст] / O. Unal, H. Afsarmanesh // On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. Proceedings of the OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS, KSinBIT,MIOS-CIAO,MONET, OnToContent, ORM,PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, SeBGIS 2006. - 2006. - 3-edition. - vol. 4277. - part 1. Montpellier, France. - 29 October-3 November. - P. 91-108. - ISBN 978-3-540-48272-7. - DOI 10.1007/11915034.

195.Unal, O. Semi-automated schema integration with SASMINT [Текст] / O. Unal, H. Afsarmanesh // Knowl. Inf. Syst. - 2010. - vol. 23. - num. 1. - P. 99-128. -DOI: 10.1007/s10115-009-0217-z.

196.Valipour, M. H. A brief survey of software architecture concepts and service oriented architecture [Текст] / M. H. Valipour, B. Amirzafari, Kh. N. Maleki, N. Daneshpour // Proceeding of the 2nd IEEE International Conference on Computer Science and Information Technology. - 2009. - 8-11 August. - P. 34-38.

197.Van den Heuvel, W.-J. Software service engineering: Tenets and challenges [Текст] / W.-J. Van den Heuvel, O. Zimmermann, F. Leymann, P. Lago, I. Schieferdecker, U. Zdun, P. Avgeriou // PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems. - 2009. Vancouver, Canada) - 18-19 May. - P. 26-33.

198.Velicanu, M. Ways to Increase the Efficiency of Information Systems [Текст] / M. Velicanu, D. Litan, L. Copcea (Teohari), M. Teohari, А.-M. Mocanu (Virgolici), I. Surugiu, O. Raduta // AIKED'11 Proceedings of the 10th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases. - 2011. Cambridge, UK. - 20-22 February. - P. 211-216.

199.Vrijkorte, B. On the relation between XML and database integration [Текст] / B. Vrijkorte // 1st Twente Student Conference on IT. - 2004. - vol. 3.

200.Wang, K. Detecting data inconsistency for multidatabases [Текст] / K. Wang, W. Zhang // The Ninth International Conference on Parallel and Distributed Computing Systems (PDCS'96). - 1996. - vol. 2. Dejon, France. - 25-27 September. - P. 657-663.

201.Welcome to Knoodl! [Электронный ресурс] // Knoodl. - Режим доступа: http://www.knoodl.com. - 14.03.2017.

202.Wiederhold, G. Mediators in the Architecture of Future Information Systems [Текст] / G. Wiederhold // IEEE Computer. - 1992. - P. 39-49.

203.Wu, Y. Study on the Process-oriented Integrated Management of Construction Project [Текст] / Y. Wu, B. Zhang, B. Wang // International Journal of Business and Management. - 200S. - vol. 3. - no. 7. - P.16-20.

204.Yang , S. Semi-automatically building ontologies from relational databases [Текст] / S. Yang, Y. Zheng, X. Yang // Proceedings of the 2010 3rd International Conference on Computer Science and Information Technology. - 2010. - 9-11 July. - P. 150 - 154. - ISBN 97S-1-4244-5540-9. - DOI 10.1109/ICCSIT.2010.5563924.

205.Young, G. O. Synthetic structure of industrial plastics (Book style with paper title and editor) [Текст] / G. O. Young; edited by J. Peters. - 2-edition. - vol. 3. - М.: McGraw-Hill, 1964. - pp. 15-64.

206.Zhou, Y. Pay-as- you-go OWL query answering using a triple store [Текст] / Y. Zhou, Y. Nenov, B. C. Grau, I. Horrocks // Proceedings of the Twenty- Eighth AAAI Conference on Artificial Intelligence. -2014. Quebec City, Quebec, Canada. - 27-31 July. - P. 1142-114S.

207.Ziegler, P. Data Integration — Problems, Approaches, and Perspectives [Текст] / P. Ziegler, K. R. Dittrich // In Conceptual Modelling in Information Systems Engineering. - 2007. - P. 39-5S.

20S.Ziegler, P. User-Specific Semantic Integration of Heteroge- neous Data: The SIRUP Approach [Текст] / P. Ziegler, K. R. Dittrich // In First International IFIP Conference on Semantics of a Networked World (ICSNW 2004). - 2004. Paris, France. - 17-19 June. - P. 44-64.

ПРИЛОЖЕНИЕ А Анализ семантической несогласованности при возникновении конфликта атрибут-атрибут

^ I Г\

Пусть С^, обозначают концептуальные схемы сущность-связь; ЕМ , ЕЫ обозначают множества имен множеств

10 10 10 сущностей: Е[, Е{, являются множествами сущностей, причем Е{ = Е(; УN , УN обозначают множества имен множеств

1100 101010 значений: У[, У2, У\, У?, являются множествами значений, причем У{ = У[ и У2 = У2, Е N , ЕИ обозначают множества имен

10 0

атрибутов: Е{, Е2 являются атрибутами.

Таблица 1. Сравнительный анализ семантической несогласованности концептуальных схем сущность-связь

реляционных баз данных при возникновении конфликта атрибут-атрибут.

Номер Описание схемы Несогласованность

1 С$х = {ЕМ1, УМ1,ЕМ1 | ЕМ1 = {£/}, УМ1 = {V/, У*} ЕМ{ = | Е\: Е\ V} X V', (Уу^1 е У} х V') : (Бе/ е Е\) => = ^Ц1))}} Отсутствует

С52 = [ЕМ1, УМ1,ЕМ1 | = {Е(}, УМ1 = {У(, V ЕЙ1 = {F12, Е\ | Е\: У\, (Уу2 е У2) : (Зе/ е £2) => (у2 = /^Ц2)), (Уу2 е У2) :(Зе2 е Е1;) => (у2 = Е^))}}

СБ1 = {ЕМ1, УМ1,ЕМ1 | ЕИ1 = {Е}}, УМ1 = {У/, У^} = {/^ I Е\: Е\ V} X У2, (Уу^1 е У/ х У2) : (Зе/ е £,') => = ^Ц1))}} Каждый экземпляр У| может быть ассоциирован Е\ более чем с одним экземпляром Е\

Номер Описание схемы Несогласованность

2 С52 = {ЕМ\ | ЕМА = {Е{}, УМА = {У{, У^} = {Е2, Е2 | Е2: Е2 У2, (Уе2, е2 е : (е2 ф е2к) => (^(е/) Ф Е2(е2)), (Уу2 е У2) : (Зе/ е Я?) => (у2 = /^Ц2)), (Уу2 е У2) : (Зе2 е £2) => (у2 = ^2(е2))}} о о Каждый экземпляр Уf может быть ассоциирован Е\ не более чем с одним экземпляром Е2

3 = {ЕМ1, УМ1,ЕМ1 | ЯЛГ1 = {£/}, УМ1 = {У/, У*} ЕМ{ - {/^ | : я/ У/ х У2\ (Уу^1 е У/ х У|) : (Зе} е £,') => = ^Ц1))}} Каждый экземпляр У\ может быть ассоциирован Е\ более чем с одним экземпляром Е\

Каждый экземпляр У\ может быть ассоциирован Е\ более чем с одним экземпляром Е\

С52 = УМ2, ЕМ2 | = УА/"2 = {Ур У2} ЕМ2 = {Е2, Е2 | Е2: Е2 У2, (У е2, е2ч е Е2) : (е2 ф е2) => (^Ц?) ф Е2^)), (Уу2 е У2): (Зе2 е £2) => (у2 = (Уе2, е2 е Е2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), (Уу2 е У2): (Зе2 е Е2) => (у2 = ^2(е2))}} Каждый экземпляр Уf может быть ассоциирован Е\ не более чем с одним экземпляром Е2

Каждый экземпляр У2 может быть ассоциирован Е( не более чем с одним экземпляром Е2

Номер Описание схемы Несогласованность

CS{ = {EN1, VNl,FNl | EN1 = {F/}, VN1 = {V}, V\)

EN1 = {El | F\ : Ej v\ X V',

(Vej,e> g E\) : (ej ф elk) => (F\(ej) ф E\(elk)),

(Vv], vj g У/ X Vj) : (3ej g F,1) => ((v], vj) = F,1^/))}}

CS2 = {EN2, VN2,FN2 | FN2 = {E2}, VN2 = {V2, V2}

4 FN2 = {F2, F\ | F2: E\ Vf, (4 e2, e2q g F2) : (e2 ф e\) => (F2^2) ф F2(e2)), (Vv2 g V2) : (3,/ g F2) => (v2 = F2^2)), F2: F2 - V2, ( Ve2, e2 g F2) : (e2 ф e2p) => (F2(e2) ф F2(e2)), (Vv2 g V2) : (3,2 g F2) => (v2 = F2(e2))}} Отсутствует

CS{ = {EN1, VN1, FN1 | EN1 = {F|}, VN1 = {Vlv V\) Каждый экземпляр У\ может быть ассоциирован F11

FN1 = {F| | F{ : E\ V{ x V2\ не более чем с одним экземпляром F11

(Ve/,^1 g F/) : (ej ф el) => (F/Ц1) ф F\(elk)), Каждый экземпляр У\ может быть ассоциирован F11

(Vv], vj g Vj X V2) : (Зе/ g F/) => ((v],vj) = F\(ej))}} не более чем с одним экземпляром F11

Номер Описание схемы Несогласованность

5 CS2 = {ENZ, VNZ, FNZ | ENZ = {Ef}, VNZ = {Vf, Vzj FN2 = {F2, F2 | F2: Ef V2, (Vv2 g V2) : (3eJ g E2) => (v2 = F2(e2)), F2: E2 - V2, (Vv2 e V2) : (3e2 g E2) => (v2 = F2(e2))}} о о Каждый экземпляр У( может быть ассоциирован Ff более чем с одним экземпляром Е2

Каждый экземпляр VII может быть ассоциирован Ff более чем с одним экземпляром Е2

6 CSX = {EN1, VNl,FNl | EN1 = {F/}, VNl = {V/, FN1 = {Ff | F{ : E\ V\ x V\, (\/e},elk g El) : (e} ф elk) => (F/Ц1) ф F\(elk)), (Vv], vj e Vj X У]) : (Зе/ g F/) => ((v], vj) = F/Ce/))}} Каждый экземпляр У\ может быть ассоциирован F11 не более чем с одним экземпляром F11

CS2 = {EN2, VN2,FN2 | FA/"2 = {E2}, VN2 = {Vf, V2} FN2 = {F2, F2 | F2: E2 V2, (Ve2, e2 g Ef) : (e2 ф e2) => (Ff(e2) ф Ff(e2)), (Vv2 g Vf) : (3,/ g Ef) => (v2 = Ff (e2)), F2: Ef - V2, (Vv2 g V2) : (3e2 g F2) => (v2 = F2(e2))}} Каждый экземпляр У( может быть ассоциирован Ff более чем с одним экземпляром Е2

Номер Описание схемы Несогласованность

7 С^ = {ЕМ1, УМ1,ЕМ1 | ЕМ1 = УМ1 = {Ур У^} = {/^ | Е\: Е\ у\ х V', (Уу] е У\ X У]) : {Зе} е Е,1) => (у] = Е\(е})), (Уе/ е Е,1) : (Зу] е У/ х У,1) => Ц1 = Е,1"1^))}} Отсутствует

СБ2 = {ЕЛГ2, УМ2,ЕМ2 | ЕЛ^2 = {Е^}, УЛ/"2 = {У(, У2} ™2 = {Е2, Е2 | Е2: Е2 У2, (Уу2 е У2): (Зе/ е Е2) => (у2 = Е2Ц2)), (V*/ е Е2): (Зу2 е У2) => Ц? = Е2"1^;)), (Уу2 е У2): (Зе2 е Е2) => (у2 = Е2(е2)), (Уе2 е Е\) : (Зу2 е У2) => (е2 = Е*"1^))}}

8 = {ЕМ1, УМ1,ЕМ1 | ЕЛ^1 = {£/}, УМ1 = {У/, У\) Е/У1 = {Е,1 I Е{: Е,1 У/ х У2\ (Уу] е У/ х У2) : (Зе/ е Е\) => (у] = Е/Ц1)), (Уе/ е Е,1) : (Зу] е У{ х У2) => (е} = Е/-1^]))}} Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

Номер Описание схемы Несогласованность

С52 = {ЕИ\ | ЕЙ* = {Е{}, УМА = {У{, У^} ЕЙ1 = Е2 I Е2: Е\ У2, (Уу2 е У2): (Эе2 е Е2) => (у2 = £2 - V2, (Уу2 е У2): (Эе2 е £2) => (у2 = ^2(е2))}} о Каждый экземпляр Е^ существует независимо от существования экземпляра У^

Каждый экземпляр Е2 существует независимо от существования экземпляра У2

9 = {ЕЫ1, УЛГ1,^1 | ЯЛГ1 = {£/}, УЛ/"1 = {У/, У2А} = {/^ | : Я,1 У/ х У2\ (Уу] е У/ х У2): (Зе/ е Е,1) => (у] = Е\(е})\ (V*/ е Е\) : (Зу] е У{ х У2) => Ц1 = ^Л^1))}} Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

СБ2 = УИ2,ЕИ2 | = УИ2 = {У(, У2} ™2 = Е2 | Е2: £2 У2, (Уу2 е У2): (Зе/ е £2) => (у2 = (Уе/ е Е2) : (Зу2 е У2) => (е2 = Е2'1^)), Е2-. Е2 - У2, (Уу2 е У2) : (Зе2 е Е2) => (у2 = Е2(е2))}} Каждый экземпляр Е2 существует независимо от г\ существования экземпляра У2

Номер Описание схемы Несогласованность

10 С^ = {ЕМ1, УМ1,ЕМ1 | ЕМ1 = УМ1 = {V/, У2Х} ЕУУ1 = {£/ | Т7,1: У/ х V', (Уу] е У/ х У'): (Зе/ е £,') => (у] = ^Ц1))}} Каждый экземпляр £"1 существует в зависимости от существования экземпляра У\

С52 = {ЕМ2, УМ2,ЕМ2 | = {Е2}, УМ2 = {У2, У2} ЕМ2 = {Е2, Е2 | Е2: Е2 У2, (Уу2 е У2) : (Зе2 е Е2) => (у2 = £2Ц2)), (Уе/ е £2): (Зу2 е У2) => (е2 = Е2'1^)), Е2-. Е2 У2, (Уу2 е У2) : (Зе2 е Е2) => (у2 = Е2(е2))}} о Каждый экземпляр Е[ существует независимо от г\ существования экземпляра У{

11 = {ЯЛГ1, УЛ^1,™1 | ЕЛ/"1 = {£*}, УМ1 = {У/, У]} = {£/ 1 Е\: Е\ у/ х У2\ (Уу] е У{ х У2) : (Зе/ е Е\) => (у] = ^Ц1))}} Каждый экземпляр ^/существует независимо от существования экземпляра У\

Каждый экземпляр Е2 существует независимо от существования экземпляра У\

Номер Описание схемы Несогласованность

CS2 = {ENZ, VNZ, FNZ | ENZ = {Ef}, VNZ = {Vf, Vzj FN2 = {F2, F2 | F2: Ef V2, (Vv2 e V2) : (3ej e E2) => (v2 = F2(e2)), (Ve2 e E2) : (3v2 e V2) => (e2 = F2'1 (v2)), F2: E2 -, V2, (Vv; e V2) : (3e2 e E2) => (v2 = F2(e2)), (Ve2 e E2) : (3v2 e V2) => (e2 = F2~l(v2))}} о Каждый экземпляр Е[ существует в зависимости от существования экземпляра

г\ Каждый экземпляр Е2 существует в зависимости от г\ существования экземпляра У2

CS{ = {EN1, VNl,FNl 1 EN1 = {£/}, VNl = {Vf, FN1 = {F/ | F\ : E\ Vf X Vj, (Ve/,e> G E\) : (ej ф elk) => (F/Ц1) ф F\(elk)), (Vv] e Vj X У]) : (3ej e E,1) => (v] = F\(ej)), (Ve/ e E\) : (3v] e V\ X V') => (e} = F,1"1^))}}

Номер Описание схемы Несогласованность

12 С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е{}, УМ2 = {У{, У2} ЕУУ2 = {Е2, Е2 | Е2: Е\ У2, (V£?/, е2 е Е\) : (е2 ф е\) => (^Ц?) ф £2(ф), (Уу2 е У2): (Зе/ е Е2) => (у2 = £2Ц2)), (Уе/ е £2): (Зу2 е У2) => (е2 = Е2'1^)), Е2-. Е2 - У2, (Уе2, е2 е £2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), (Уу2 е У2) : (Зе2 е Е2) => (у2 = £2(е2)), (Уе2 е Е2) : (Зу2 е У2) => (е2 = Е2~1{у2))}} Отсутствует

= {ЯЛГ1, УА/"1,ЕА/"1 | ЕМ1 = {£*}, УА^1 = {У*, У\) ЕМ1 = | Е\: У{ х У2\ (Уе/,^1 е Е\) : (е} ф е1к) => (^(е/) ф Е\(е1к)), (Уу] е У/ х У2) : (Зе/ е £/) => (у] = Е\(е})), (Уе/ е Я,1) : (Зу] е У{ х У2) => (е} = £||-|(^]))}} Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

Номер Описание схемы Несогласованность

13 CS2 = {ENZ, VNZ, FNZ | ENZ = {Ef}, VNZ = {Vf, Vzj FN2 = {Ef, F2 | Ff: Ef Vf, (Ve2, e2 G Ef) : (ef ф e2q) => (Ff(ef) ф Ff(e2)), (Vv2 e Vf) : (3e2 e Ef) => (v2 = Ff (e2)), F2: Ef - V22, (Ve2, e2 G Ef) : (e2 ф e2) => (F2(e2) ф F2(e2)), (Vv; e V2) : (3,2 e Ef) => (v2 = F|(^))}} о Каждый экземпляр Ff существует независимо от существования экземпляра У(

г\ Каждый экземпляр Е2 существует независимо от г\ существования экземпляра У2

= {FA/"1, VA^FN1 | EN1 = {F/}, VNl = {Vf, V±} FN1 = {Ff | F{ : E\ V\ X V2\ (Ve/,^1 e E\) : (е/ ф elk) => (F/Ц1) ф F\(e\)), (Vv] e Vj x У]) : (Зе/ e F1) => (v] = F\(e})), (Ve/ e E}) : (3v] e Vj X V\) => (ef = F1-1^1))}} Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

Номер Описание схемы Несогласованность

14 С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е{}, УМ2 = {У{, У2} ЕУУ2 = {Е2, Е2 | Е2: Е\ У2, (V£?/, е2 е Е\) : (е2 ф е\) => (^Ц?) ф Е2(е2ч)), (Уу2 е У2): (Зе/ е Е2) => (у2 = £2Ц2)), (Уе/ е £2): (Зу2 е У2) => (е2 = Е2'1^)), Е2-. Е2 - У2, (Уе2, е2 е £2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), (Уу2 е У2): (Зе2 е Е2) => (у2 = £2(е2))}} Каждый экземпляр Щ существует независимо от о существования экземпляра У|

= {ЕМ\ УМ\ЕМ{ | ЕТУ1 = {£/}, УА^1 = {У|, У2Х} ЕМ1 = | : Е\ У/ х У\, (Уе),е\ е : (е) ф е1к) => (^(е/) ф Е\(е1к)), (Уу],у; е У/ х У') : (Зе/ е Е\) => у,]) = ^Ц1))}} Каждый экземпляр существует в зависимости от существования экземпляра У\

Номер Описание схемы Несогласованность

15 С52 = {ЕИ\ УА^А^ | ЕЙ* = {Е{}, УА^ = {У{, У ЕЙ2 = {Е2, Е2 1 Е2: Е2 У2, (Уе2, е2 е Е2) : (е2 ф е2) => (РЩ) ф F12(ф), (Уу2 е У2) : (Эе; е Е2) => (у2 = Е2(е2)), (Уе2 е Е2) : (Зу2 е У2) => (е2 = F12-1(v2)), Е2-. Е2 - У2, (Уе2, е2 е £2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)\ (Уу2 е У2) : (Эе2 е Е2) => (у2 = Е2(е2))}} Каждый экземпляр Ех существует независимо от о существования экземпляра У[

= {ЕЙ1, УИ\ЕИ1 | ЕА/"1 = {£/}, УА^1 = {V/, V.¡} = {/^ | ^: Я,1 У\ х У2\ (Уе/,^1 е Е\) : (е} ф е1к) => (^(е/) ф Е\(е\)\ (Уу\Ур е У/ х У]) : (Зе/ е Е,1) => = Е'Ц.1))}} Каждый экземпляр существует независимо от существования экземпляра У\

Каждый экземпляр Е2 существует независимо от существования экземпляра У2

Номер Описание схемы Несогласованность

16 С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е{}, УМ2 = {У{, У2} ЕУУ2 = {Е2, Е2 | Е2: Е\ У2, (V£?/, е2 е Е\) : (е2 ф е\) => (^Ц?) ф Е2(е2ч)), о Каждый экземпляр Е^ существует в зависимости от существования экземпляра У^

(Уу2 е У2): (Зе/ е Е2) => (у2 = ^Ц?)),

(Уе/ е £2): (Зу2 е У2) => (е2 = Е2'1^)), Е2-. Е2 - У2, (Уе2, е2 е £2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), Каждый экземпляр Е2 существует в зависимости от существования экземпляра У2

(Уу2 е У2) : (Зе2 е Е2) => (у2 = Е2(е2)),

(Уе2 е Е2) : (Зу2 е У2) => (е2 = Е2~1{у2))}}

Каждый экземпляр У\ может быть ассоциирован Е\

С^ = {ЕМ1, УМ\ЕМ1 | ЯЛГ1 = УА/"1 = {У*, У]} более чем с одним экземпляром Е\

ЕУУ1 = {/^ | Е{: Я,1 У/ х У2\ Каждый экземпляр У\ может быть ассоциирован Е\

(Уу] е У\ х У2) : (Зе/ е Е\) => (у] = ^(е/)), более чем с одним экземпляром Е\

(Уе/ е £,') : (Зу] е У,1 х У2) => (е} = /^Чу]))}} Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

С^ = {ЕМ , У/У , гЛ/ I ЕИ = {¿^}, УМ = {Ур У'}

= {Е,1 | Е1: Я,1 У{ х У2\ (Уу1 е У1 х \4) : (Зе/ е Е\) => (у1 = ^(е/))0

Номер (Уе/ е ¿ф : (е/ = Е,1"1^))}} Несогласованность

17 Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е2}, УМ2 = {У2, У2} РМ2 = {Е2, Е2 1 Е2: Е2 У2, (Уе2, е2ч е Е2) : (е2 ф е2) => (Е\(е2) ф Е2(е2)), (Уу2 е У2): (Зе/ е Е2) => (у2 - ^Ц?)), Е2: £2 - V2, (Уе2, е2р е £2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), (Уу2 е У2) : (Эе2 е Е2) => (у2 = Е2(е2))}} о о Каждый экземпляр Уf может быть ассоциирован Е\ не более чем с одним экземпляром Е2

о о Каждый экземпляр У2 может быть ассоциирован Е\ не более чем с одним экземпляром Е2

о Каждый экземпляр Е[ существует независимо от г\ существования экземпляра У{

г\ Каждый экземпляр Е2 существует независимо от существования экземпляра У2

С^ = {ЕМ1, УМ1,ЕМ1 | ЕЛ/"1 = {£/}, УМ1 = {У1, У\) ЕМ1 = {Е1 | Е1: Е\ У1 х У\, (Уу,1 е У1 х У2) : (Зе/ е Е1) => (у,1 = Е{(е})), (Уе} е Е\) : (Зу] е У1 х У2) => Ц1 = Е,1"1^))}} Каждый экземпляр У\ может быть ассоциирован Е\ более чем с одним экземпляром Е\

Каждый экземпляр У2 может быть ассоциирован Е\ более чем с одним экземпляром Е\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

Номер Описание схемы Несогласованность

18 С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е{}, УМ2 = {У{, У2} ЕУУ2 = {Е2, Е2 | Е2: Е\ У2, (V£?/, е2 е Е2) : (е2 ф е\) => (^Ц?) ф Е2(е2ч)), (Уу2 е У2): (Зе/ е Е2) => (у2 = Е2Ц2)), (Уе/ е £2): (Зу2 е У2) => (е2 = Е2'1^)), о о Каждый экземпляр У^ может быть ассоциирован Е\ не более чем с одним экземпляром Е2

о о Каждый экземпляр У2 может быть ассоциирован Е\ не более чем с одним экземпляром Е2

Е2-. Е2 - У2, Каждый экземпляр Щ существует независимо от

(Уе2, е2 е £2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), о существования экземпляра У2

(Уу2 е У2) : (Зе2 е Е2) => (у2 = Е2(е2))}}

Каждый экземпляр У2 может быть ассоциирован Е\

С^ = {ЕМ1, УМ1,ЕМ1 | ЕА/"1 = {£/}, УА^1 = {У/, У\) ЕМ1 = [Е\ | Е{: Я,1 У/ х У2\ более чем с одним экземпляром Е\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

(Уу] е У/ х У2) : (Зе/ е Е\) => (у] = ^(е/)),

(Уе/ е £,') : (Зу] е У,1 х У2) => (е} = Е,1"1^]))}} Каждый экземпляр Е\ существует в зависимости от

19 существования экземпляра У2

Номер Описание схемы Несогласованность

С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е2}, УМ2 = {У2, У2} ЕУУ2 = {Е2, Е2 | Е2: Е2 У2, (Уу2 е У2) : (Зе2 е Е2) => (у2 = Е2Ц2)), Е2: £2 - V2, (Уе2, е2р е Е2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), (Уу2 е У2) : (Зе2 е Е2) => (у2 = Е2(е2))}} о о Каждый экземпляр У2 может быть ассоциирован ¥\ не более чем с одним экземпляром Е2

о Каждый экземпляр Е[ существует независимо от существования экземпляра У[

о Каждый экземпляр Е2 существует независимо от существования экземпляра У2

20 С^ = {ЕЛ/"1, УД/"1,ЕЛ/"1 | ЕМ1 = {Е}}, УМ1 = {У/, У\) ЕМ1 = | Е1: Е\ У\ х У2\ (Уу,1 е У{ x V,1) : (Зе/ е Е,1) => (у] = Е{(е})), (Уе/ е Е\) : (Зу] е У{ х У2) => Ц1 = ^Л^1))}} Каждый экземпляр У\ может быть ассоциирован Е\ более чем с одним экземпляром Е\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

Номер Описание схемы Несогласованность

С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е{}, УМ2 = {У{, У2} ЕУУ2 = {Е2, Е2 | Е2: Е\ У2, (Уу2 е У2): (Эе2 е Е2) => (у2 = Е2Ц2)), (V*/ е Е\): (Зу2 е У2) => (е2 = 1 ЕЛ - ' (Уе2, е2 е £?) : (е2 ф е2р) => (Е2(е2) ф Е2(е2р)), (Уу2 е У2): (Зе2 е £2) => (у2 = Е2(е2))}} о о Каждый экземпляр У2 может быть ассоциирован Е\ не более чем с одним экземпляром Е2

г\ Каждый экземпляр Щ существует независимо от г\ существования экземпляра У2

21 = {ЯЛГ1, УЛ/"1,ЕЛ/"1 | ЯЛГ1 = {£*}, УМ1 = {У1, У]} = {Т7,1 I Е\: Е\ у/ х У2\ (Уу] е У\ х У2) : (Эе} е Е,1) => (у] = Е\(е})), (Уе/ е £/) : (Зу] е У{ х У2) => (е} = Е/Лу]))}} Каждый экземпляр У2 может быть ассоциирован Е\ более чем с одним экземпляром Е\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

Номер Описание схемы Несогласованность

С52 = {ЕИ\ | ЕЙ* = {Е{}, УМА = {У{, У ЕЙ2 = {Е2, Е2 1 Е2: Е2 У2, (Уе2, е2 е Е2) : (е2 ф е2) => (РЩ) ф Е2(<?2)), (Уу2 е У2) : (Эе; е Е2) => (у2 = Е2Ц2)), (Уе2 е Е2) : (Зу2 е У2) => (е2 = Е2~\у2)), Е2-. Е2 - У2, (Уу2 е У2) : (Эе2 е £2) => (у2 = Е2(е2))}} о о Каждый экземпляр Уf может быть ассоциирован Ер не более чем с одним экземпляром Е2

г\ Каждый экземпляр Е2 существует независимо от г\ существования экземпляра У2

22 СБ1 = {ЕЫ1, УД/"1, ЕЛ/"1 | ЕЛ/"1 = {£/}, УА^1 = {У/, У2'} ЕЛ/"1 = {Е1 | Е1: У1 х У2\ (Уе/,^1 е Е1) : (е} ф е1к) => (Е1^1) ф Е\(е\)\ (Уу\ е У1 х У2): (Зе/ е Е\) => (у,1 = Е1^1)), (Уе/ е Е1) : (Зу] е У1 х У2) => (е} = Е,1"1^))}} Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

С52 = {ЕЛ/"2, УИ2,ЕИ2 | ЕЛ/"2 = УД/"2 = {У^, У2} ЕЙ2 = {Е2, Е2 1 Е2: Е2 У2, (У у2 е У2): (Зе/ е Е2) => (у2 = Е2Ц2)), Е2: £2 - У2, (Уу2 е У2) : (Эе2 е Е2) => (у2 = Е2(е2))}} о Каждый экземпляр Е2 существует независимо от г\ существования экземпляра У2

Номер Описание схемы Несогласованность

23 CS{ = {EN1, VNl,FNl | EN1 = {F/}, VNl = {У/, УJ} FA/"1 = {F1 | F\ : Ej У,1 x Vj, (4ej,e\ g E\) : Ц1 ф elk) => (F1^1) ф F\(elk)), (Vv] g У/ x У]) : (Зе/ g F,1) => (v] = F\(ej)), (4ej g F,1) : (3v] g У1 x У') => (e} = F,1 (<))}} Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

CS2 = {FA/"2, VN2,FN2 | FA/"2 = {F2}, УА/"2 = {У2, У2} FA/"2 = {F2,F2 | F2: F2 У2, (Vv] g У2) : (3,/ g F2) => (V2 = F2^2)), (Vef g F2) : (3v2 g Vf) => (ej = Ff-\v2)), F2: F2 - У2, (Vv2 g У2) : (3e2 g F2) => (V2 = F2(e2))}} о Каждый экземпляр Ff существует независимо от г\ существования экземпляра У(

CSl = {EN1, VNl,FNl 1 EN1 = {F/}, УА^1 = {У1, V\) FA/"1 = {F1 | F1 : F1 V\ x У2\ (Ve/,^1 g F1) : (ej ф elk) => (F1^1) ф F\(elk)), (Vv] g yj x У2) : (Зе/ g F1) => (v] = F\(ej)), (4ej g F1) : (3v] g V{ x У2) => (е/ = F1"1^]))}} Каждый экземпляр У\ может быть ассоциирован Е\ не более чем с одним экземпляром Е\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

Номер Описание схемы Несогласованность

24 CS2 = {EN2, VN2,FN2 | EN2 = {E2}, VN2 = {V2, V2} FN2 = {F2, F2 | F2: E2 V2, У e2, e2 G E2) : (e2 ф e2) => (F2 (e2) ф F2(e2)), (Vv2 G V2) : ( 3ef G E2) => (v2 = F2(e2)), F2: E2 - V2, (Vv2 G V2) : (3e2 G F2) => (v2 = F2(e2))}} о о Каждый экземпляр может быть ассоциирован ¥\ более чем с одним экземпляром Е2

о Каждый экземпляр Е[ существует независимо от существования экземпляра

о Каждый экземпляр Е2 существует независимо от существования экземпляра У2

25 CSX = {EN1, VN1, FN1 | EN1 = {F/}, VN1 = {V/, V\) FN1 = {F1 | F{ : E,1 V\ x V2\ (Ve/,^1 G E\) : (е/ ф elk) => (F/Ce/) ф F\(elk)), yvlq G Vjf X V2) : (Зе/ G F1) => (v] = F\(ej)), Уе} G F/) : (3v] G Vj X V2) => Ц1 = F/-1^1))}} Каждый экземпляр У\ может быть ассоциирован Е\ не более чем с одним экземпляром Е\

Каждый экземпляр Е\ существует в зависимости от существования экземпляра У2

Номер Описание схемы Несогласованность

CS2 = {EN2, VNZ,FNZ | ENZ = {Ef}, VNZ = {Vf, Vzj FN2 = {F2, F2 | F2: E2 V2, (4e2, e2 G E2) : (e2 ф e2) => (F2(e2) ф F2(e2)), (4v2q G V2) : ( 3e; G E2) => (v2 = F2(e2)), F2: E2 - V22, (Vv; G Vf) : (3e2 G E2) => (v2 = F2(e2)), (4e2 G E2) : (3v2 G V2) => (e2 = F2~2(v2))}} о о Каждый экземпляр У( может быть ассоциирован Ff более чем с одним экземпляром Е2

г\ Каждый экземпляр Е2 существует независимо от г\ существования экземпляра У2

CS{ = {EN1, VNl,FNl 1 EN1 = {F/}, VNl = {V/, У2А} FA/"1 = {F1 | F1 : F1 У1 x V2\ (Ve/,^1 G F1) : (е/ ф elk) => (F1^1) ф F\(e\)), (4v\ G У1 X V2) : (Зе/ G F1) => (v] = F\(e})), (4ej G F1) : (3v] G У1 X V\) => (ej = F1"1^1))}} Каждый экземпляр У2 может быть ассоциирован Е\ не более чем с одним экземпляром Е\

Номер Описание схемы Несогласованность

26 С52 = {ЕИ\ | ЕЙ* = {Е{}, УМА = {У{, У ЕЙ2 = {Е2, Е2 1 Е2: Е2 У2, (Уе2, е2 е Е2) : (е2 ф е2) => (РЩ) ф Е2(е2)\ (Уу2 е У2) : (Эе; е Е2) => (у2 = Е2(е2)), (Уе2 е : (Зу2 е У2) ^ ц? = Е2_1(у2)), Е2: £2 - V2, (Уу2 е У2) : (Эе2 е £2) => (у2 = Е2(е2))}} о О Каждый экземпляр У2 может быть ассоциирован ¥\ более чем с одним экземпляром Е2

СБ1 = {ЕЫ1, УД/"1,ЕЛ/"1 | ЕИ1 = {Е}}, УЫ1 = {У}, У±} ЕУУ1 = {Е/ | Т7,1: Е\ У1 х У2\ (Уу] е V} х У2): (Эе} е £,') => (у] = ^Ц1))}} Каждый экземпляр У2 может быть ассоциирован Е\ более чем с одним экземпляром Е\

Номер Описание схемы Несогласованность

27 С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е{}, УМ2 = {У{, У2} ЕЙ2 = {Е2, Е2 1 Е2: Е2 У2, (Уе2, е2ч е Е2) : (е2 ф е2) => (Е2(е2) ф Е2^)), (Уу2 е У2): (Эе; е Е2) => (у2 = Е2Ц2)), (Уе/ е £2): (Зу2 е У2) => (е2 = Е2'1^)), Е2-. Е2 - У2, (Уе2, е2 е £2) : (е2 ф е2) => ф Е2(е2р)), (Уу2 е У2): (Зе2 е £2) => (у2 = Е2(е2))}} о о Каждый экземпляр У2 может быть ассоциирован Е\ не более чем с одним экземпляром Е\

СБ{ = {ЕЫ1, УЫ1,ЕЫ1 | ЕЫ1 = }, УЫ1 = {У/, У2'} ЕУУ1 = {Е/ 1 Е{: Я,1 У{ х У2\ (Уу] е У{ х У2): (Зе/ е Е\) => (у] = ^Ц1))}} Каждый экземпляр У\ может быть ассоциирован Е\ более чем с одним экземпляром Е\

Номер Описание схемы Несогласованность

С52 = {ЕИ\ УИ\ЕИ2 | ЕЙ* = {Е{}, УМА = {У{, У

ЕЙ2 = {Е2, Е2 1 Е2: Е2 У2,

28 (Уу2 е У2) : (Зе2 е Е2) => (у2 = F12(<?2)), (Уе2 е Е2) : (Зу2 е У2) => (е; = F2_1(v2)), Е2-. Е2 VI (Уе2, е2 е Е2) : (е2 ф е2) => (Е2(е2) ф Е2(е2р)), (Уу2 е У|): (Зе2 е Е2) => (у2 = Каждый экземпляр У2 может быть ассоциирован ¥\ не более чем с одним экземпляром Е2

= {ЕИ\ УИ\ЕИ[ | ¿ТУ1 = {£/}, УЫ1 = {V/, У2А} ЕУУ1 = {Е/ | Т7,1: У1 х У1 (Уу] е У1 х У1): (Зе/ е £,') => (у] = ^Ц1))}} Каждый экземпляр У\ может быть ассоциирован Е\ более чем с одним экземпляром Е\

С52 = [ЕЙ2, УИ2,ЕИ2 | = {Е(}, УИ2 = {У(, У2)

ЕЙ1 = {Е2, Е2 | Е2: Е2 У2,

29 (Уе2, е2 е Е2) : (е2 ф е2) => ф /^(ф), (Уу2 е У2): (Зе2 е £2) => (у2 = /^(е/)), (Уе/ е Е2): (Зу2 е У2) => (е2 = F12-1(v2)), Е2-. Е2 - У2, (Уу2 е У2): (Зе2 е £2) => (у2 = ^2(е2))}} Каждый экземпляр У{ может быть ассоциирован ¥\ не более чем с одним экземпляром Е2

Номер Описание схемы Несогласованность

CS{ = {EN\ VNl,FNl | EN1 = {F/}, VNl = {Vj, У2Х}

FN1 = {F1 | F\ : Ej V\ x V\, Каждый экземпляр может быть ассоциирован Е\

(4e),e\ g F,1) : (ej ф elk) => (F^1) ф F,1^)), не более чем с одним экземпляром Е\

(Vv], vj g У/ x Vf) : (Зе/ g F/) => ((v], v,!) = F/Ce/))}}

CS2 = {EN2, VN2,FN2 | EN2 = {E2}, VN2 = {Vf, V2}

30 FN2 = {F2, F2 | F2: F2 V2,

(Vv] g V2) : ( 3ef g F2) => (v2 = F2^2)), Каждый экземпляр может быть ассоциирован Е\

(Ve/ g F2) : (3v2 g V2) => (ej = F2_1(v2)), более чем с одним экземпляром Е\

F22: F2 - V2,

(Vv2 g V2) : (3e2 g F2) => (v2 = F2(e2))}}

= {EN1, VNl,FNl \ EN1 = {F/}, VW1 = {V},

FN1 = {F1 | F\ : F1 V\ X V2\ Каждый экземпляр У2 может быть ассоциирован Е\

(Ve/,^1 G E\) : (е/ ф elk) => (F/Ц1) ф F\(elk)), не более чем с одним экземпляром Е\

(Vv], vj G У/ X V2) : (Зе/ G F1) => ((v], vj) = F,1^1))}}

Номер Описание схемы Несогласованность

31 CS2 = {EN2, VNZ,FNZ | ENZ = {Ef}, VNZ = {Vf, Vzj FN2 = {F2, F2 | F2: E2 -, V2, (Vv2 G V2) : (3ej G E2) => (v2 = F2(e2)), (Ve2 G E2) : (3v2 e V2) => (e2 = F2'1 (v2)), F2: E2 -, V2, У e2, e2p G E2) : (e2 ф e2) => (F2(e2) ф F2(e2)), (Vv; G V2) : (3e2 G E2) => (v2 = F2(e2))}} Каждый экземпляр У2 может быть ассоциирован ¥\ более чем с одним экземпляром Е2

CSX = {EN1, VNl,FNl | EN1 = {£/}, VNl = {Vf, V}} FN1 = {F1 | F{ : E\ -, V\ X V\, Уе),е\ G E\) : (ej ф elk) => (F/Ц1) ф F\(e\)), (Vv], vj G Vj X У]) : (Зе/ G E\) => ((v], vj) = F,1^1))}} Каждый экземпляр У2 может быть ассоциирован Ех не более чем с одним экземпляром Е\

Номер Описание схемы Несогласованность

32 С52 = {ЕМ2, УМ2,ЕМ2 | ЕМ2 = {Е{}, УМ2 = {У{, У2} ЕЙ2 = {Е2, Е2 1 Е2: Е2 У2, (Уе2, е2ч е Е2) : (е2 ф е2) => (Е2(е2) ф Е2^)), (Уу2 е У2) : (Эе; е Е2) => (у2 = Е2(е2)), (Уе2 е ф: (Зу2 е У2) ^ ц? = Е2_1(у2)), Е2: £2 - V2, (Уу2 е У2): (Эе2 е £2) => (у2 = Е2(е2))}} о О Каждый экземпляр может быть ассоциирован Е( более чем с одним экземпляром Е2

ПРИЛОЖЕНИЕ Б Анализ семантической несогласованности при возникновении конфликта атрибут-сущность

10 О

Пусть С^, обозначают концептуальные схемы сущность-связь; ЕЛГ, и УД/ обозначают множества имен

110 О

множеств сущностей и множеств значений: Е[, Щ, Е{ являются множествами сущностей и У{ является множеством

10 10 10 1 значений, причем Е1 = Е1 и Щ = У(; ЯМ и ЕД/ обозначают множества имен множеств связей и атрибутов: Щ является

О 10

множеством связей и Е\ является атрибутом, причем Щ = Е\.

Таблица 2. Сравнительный анализ семантической несогласованности концептуальных схем сущность-связь