Управление параллельным выполнением транзакций в распределенных гетерогенных базах данных при доступе из мобильной среды тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Аникин, Николай Александрович

• Аникин, Николай Александрович
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Аникин, Николай Александрович

Оглавление

Введение

Глава 1. Мобильные системы доступа к данным (МСДД):

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

1.1. Классификация систем совместного доступа к информации

1.2. Проблемы разработки систем мульти-БД (СМБД) и МСДД

1.2.1. Характеристики СМБД

1.2.1.1. Проблемы, возникающие при разработке СМБД

1.2.2. Особенности использования мобильных устройств в СМБД

1.2.2.1. Проблемы, возникающие при разработке МСДД

1.3. Управление параллельным выполнением транзакций

1.3.1. Основы обработки транзакций в централизованной среде

1.3.2. Основы обработки транзакций в среде мульти-БД

1.3.3. Проблемы управления параллельным выполнением транзакций в СМБД

1.3.3.1. Сериализуемость транзакций

1.3.3.2. Взаимоблокировки транзакций

1.3.3.3. Атомарность транзакций

1.3.3.4. Интеграция СУБД, использующих БпарзЬог-изоляцию

1.3.4. Проблемы управления параллельным выполнением транзакций в МСДД

1.4. Обзор существующих решений в области управления параллельным выполнением транзакций в МСДД

1.4.1. Общие подходы к обеспечению сериализуемости

глобальных транзакций в среде мульти-БД

2

1.4.1.1. Полная автономность локальных узлов

1.4.1.2. Менее строгие критерии сериализуемости

1.4.1.3. Частичное нарушение локальной автономности

1.4.1.4. Использование специфических знаний о ЛСУБД

1.4.1.5. Использование семантики транзакций

1.4.2. Методы обеспечения сериализуемости транзакций и алгоритмы работы менеджера транзакций заданий в МСДД

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

1.5. Постановка задачи

1.6. Выводы

Глава 2. Разработка метода управления параллельным выполнением транзакций в МСДД

2.1. Анализ особенностей существующих методов

2.2. Анализ задачи и общая схема МСДД

2.3. Математическая модель транзакций в СМБД

2.3.1. Основные понятия

2.3.2. История транзакций

2.3.3. Сериализуемость истории транзакций

2.3.4. Мультиверсионное управление параллельным выполнением транзакций

2.3.4.1. Мультиверсионная история транзакций

2.3.4.2. Сериализуемость мультиверсионной истории

2.3.4.3. Мультиверсионный граф предшествования

2.3.5. Snapshot-изоляция

2.4. Обеспечение атомарности глобальных транзакций

3

2.4.1. Возможные решения в случае, если протокол 2РС не поддерживается

2.5. Метод обеспечения глобальной сериализуемости

2.5.1. Необходимые и достаточные условия сериализуемости

2.5.2. Определение порядка сериализации глобальных субтранзакций в локальных СУБД

2.5.2.1. СУБД, использющие протоколы ТО и MVTO

2.5.2.2. СУБД, использующие протокол SS2PL

2.5.2.3. СУБД, использующие Snapshot-изоляцию

2.5.2.4. СУБД, использующие неизвестный протокол

2.5.3. Доказательство корректности метода

2.6. Выводы

Глава 3. Структурная модель МСДД и алгоритмы работы

глобального менеджера транзакций

3.1. Структурная модель МСДД

3.1.1. Обобщенная модель

3.1.2. Компонент передачи данных

3.1.3. Компонент синтаксического анализа запросов

3.1.4. Компонент доступа к метаданным

3.1.5. Адаптеры ЛСУБД

3.1.6. Глобальный менеджер транзакций

3.2. Обработка глобальных транзакций

3.2.1. Обобщенный алгоритм обработки транзакций

3.2.2. Проверка глобальной сериализуемости

3.2.2.1. Построение глобального графа предшествования

3.2.2.2. Добавление транзакций в граф

3.2.2.3. Исключение лишних транзакций из графа

3.2.3. Решение проблем, порождаемых мобильной средой

3.2.3.1. Модификация протокола двухфазной фиксации

3.2.3.2. Обработка непредвиденных обрывов соединения

3.2.3.3. Дополнительная прямая проверка

3.2.4. Блок-схема алгоритма обработки транзакций

3.2.5. Оценка сложности алгоритмов

3.3. Протокол взаимодействия клиента с МСДД

3.4. Масштабируемость системы

3.5. Выводы

Глава 4. Программное обеспечение для управления МСДД,

реализация прототипа системы и результаты его практического использования

4.1. Структура разработанного программного обеспечения

4.1.1. Модуль управления

4.1.1.1. Компонент передачи данных

4.1.1.2. Глобальный менеджер транзакций

4.1.1.3. Компонент синтаксического анализа запросов

4.1.1.4. Компонент доступа к метаданным

4.1.2. Модуль тестирования

4.2. Реализация прототипа МСДД, использующего

предложенный метод, на примере системы мобильных платежей

4.2.1. Общее описание системы MidlPay

4.2.2. Операции, доступные пользователю системы

4.2.3. Вопросы безопасности

5

4.2.4. Применение технологии МСДД

4.3. Моделирование процесса работы МСДД и результаты использования разработанного прототипа

4.4. Выводы

Заключение

Список использованных источников

Приложение 1

Приложение 2

Приложение 3

Приложение 4

Приложение 5

Приложение 6

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

ВВЕДЕНИЕ

Актуальность темы.

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

За последние несколько лет также получили серьезное развитие и мобильные технологии. Причем, большое количество исследований и разработок было проведено как в области мобильных устройств (сотовые телефоны, смартфоны, карманные и переносные компьютеры), так и в области средств связи (GPRS - одна из первых технологий мобильного интернета, ее улучшенный аналог EDGE, развивающиеся в последние годы технологии Wi-Fi, Wi-MAX, 3G). Эти технологии помогают наделить мобильные устройства значительно большей функциональностью, и сфера применения этих технологий очень широка: начиная от простейших интернет-приложений для просмотра веб-страниц и электронной почты и заканчивая приложениями для электронной коммерции, интернет-банкинга, оплаты различных услуг.

В последние годы сформировалось отдельное направление в науке, изучающее вопросы управления гетерогенными базами данных в распределенной и одновременно мобильной среде (под «мобильной средой» подразумевается то, что доступ в систему осуществляется с мобильного устройства и, как правило, по беспроводному каналу связи). В зарубежной литературе это направление получило название MDAS - Mobile Data Access System (МСДД - мобильная система доступа к данным).

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

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

Цель диссертационной работы.

Цель диссертационной работы состоит в решении проблемы управления параллельным выполнением транзакций на глобальном уровне в МСДД, которая объединяет несколько реляционных СУБД, использующих разные методы управления параллельным выполнением транзакций на локальном уровне.

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

1. анализ и классификация существующих решений в области систем совместного доступа к информации;

2. исследование современных методов управления параллельным выполнением транзакций в системах мульти-БД и МСДД;

3. разработка математической модели МСДД;

4. определение необходимых и достаточных условий обеспечения глобальной сериализуемости транзакций в МСДД;

5. разработка метода и алгоритма работы глобального менеджера транзакций (concurrency-control manager), отвечающего за обеспечение сериализуемости транзакций в МСДД;

6. разработка структурной модели МСДД и реализация её прототипа;

7. реализация предложенного метода и его применение на примере мобильной платежной системы;

8. оценка эффективности метода при работе с реальными СУБД.

Методы исследования.

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

Научные результаты и их новизна.

В диссертационной работе получены следующие результаты:

1. разработана математическая модель МСДД, описывающая данные, транзакции и истории транзакций в системе и отличающаяся от существующих моделей тем, что учитывает особенности управления транзакциями в СУБД, использующих Snapshot-изоляцию (изоляцию «моментальных снимков»);

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

3. предложен новый метод управления параллельным выполнением транзакций в МСДД, учитывающий специфику мобильной среды и позволяющий интегрировать любые СУБД, обеспечивающие сериализуемость локальных транзакций (без существенных нарушений их локальной автономности), и СУБД, использующие 8парз1ю1:-изоляцию (с частичным нарушением автономности);

4. доказана корректность метода управления параллельным выполнением транзакций в МСДД;

5. впервые предложено решение для интеграции СУБД, обеспечивающих сериализуемость локальных транзакций, и СУБД, использующих БпарзЬо^изоляцию, в мобильной среде;

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

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

Практическая значимость результатов работы.

Разработанные модели МСДД и методы управления параллельным выполнением транзакций в МСДД могут быть использованы при создании практически любых распределенных мобильных систем со стационарными БД и мобильными клиентами. Для таких систем предложенный метод позволяет интегрировать в рамках глобальной системы практически все используемые в широкой практике реляционные СУБД и гарантировать глобальную сериализуемость транзакций. При этом, как показало моделирование, дополнительный контроль транзакций на глобальном уровне приводит к падению производительности системы не более чем на 10-15%, при выполнении 600 одновременных глобальных транзакций.

Реализация и внедрение результатов работы.

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

Апробация работы.

Основные положения диссертационной работы докладывались и обсуждались на конференциях и семинарах: XIII и XIV международных телекоммуникационных конференциях студентов и молодых ученых «МОЛОДЕЖЬ И НАУКА» (Москва, 2010, 2011), девятой международной практической конференции «Исследование, разработка и применение высоких технологий в промышленности» (Санкт-Петербург, 2010), 7-ой международной научно-практической конференции «Интеллектуальные технологии в образовании, экономике и управлении» (Воронеж, 2010), международной научно-практической конференции «Современные проблемы и пути их решения в науке, транспорте, производстве и образовании '2010» (Одесса, 2010), XIX и XX международных научно-технических семинарах «Современные технологии в задачах управления, автоматики и обработки информации» (Алушта, 2011).

Публикации.

По теме диссертации опубликовано 10 печатных работ: 5 тезисов докладов и 5 статей в журналах, в том числе 4 статьи в журналах, включенных ВАК РФ в перечень ведущих рецензируемых научных журналов и изданий.

11

Структура и объем работы.

Диссертационная работа состоит из введения, четырех глав, заключения, библиографического списка из 128 наименований и приложений. Общий объем диссертации - 230 страниц машинописного текста, в том числе: 160 страниц основного текста и 23 страницы приложений, 39 рисунков, 17 таблиц.

Содержание работы.

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

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

12

использующие 8парз1ю1:-изоляцию. На основании математической модели доказывается корректность предлагаемого метода.

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

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

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

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Аникин, Николай Александрович

4.4. Выводы

1. В данной главе описано программное обеспечение для управления мобильной системой доступа к данным и моделирования ее работы, разработанное на основе метода управления параллельным выполнением транзакций и структурной модели, описанных в предыдущих главах. МСДД может включать в свой состав реляционные СУБД, обеспечивающие локальную сериализуемость, и/или СУБД, использующие Snapshot-изоляцию.

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

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

4. Разработанные модели и методы нашли применение на практике в системе мобильных платежей «MidlPay».

188

ЗАКЛЮЧЕНИЕ

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

1. Проведена классификация глобальных информационных систем в распределенной среде, подробно рассмотрены мобильные системы доступа к данным (МСДД) - распределенные гетерогенные базы данных, состоящие из автономных локальных СУБД, клиенты которых работают в беспроводной сети. Изучена проблематика управления параллельным выполнением транзакций в таких системах на глобальном уровне.

2. Выполнен обзор существующих методов управления параллельным выполнением транзакций в таких системах. Сделан вывод о том, что существующие решения обладают рядом недостатков, или не применялись на практике, или рассматривают вопросы интеграции только тех СУБД, которые обеспечивают локальную сериализуемость, в то время как многие современные СУБД, использующие БпарзИо^изоляцию (81), не обладают этим свойством.

3. Предложена математическая модель транзакций в МСДД, формализованы критерии сериализуемости и 81-сериализуемости локальных и глобальных историй транзакций.

4. Впервые предложен метод управления параллельным выполнением транзакций в МСДД, позволяющий интегрировать как СУБД, обеспечивающие локальную сериализуемость транзакций, так и СУБД, использующие 8парзЬо1-изоляцию. На основе математической модели сформулированы и доказаны теоремы, подтверждающие правильность работы метода.

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

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

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

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

9. Реализован прототип МСДД на примере системы мобильных платежей «М1с11Рау». Прототип успешно прошел внедрение и апробацию в ООО «ПС груп».

10. Разработанные модели МСДД и методы управления параллельным выполнением транзакций в МСДД могут быть использованы при создании практически любых распределенных мобильных систем со стационарными базами данных и мобильными клиентами. Использование предложенного алгоритма работы глобального менеджера транзакций позволяет уменьшить время обработки транзакций по сравнению с существующими алгоритмами и уменьшить нагрузку на каналы связи, позволяя тем самым сокращать издержки и создавать более быстрые мобильные приложения.

Список литературы диссертационного исследования кандидат технических наук Аникин, Николай Александрович, 2012 год

СПИСОК ИСПОЛЬЗОВАННЫХ источников

1. Sheth, А. P. Federated Database Systems for Managing Distributed, Heterogeneous and Autonomous Databases [Текст] / Amit P. Sheth, James A. Larson // IEEE Computer. - 1990. - № 22(3). - C. 183-236. - Текст англ.

2. Bright, M. W. A Taxonomy and Current Issues in Multidatabase Systems [Текст] / M. W. Bright, A. R. Hurson, S. H. Pakzad // IEEE Computer. -1992. - № 25(3). - C. 50-60. - Текст англ.

3. Арсеньев, Б. П. Интеграция распределенных баз данных [Текст] / Б. П. Арсеньев, С. П. Яковлев. - М. : Вильяме, 2001. - 464 с.

4. Калиниченко, JI. А. Методы и средства интеграции неоднородных баз данных [Текст] / JI. А. Калиниченко. - М.: Наука, 1983. - 423 с.

5. Саймон, А. Р. Стратегические технологии баз данных: менеджмент на 2000 год. / Под ред. и с предисл. М. Р. Когаловского [Текст] / А. Р. Саймон. -М.: Финансы и статистика, 1999. - 480 с.

6. Elmagarmid, А. К. Management of Heterogeneous and Autonomous Database Systems [Текст] / Ahmed K. Elmagarmid, Marek Rusinkiewicz, Amit Sheth. - Morgan Kaufmann, 1999. - Текст англ. - ISBN 978-1-55860-216-8.

7. Бурковский, В. JI. Интеграция гетерогенных баз данных в системах принятия решений [Текст] / Виктор Леонидович Бурковский, Александр Николаевич Дорофеев, В. Н. Назаров // Теория активных систем : Сб. науч. тр. Межд. науч.-практ. конф. - М., 2001. - Т. 1. - С. 83-84.

8. Barker, К. Transaction Management on Multidatabase Systems : Ph.D. Thesis / K. Barker ; Department of Computing Science, University of Alberta. -Edmonton, Canada, 1990. - Текст англ.

9. Дорофеев, A. H. Моделирование и анализ конфликтов транзакций в информационных системах на основе гетерогенных баз данных : диссертация

... кандидата технических наук : 05.13.11 / Александр Николаевич Дорофеев ; Воронеж, гос. техн. ун-т. - Воронеж, 2003. - 155 с.

10. Lim, J. В. Concurrent Data Access in a Mobile Heterogeneous System [Текст] / James B. Lim, A. R. Hurson, К. M. Kavi // Proceedings of the 32nd Annual Hawaii International Conference on System Sciences. - 1999. - Текст англ.

11. Tonguz, О. К. Ad Hoc Wireless Networks: A Communication-Theoretic Perspective [Текст] / Ozan K. Tonguz, Gianluigi Ferrari. - John Wiley & Sons, 2006. - Текст англ. - ISBN 047009110X.

12. Toh, С. K. Ad Hoc Mobile Wireless Networks: Protocols and Systems [Текст] / Chai K. Toh. - Prentice Hall, 2001. - Текст англ. - ISBN 0130078174.

13. Royer, E. M. A Review of Current Routing Protocols for Ad Hoc Mobile Wireless Networks [Текст] / E. M. Royer, Chai K. Toh // IEEE Personal Communications. - 1999. - T. 6, № 2. - C. 46-55. - Текст англ. - ISSN 1070-9916.

14. Brayner, A. A Semantic-Serializability Based Fully-Distributed Concurrency Control Mechanism for Mobile Multi-Database Systems [Текст] / Angelo Brayner, F. S. Alencar // Proceedings of the 16th International Workshop on Database and Expert Systems Applications. - 2005. - C. 1085-1089. - Текст англ. -ISSN 1529-4188.

15. Luo, Y. Encyclopedia of GIS [Текст] / Yan Luo, Ouri Wolfson. -Springer US, 2008. - Текст англ. - ISBN 978-0-387-30858-6.

16. Xu, B. Data Management in Mobile Peer-to-Peer Networks [Текст] / В. Xu, О. Wolfson // Proc. of the 2nd International Workshop on Databases, Information Systems, and Peer-to-Peer Computing. - 2004. - C. 1-15. - Текст англ. - ISBN 978-3-540-25233-7.

17. Mondal, A. Research Issues and Overview of Economic Models in Mobile-P2P Networks [Текст] / A. Mondal, S. K. Madria, M. Kitsuregawa // 18th International Conference on Database and Expert Systems Applications. - 2007. - C. 809-813. - Текст англ. - ISSN 1529-4188.

18. Xing, Z. SODA: An Algorithm to Guarantee Correctness of Concurrent Transaction Execution in Mobile P2P Databases [Текст] / Zhaowen Xing, Le Gruenwald, К. K. Phang // 19th International Conference on Database and Expert Systems Application. - 2008. - C. 337-341. - Текст англ. - ISSN 1529-4188.

19. Дорофеев, A. H. Архитектура информационно-управляющей системы на базе гетерогенной информационной среды [Текст] / Александр Николаевич Дорофеев, Виктор Леонидович Бурковский // Актуальные проблемы менеджмента, маркетинга и информационных технологий : Сб. науч. тр. - Воронеж, 2001. - № 2. - С. 32-36.

20. Храмов, А. А. Проблемы управления параллельным доступом в мобильных системах доступа к данным и методы их решения [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Вестник Московского авиационного института. - М. : Изд-во МАИ, 2010. - Т. 17, № 6. -С. 129-138.-ISSN0869-6101.

21. Дейт, К. Д. Введение в системы баз данных [Текст] / К. Дж. Дейт. -8-е изд. - М. [и др.] : Вильяме, 2005. - 1314 с. - ISBN 5-8459-0788-8.

22. Gray, J. Transaction Processing: Concepts and Techniques [Текст] / Jim Gray, Andreas Reuter. - 1-е изд. - Morgan Kaufmann, 1993. - Текст англ. -ISBN 1558601902.

23. Garcia-Molina, H. Node Autonomy in Distributed Systems [Текст] / Hector Garcia-Molina, B. Kogan // Proceedings. International Symposium on Databases in Parallel and Distributed Systems. - 1988. - C. 158-166. - Текст англ. -ISBN 0-8186-0893-5.

24. Аникин, H. А. Особенности использования мобильных устройств в системах мульти-БД [Текст] / Николай Александрович Аникин // Высокие технологии, исследования, промышленность: сборник трудов Девятой международной практической конференции «Исследование, разработка и применение высоких технологий в промышленности». - СПб. : Изд-во Политехи. Ун-та, 2010. - Т. 1. - С. 117-124. - ISBN 978-5-7422-2557-7.

193

25. Krishnamurthy, R. Interoperability of Heterogeneous Databases with Schematic Discrepancies [Текст] / R. Krishnamurthy, W. Litwin, W. Kent // Proceedings. First International Workshop on Interoperability in Multidatabase Systems. - 1991. - C. 144-151. - Текст англ. - ISBN 0-8186-2205-9.

26. Litwin, W. Multidatabase Interoperability [Текст] / W. Litwin, A. Abdellatif // IEEE Computer. - 1986. - № 19(12). - C. 10-18. - Текст англ.

27. Тамер Оззу, М. Распределенные и параллельные системы баз данных [Текст] / М. Тамер Оззу, Патрик Валдуриз // Системы Управления Базами Данных. - 1996. - № 4.

28. Breitbart, Y. Overview of Multidatabase Transaction Management [Текст] / Yuri Breitbart, Hector Garcia-Molina, Avi Silberschatz // The International Journal on Very Large Data Bases. - 1992. - Т. 1, № 2. - C. 181-240. - Текст англ. -ISSN 1066-8888.

29. Dirckze, R. A. A Pre-Serialization Transaction Management Technique for Mobile Multidatabases [Текст] / Ravi A. Dirckze, Le Gruenwald // Mobile Networks and Applications. - 2000. - T. 5, № 4. - C. 311-321. - Текст англ. - ISSN 1383-469X.

30. Dirckze, R. A. Nomadic Transaction Management [Текст] / Ravi A. Dirckze, Le Gruenwald // IEEE Potentials. - 1998. - T. 17, № 2. - C. 31-33. - Текст англ.-ISSN 0278-6648.

31. Forman, G. H. The Challenges of Mobile Computing [Текст] / G. H. Forman, J. Zahorjan // IEEE Computer. - 1994. - T. 27, № 4. - C. 38-47. - Текст англ.-ISSN 0018-9162.

32. Alonso, R. Database System Issues in Nomadic Computing [Текст] / Rafael Alonso, Henry F. Korth // International Conference on Management of Data. -1993. - C. 388-392. - Текст англ. - ISBN 0-89791-592-5.

33. Walborn, G. D. Supporting Semantics-Based Transaction Processing in Mobile Database Applications [Текст] / G. D. Walborn, P. K. Chrysanthis //

Proceedings of the 14th Symposium on Reliable Distributed Systems. - 1995. - C. 31-40. - Текст англ. - ISBN 0-8186-7153-X.

34. Chrysanthis, P. Transaction Processing in Mobile Computing Environment [Текст] / P. Chrysanthis // In Proceedings of the IEEE Workshop on Advances in Parallel and Distributed Systems. - 1993. - C. 77-82. - Текст англ.

35. Yeo, L. H. Submission of Transaction from Mobile Workstations in a Cooperative Multidatabase Processing Environment [Текст] / L. H. Yeo, A. Zaslavsky // In Proceedings of the 14th International Conference on Distributed Computing Systems. - 1994. - C. 372-379. - Текст англ.

36. Гарсия-Молино, Г. Системы баз данных (полный курс) [Текст] / Гектор Гарсия-Молино, Джеффри Д. Ульман, Дженнифер Уидом. - М. : Вильяме, 2003. - 1088 с. - ISBN 5-8459-0384-Х.

37. Bell, D. Distributed Database Systems [Текст] / David Bell, Jane Grimson. - Addison-Wesley Publishing Company, 1992. - Текст англ. - ISBN 02015-4400-8.

38. Bernstein, P. A. Concurrency Control and Recovery in Database Systems [Текст] / Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman. -Addison-Wesley Publishing Company, 1987. - Текст англ. - ISBN 0-201-10715-5.

39. Silberschatz, A. Database System Concepts [Текст] / A. Silberschatz, H. F. Korth, S. Sudarshan. - 4-е изд. - N.Y.: McGraw-Hill, 2002. - Текст англ.

40. Eswaran, К. P. The Notions of Consistency and Predicate Locks in a Data Base System [Текст] / К. P. Eswaran, Gray J. N., Lorie R. A., Traiger I. L. // Communications of the ACM. - 1976. - T. 19, № 11. - C. 624-633. - Текст англ. -ISSN 0001-0782.

41. Чардин, П. Многоверсионность данных и управление параллельными транзакциями [Текст] / Петр Чардин // Открытые системы. СУБД.-2005.-№ 1.-С. 64-69.-ISSN 1028-7493.

42. Geogakopoulos, D. Using Tickets to Enforce the Serializability of Multidatabase Transactions [Текст] / D. Geogakopoulos, M. Rusinkiewiez, A. Sheth

195

// IEEE Transactions on Knowledge and Data Engineering. - 1994. - T. 6, № 1. - C. 166-180. - Текст англ. - ISSN 1041-4347.

43. Kung, H. T. On Optimistic Methods for Concurrency Control [Текст] / H. T. Kung, J. T. Robinson // ACM Transactions on Database Systems. - 1981. - T. 6, № 2. - C. 213-226. - Текст англ. - ISSN 0362-5915.

44. Jacobs, K. Concurrency Control, Transaction Isolation and Serializability in SQL92 and Oracle7 : Oracle White Paper / K. Jacobs, R. Bamford, G. Doherty, K. Haas, M. Holt, F. Putzolu, B. Quigley. - 1995. - Part Number A33745, Текст англ.

45. Alomari, M. I. Ensuring Serializable Executions with Snapshot Isolation DBMS : Ph.D. Thesis / Mohammad I. Alomari ; Faculty of Engineering and Information Technology, University of Sydney. - Sydney, Australia, 2009. - Текст англ.

46. PostgreSQL 9.0.1 Documentation [Электронный ресурс]. - Режим доступа: http://www.postgresql.org/files/documentation/pdf/9.0/postgresql-9.0-US.pdf. Дата обращения: 12.08.2010.

47. Weikum, G. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery [Текст] / Gerhard Weikum, Gottfried Vossen. - Morgan Kaufmann, 2002. - Текст англ., 852 с. - ISBN 978-155860-508-4.

48. Berenson, H. A Critique of ANSI SQL Isolation Levels [Текст] / Hal Berenson, Philip Bernstein, Jim Gray, Jim Melton, Elizabeth O'Neil, Patrick O'Neil // Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data. - 2005. - T. 24, № 2. - C. 1-10. - Текст англ. - ISBN 0-89791-731-6.

49. Аникин, H. А. Методы обеспечения сериализуемости транзакций в СУБД, использующих Snapshot-изоляцию [Текст] / Николай Александрович Аникин // Интеллектуальные технологии в образовании, экономике и управлении : Сб. матер. 7-ой Межд. научн.-практ. конф. - Воронеж : ЮниПресс, 2010. - С. 174-178.

50. Madria, S. К. A Transaction Model for Mobile Computing [Текст] / S. K. Madria, B. Bhargava // Proceedings of the 1998 International Symposium on Database Engineering & Applications. - 1998. - C. 92-102. - Текст англ. - ISBN 08186-8307-4.

51. Pitoura, E. Revising Transaction Concepts for Mobile Computing [Текст] / E. Pitoura, B. Bhargava // Proceedings of the Workshop on Mobile Computing Systems and Applications. - 1994. - C. 164-168. - Текст англ. - ISBN 0-8186-6345-6.

52. Dunham, M. H. A Mobile Transaction Model That Captures Both the Data and Movement Behavior [Текст] / Margaret H. Dunham, Abdelsalam Helal, Santosh Balakrishnan // Mobile Networks and Applications. - 1997. - T. 2, № 2. - C. 149-162. - Текст англ. - ISSN 1383-469X.

53. Elmagarmid, A. K. A Paradigm for Concurrency Control in Heterogeneous Distributed Database Systems [Текст] / A. K. Elmagarmid, W. Du // Proceedings. Sixth International Conference on Data Engineering. - 1990. - C. 3746. - Текст англ. - ISBN 0-8186-2025-0.

54. Breitbart, Y. Multidatabase Update Issues [Текст] / Yuri Breitbart, Avi Silberschatz // Proceedings of The 1988 ACM SIGMOD International Conference on Management of Data. - 1988. - C. 135-142. - Текст англ. - ISBN 0-89791-268-3.

55. Geogakopoulos, D. On Serializability of Multidatabase Transactions Through Forced Local Conflicts [Текст] / D. Geogakopoulos, M. Rusinkiewiez, A. Sheth // In Proceedings 7th IEEE International Conference on Data Engineering. -1991.-C. 314-323.-Текст англ.

56. Du, W. Quasi Serializability: A Correctness Criterion for Global Concurrency Control in InterBase [Текст] / W. Du, A. Elmagarmid // Proceedings of the 15th International Conference on Very Large Databases. - 1992. - C. 347-355. -Текст англ. - ISBN 1-55860-101-5.

57. Mehrotra, S. Non-Serializable Executions in Heterogeneous Distributed Database Systems [Текст] / Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth,

197

Abraham Silberschatz // In Proc. of First International Conference on Parallel and Distributed Information Systems. - 1991. - C. 245-252. - Текст англ. - ISBN 08186-2295-4.

58. Ramamritham, К. A Formal Characterization of Epsilon Serializability [Текст] / Krithi Ramamritham, Calton Pu // IEEE Transactions on Knowledge and Data Engineering. - 1995. - T. 7, № 6. - C. 997-1007. - Текст англ. - ISSN 10414347.

59. Garcia-Molina, H. Global Consistency Constraints Considered Harmful for Heterogeneous Database Systems [Текст] / Hector Garcia-Molina // Proceedings, First International Workshop on Interoperability in Multidatabase Systems. — 1991. — C. 248-250. - Текст англ. - ISBN 0-8186-2205-9.

60. Pu, С. Superdatabases for Composition of Heterogeneous Databases [Текст] / Calton Pu // Proceedings. Fourth International Conference on Data Engineering. - 1988. - C. 548-555. - Текст англ. - ISBN 0-8186-0827-7.

61. Pu, С. Heterogeneous and Autonomous Transaction Processing [Текст] / Calton Pu, Avraham Leff, Shu-Wie F. Chen // IEEE Computer. - 1991. - T. 24, № 12. - C. 64-72. - Текст англ. - ISSN 0018-9162.

62. Farrag, A. A. Using Semantic Knowledge of Transactions to Increase Concurrency [Текст] / Abdel Aziz Farrag, M. Tamer Ôzsu // ACM Transactions on Database Systems. - 1989. - T. 14, № 4. - C. 503-525. - Текст англ. - ISSN 03625915.

63. Lim, J. B. Transaction Processing in Mobile, Heterogeneous Database Systems [Текст] / James B. Lim, A. R. Hurson // IEEE Transactions on Knowledge and Data Engineering. - 2002. - T. 14, № 6. - C. 1330-1346. - Текст англ. - ISSN 1041-4347.

64. Bright, M. W. Automated Resolution of Semantic Heterogeneity in Multidatabases [Текст] / M. W. Bright, A. R. Hurson, S. H. Pakzad // ACM Transactions on Database Systems. - 1994. - T. 19, № 2. - C. 212-253. - Текст англ.-ISSN 0362-5915.

65. Jiao, Y. Application of Mobile Agents in Mobile Data Access Systems: A Prototype [Текст] / Yu Jiao, A. R. Hurson // Journal of Database Management. -2004. - T. 15, № 4. - C. 1-24. - Текст англ.

66. Dash, К. Summary Schemas Model: A Scheme for Handling Global Information Sharing [Текст] / К. Dash, A. Hurson, S. Phoha, C. Chehadeh // Proceedings of the ISMM International Conference on Intelligent Information Management Systems. - 1994. - C. 47-51.

67. Кормен, T. X. Алгоритмы: построение и анализ [Текст] / Томас X. Кормен, Чарльз И. Лейзерсон, Рональд JI. Ривест, Клиффорд Штайн. - 2-е изд. -М. : Вильяме, 2005. - 1296 с. : ил. - ISBN 978-5-8459-0857-4.

68. Breitbart, Y. Performance Evaluation of Two Multidatabase Transaction Management Algorithms [Текст] / Yury Breitbart, Avi Silberschatz // Computer Systems. - 1993. - T. 6, № 3. - C. 245-283. - Текст англ. - ISSN 08956340.

69. Breitbart, Y. Deadlock Problems in a Multidatabase Environment [Текст] / Yury Breitbart, W. Litwin, Avi Silberschatz // Compcon Spring '91. Digest of Papers. - 1991. - С. 145-151. - Текст англ. - ISBN 0-8186-2134-6.

70. Gray, J. Transaction Processing: Concepts and Techniques [Текст] / Jim Gray, Andreas Reuter. - Morgan Kaufmann, 1992. - Текст англ. - ISBN 978-155860-190-1.

71. Mehrotra, S. A Transaction Model for Multidatabase Systems [Текст] / S. Mehrotra, R. Rastogi, A. Silberschatz, H. Korth // Proceedings of the 12th International Conference on Distributed Computing Systems. - 1992. - C. 56-63. -Текст англ. - ISBN 0-8186-2865-0.

72. Hwang, S.Y. On Optimistic Methods for Mobile Transactions [Текст] / San-Yih Hwang // Journal of Information Science and Engineering. - 2000. - T. 16, № 4. - C. 535-554. - Текст англ. - ISSN 1016-2364.

73. Imielinski, T. Mobile Wireless Computing: Challenges in Data Management [Текст] / Tomasz Imielinski, B. R. Badrinath // Communications of the ACM. - 1994. - T. 37, № 10. - C. 18-28. - Текст англ. - ISSN 0001-0782.

74. Haller, K. A Fully Decentralized Approach to Coordinating Transactional Processes in Peer-to-Peer Environments [Текст] / Klaus Haller, Heiko Schuldt, Can Turker // Proceedings of the 14th ACM International Conference on Information and Knowledge Management. - 2005. - C. 28-35. - Текст англ. - ISBN 1-59593-140-6.

75. Brayner, A. Increasing Mobile Transaction Concurrency in Dynamically Configurable Environments [Текст] / Angelo Brayner, Jose Filho Aguiar // Third International Workshop on Mobile Distributed Computing. - 2005. -T. 6. - C. 637-641. - Текст англ. - ISBN 0-7695-2328-5.

76. Moiz, S. A. Single Lock Manager Approach for Achieving Concurrency Control in Mobile Environments [Текст] / Salman Abdul Moiz, Lakshmi Rajamani // Lecture Notes in Computer Science. - 2007. - T. 4873. - C. 650-660. - Текст англ. -ISBN 3-540-77219-4.

77. Ongtang, M. Agent-Based Infrastructure for Data and Transaction Management in Mobile Heterogeneous Environment [Текст] / Machigar Ongtang, Ali R. Hurson, Yu Jiao // 2009 WRI International Conference on Communications and Mobile Computing. - 2009. - T. 3. - C. 314-318. - Текст англ. - ISBN 0-76953501-2.

78. Ongtang, M. Agent-Based Transactions Management for Mobile Multidatabase [Текст] / Machigar Ongtang, Ali R. Hurson, Yu Jiao, Thomas E. Potok // Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications. - 2007. - Текст англ. - ISBN 0-7695-2889-9.

79. Фомичев, В. С. Организация и модели системы мобильных агентов [Текст] / В. С. Фомичев, И. И. Холод // Программные продукты и системы. -2000. - № 4. - ISSN 0236-235Х.

80. Cahill, M. J. Serializable Isolation for Snapshot Databases [Текст] / Michael James Cahill, Uwe Rohm, Alan D. Fekete // Proceedings of the 2008 ACM SIGMOD International Conference on Management of Data. - 2008. - C. 729-738. -Текст англ. - ISBN 978-1-60558-102-6.

81. Cahill, M. J. Serializable Isolation for Snapshot Databases : Ph.D. Thesis / Michael James Cahill ; School of Information Technologies, University of Sydney. - Sydney, Australia, 2009. - Текст англ.

82. Fekete, A. Allocating Isolation Levels to Transactions [Текст] / Alan Fekete // Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. - 2005. - C. 206-215. - Текст англ. - ISBN 159593-062-0.

83. Fekete, A. Making Snapshot Isolation Serializable [Текст] / Alan Fekete, Dimitrios Liarokapis, Elizabeth O'Neil, Patrick O'Neil, Dennis Shasha // ACM Transactions on Database Systems. - 2005. - T. 30, № 2. - C. 492-528. -Текст англ. - ISSN 0362-5915.

84. Jorwekar, S. Automating the Detection of Snapshot Isolation Anomalies [Текст] / Sudhir Jorwekar, Alan Fekete, Krithi Ramamritham, S. Sudarshan // Proceedings of the 33rd International Conference on Very Large Data Bases. -2007. - C. 1263-1274. - Текст англ. - ISBN 978-1-59593-649-3.

85. JSR 68: J2ME Platform Specification [Электронный ресурс]. - Режим доступа: http://www.jcp.org/en/jsr/detail?id=68. Дата обращения: 25.07.2010.

86. Heine, G. GPRS: Gateway to Third Generation Mobile Networks [Текст] / Gunnar Heine, Holger Sagkob. - Artech House Publishers, 2003. - Текст англ. - ISBN 978-1580531597.

87. Normann, R. A Theoretical Study of Snapshot Isolation [Текст] / Ragnar Normann, Lene T. Ostby // Proceedings of the 13th International Conference on Database Theory. - 2010. - C. 44-49. - Текст англ. - ISBN 978-1-60558-947-3.

88. Mullen, J. G. On the Impossibility of Atomic Commitment in Multidatabase Systems [Текст] / J. G. Mullen, A. K. Elmagarmid, W. Kim, J. Sharif-

201

Askary // Proceedings of the Second International Conference on Systems Integration. - 1992. - C. 625-634. - Текст англ. - ISBN 0-8186-2697-6.

89. Enterprise Database Management Systems, Q2 2009 [Электронный ресурс]. - Режим доступа: http://www.microsoft.com/presspass/itanalyst/docs/06-30-09EnterpriseDatabaseManagementSystems.PDF. Дата обращения: 23.10.2010.

90. Oracle Database Administrator's Guide: Distributed Transactions Concepts [Электронный ресурс]. - Режим доступа: http://download.orade.eom/docs/cd/B 12037_01 /server. 101/bl 0739/ds_txns.htm. Дата обращения: 23.10.2010.

91. Books Online: Distributed Transactions (Database Engine) [Электронный ресурс]. - Режим доступа: http://msdn.microsoft.com/en-us/library/msl91440.aspx. Дата обращения: 23.10.2010.

92. Выполнение транзакций с двухфазной фиксацией [Электронный ресурс]. - Режим доступа: http://publib.boulder.ibm.com/infocenter/db21uw/v9/index.jsp?topic=/com.ibm.webs phere.ii.federation.query.doc/administering/iiyfqtpc03 .html. Дата обращения: 23.10.2010.

93. MySQL 5.0 Reference Manual: ХА Transactions [Электронный ресурс]. - Режим доступа: http://dev.mysql.eom/doc/refman/5.0/en/xa.html. Дата обращения: 23.10.2010.

94. Дорофеев, А. Н. Применение протокола двухфазной фиксации транзакций в интеллектуальных гетерогенных распределенных системах обработки информации [Текст] / Александр Николаевич Дорофеев, Виктор Леонидович Бурковский // Интеллектуализация управления в социальных и экономических системах: Сб. науч. тр. Всеросс. науч. конф. - Воронеж, 2001. -С. 47.

95. Barker, К. Reliable Transaction Execution in Multidatabase Systems [Текст] / К. Barker, M. T. Ozsu // Proceedings of First International Workshop on

Interoperability in Multidatabase Systems. - 1991. - C. 344-347. - Текст англ. -ISBN 0-8186-2205-9.

96. Tal, A. Commit Protocols for Externalized-Commit Heterogeneous Database Systems [Текст] / Ayellet Tal, Rafael Alonso // Distributed and Parallel Databases. - 1994. - T. 2, № 2. - C. 209-234. - Текст англ. - ISSN 0926-8782.

97. Аникин, H. А. Методы обеспечения глобальной сериализуемости транзакций в системах мульти-БД [Текст] / Николай Александрович Аникин // Научная сессия НИЯУ МИФИ-2011. XIV международная телекоммуникационная конференция студентов и молодых ученых «Молодежь и наука». Тезисы докладов. Ч.З. - М. : НИЯУ МИФИ, 2010. - С. 99-100.

98. Аникин, Н. А. Интеграция СУБД, обеспечивающих локальную сериализуемость, и СУБД, использующих Snapshot-изоляцию, в рамках системы мульти-БД [Текст] / Николай Александрович Аникин // Сборник научных трудов по материалам международной научно-практической конференции «Современные проблемы и пути их решения в науке, транспорте, производстве и образовании '2010». Том 3. Технические науки. - Одесса : Черноморье, 2010. - С. 28-33.

99. Lingam, К.М. P. Analysis of Real-Time Multi version Concurrency Control Algorithms Using Serialisability Graphs [Текст] / К.М. Prakash Lingam // International Journal of Computer Applications. - 2010. - Т. 1, № 21. - C. 57-62. -Текст англ. - ISSN 0975-8887.

100. Аникин, H. А. Метод определения порядка сериализации транзакций в системах управления базами данных, использующих протокол строгой двухфазной блокировки [Текст] / Николай Александрович Аникин // Электронный журнал «Труды МАИ». - 2010. - № 42. http ://www.mai .ru/science/trudy/.

101. Храмов, А. А. Методы обеспечения глобальной сериализуемости транзакций в мобильных системах доступа к данным [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Информационно-

203

измерительные и управляющие системы. Интеллектуальные системы и технологии (журнал в журнале). - М., 2011. - Т. 9, № 10. - С. 52-57. - ISSN 2070-0814.

102. Бэкон, Д. Операционные системы : Параллельные и распределенные системы [Текст] / Джин Бэкон, Тим Харрис. - М. [и др.] : Питер, 2004. - 800 С. - ISBN 5-94723-969-8.

103. Härder, Т. Observations on Optimistic Concurrency Control Schemes [Текст] / Theo Härder // Information Systems. - 1984. - Т. 9, № 2. - С. 111-120. -Текст англ. - ISSN 0306-4379.

104. Ali, A. A. On Optimistic Concurrency Control for Real-Time Database Systems [Текст] / Amer Abu Ali // American Journal of Applied Sciences. - 2006. -T. 3, № 2. -C. 1706-1710.-Текст англ.-ISSN 1546-9239.

105. Хаф-Козленко, JI. Введение в управление транзакциями (часть четвертая) [Текст] / Лилия Хаф-Козленко // Открытые системы. СУБД. - 2003. -№ 2. - С. 59-68. - ISSN 1028-7493.

106. Adya, A. Generalized Isolation Level Definitions [Текст] / Atul Adya, Barbara Liskov, Patrick O'Neil // 16th International Conference on Data Engineering. - 2000. - C. 67-78. - Текст англ. - ISBN 0-7695-0506-6.

107. Головков, С. Л. Мобильные транзакции (обзор) : препринт ИПМ 2005-89 [Текст] / Сергей Леонардович Головков. - М. : Ин-т прикладной математики РАН, 2005. - 16 с.

108. Храмов, А. А. Протокол управления параллельным доступом в мобильной системе доступа к данным, включающей базы данных, использующие критерий Snapshot-изоляции [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Вестник Московского авиационного института. - М. : Изд-во МАИ, 2011. - Т. 18, №2.-С. 180-185.-ISSN 0869-6101.

109. Lee, J. Performace of Concurrency Control Algorithms for Real-Time Database Systems [Текст] / Juhnyoung Lee, Sang H. Son // Performance of

204

Concurrency Control Mechanisms in Centralized Database Systems. - 1996. - C. 429-460. - Текст англ. - ISBN 0-13-065442-6.

110. Haritsa, J. R. Dynamic Real-Time Optimistic Concurrency Control [Текст] / J. R. Haritsa, M. J. Carey, M. Livny // Proceedings of the 11th IEEE RealTime Systems Symposium. - 1990. - C. 94-103. - Текст англ. - ISBN 0-8186-21125.

111. Qilong, H. Real-time Optimistic Concurrency Control based on Transaction Finish Degree [Текст] / Han Qilong, Hao Zhongxiao // Journal of Computer Science. - 2005. - Т. 1, № 4. - C. 471-476. - Текст англ. - ISSN 15493636.

112. Agrawal, D. Distributed Multi-version Optimistic Concurrency Control with Reduced Rollback [Текст] / D. Agrawal, A. J. Bernstein, P. Gupta, S. Sengupta // Distributed Computing. - 1987. - T. 2, № 1. - C. 45-59. - Текст англ. - ISSN 0178-2770.

113. Ceri, S. On the Use of Optimistic Methods for Concurrency Control in Distributed Databases [Текст] / Stefano Ceri, Susan S. Owicki // Proceedings of the Sixth Berkeley Workshop on Distributed Data Management and Computer Networks. - 1982. - С. 117-129. - Текст англ.

114. Thomasian, A. A New Distributed Optimistic Concurrency Control Method and a Comparison of its Performance with Two-Phase Locking [Текст] / A. Thomasian, E. Rahm // Proceedings of 10th International Conference on Distributed Computing Systems. - 1990. - C. 294-301. - Текст англ. - ISBN 0-8186-2048-X.

115. Бурковский, В. JI. Разработка протокола управления транзакциями в распределенной информационной системе на базе гетерогенных баз данных [Текст] / Виктор Леонидович Бурковский, Александр Николаевич Дорофеев, А. П. Копсяев // Вестник ВГТУ. Сер. Вычислительные и информационно-телекоммуникационные системы. - Воронеж, 2002. - Т. 8, № 2. - С. 53-56.

116. Седжвик, Р. Фундаментальные алгоритмы на С++. Часть 5. Алгоритмы на графах [Текст] / Роберт Седжвик. - СПб : ООО «ДиаСофтЮП», 2002. - 496 с. - ISBN 5-93772-054-7.

117. Megginson, D. Imperfect XML: Rants, Raves, Tips, and Tricks ... from an Insider [Текст] / David Megginson. - Addison-Wesley Publishing Company, 2004. - Текст англ., 256 с. - ISBN 978-0-1314-5349-4.

118. Хорстманн, К. С. Java 2. Библиотека профессионала, том 1. Основы [Текст] / Кей С. Хорстманн, Гари Корнелл. - 7-е изд. - М. : Вильяме, 2007. - 896 с. - ISBN 978-5-8459-0970-1.

119. Хорстманн, К. С. Java 2. Библиотека профессионала, том 2. Тонкости программирования [Текст] / Кей С. Хорстманн, Гари Корнелл. - 7-е изд. -М. : Вильяме, 2007. - 1168 с. - ISBN 978-5-8459-1033-2.

120. Netty - the Java NIO Client Server Socket Framework [Электронный ресурс]. - Режим доступа: http://www.jboss.org/netty. Дата обращения:

13.12.2011.

121. Java Compiler Compiler [Электронный ресурс]. - Режим доступа: http://javacc.java.net/. Дата обращения: 01.12.2011.

122. Хопкрофт, Д. Введение в теорию автоматов, языков и вычислений [Текст] / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман. - М. : Вильяме, 2002. - 528 с. - ISBN 0-201-44124-1.

123. Information Technology - Database Language SQL [Электронный ресурс]. - Режим доступа: http://www.contrib.andrew.cmu.edu/~shadow/sql/sql 1992.txt. Дата обращения:

05.12.2012.

124. Новиков, Ф. А. Дискретная математика для программистов [Текст] / Ф. А. Новиков. - СПб : Питер, 2000. - 304 с. - ISBN 5-272-00183-4.

125. Чилингарова, С. А. Методы оптимизации для динамических (Justin-Time) компиляторов [Текст] / Софья Александровна Чилингарова // Компьютерные инструменты в образовании. - 2006. - № 3. - С. 16-28.

206

126. Smith, W. D. TPC-W: Benchmarking An Ecommerce Solution [Электронный ресурс] / Wayne D. Smith. - Режим доступа: http://www.tpc.org/tpcw/tpc-w_wh.pdf. Дата обращения: 09.12.2011.

127. Аникин, Н. А. Анализ существующих решений и постановка задачи создания перспективной системы мобильных платежей [Текст] / Николай Александрович Аникин // Научная сессия НИЯУ МИФИ-2010. XIII Международная телекомуникационная конференция студентов и молодых ученых "МОЛОДЕЖЬ И НАУКА". Тезисы докладов. В 3-х частях. Ч. 2. - М. : НИЯУ МИФИ, 2010. - С. 32-33. - ISBN 978-5-7262-1229-6.

128. Храмов, А. А. Прототип мобильной системы доступа к данным, обеспечивающей глобальную сериализуемость транзакций [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Современные технологии в задачах управления, автоматики и обработки информации : тез. докладов XX Междунар. научн.-техн. семинара (г. Алушта, 12-24 сентября 2011 г.). - Пенза : Изд-во ПТУ, 2011. - С. 80-81. - ISBN 978-5-94170-377-7.

ПРИЛОЖЕНИЕ 1 Сравнение существующих методов управления параллельным выполнением транзакций в МСДД,

Типы методов:

• П - пессимистический;

• О - оптимистический. Виды систем:

• МСДД - мобильная система доступа к данным;

• МР2Р - Mobile Peer-to-Peer;

• MANET - Mobile Ad Hoc Network.

Серым цветом отмечены методы, не подходящие под условия задачи.

Табл. 1. Ограничения методов

Метод Тип Система Ограничения

Кенгуру П МСДД • глобальные транзакции должны быть компенсируемыми; • необходимо наличие дополнительной инфраструктуры -специального программного комонента на каждой базовой станции;

V-LOCK п МСДД • все локальные СУБД должны поддерживать протокол двухфазной фиксации; • метод управления параллельным выполнением транзакций в каждой Л СУБД должен быть известен; • необходимо обладать информаций о семантике транзакций и поддерживать семантическую иерархию;

PS О МСДД • глобальные транзакции должны быть компенсируемыми; • разрывы соединения обязательно должны быть планируемыми или предсказуемыми;

Метод Тип Система Ограничения

МТС О мсдд • для загрузки данных на мобильное устройство используются широковещательные рассылки; • все локальные СУБД должны поддерживать протокол строгой двухфазной блокировки;

DTM Ж-'V MP2P • глобальные транзакции должны быть компенсируемыми; • предполагается, что локальные транзакции отсутствуют;

SESAMO п MANET • необходимо обладать информаций о семантике транзакций;

SLMA ШШ мсдд • может быть применен при пессимистическом подходе;

SODA О МР2Р • все локальные СУБД должны поддерживать протокол строгой двухфазной блокировки;

АТЗМ п мсдд • все локальные СУБД должны поддерживать протокол двухфазной фиксации; • необходимо обладать информаций о семантике транзакций и поддерживать семантическую иерархию;

Табл. 2. Достоинства и недостатки методов

Метод Недостатки Достоинства

Кенгуру • не гарантируется сериализуемость

глобальных транзакций;

• не гарантируется

изолированность транзакций;

• модель учитывает переключение

мобильных пользователей между

базовыми станциями;

• необходимо обладать знаниями о

семантике транзакций;

• самый медленный из

рассмотренных методов;

Метод Недостатки Достоинства

V-LOCK • большие накладные расходы на каскадную отмену транзакций; • большое количество информационных сообщений; • необходимо обладать знаниями о семантике транзакций; • сложность использования из-за необходимости поддержания иерархии SSM; • более эффективен по скорости обработки транзакций, чем методы графа узлов и принудительных конфликтов; • небольшие требования к объемам памяти по сравнению с другими решениями, использующими семантику транзакций; • применяется адаптивный алгоритм, подстраивающийся под загрузку канала;

PS • модель учитывает переключение мобильных пользователей между базовыми станциями; • сложность использования из-за необходимости определения компенсирующих транзакций; • более эффективен по скорости обработки транзакций, чем метод «Кенгуру»; • не требователен к ресурсам, т. к. глобальные субтранзакции могут быть зафиксированы сразу после выполнения;

МТС • модель учитывает возможность загрузки данных на мобильного клиента только с помощью широковещательных рассылок (не учитывает возможность загрузки данных «по требованию»); • алгоритм МТС-Hybrid имеет меньшую сложность по сравнению с методами, использующими проверку графа предшествования; • предложено три различных алгоритма, каждый из которых эффективен в своей области задач;

SESAMO • метод рассчитан на работу в сетях MANET и требует доработок; • необходимо обладать знаниями о семантике транзакций; • высокая производительность при возможности разделить данные на большие «семантические единицы»;

SODA • метод рассчитан на работу в сетях Р2Р и требует доработок; • алгоритм проверки транзакций на возможность фиксации еще более эффективен, чем МТС-Hybrid;

Метод Недостатки Достоинства

АТЗМ • необходимо обладать знаниями о • отсутствуют глобальные

семантике транзакций; блокировок и каскадные отмены

• сложность использования из-за транзакций;

необходимости поддержания • разрыв соединения с мобильным

иерархии SSM; клиентом не влияет на работу;

• использование мобильных • более эффективен по скорости

агентов снижает безопасность обработки транзакций, чем метод

системы; У-ЬОСК;