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

• Зудов, Антон Борисович
• кандидат наук
• 2015

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

СОДЕРЖАНИЕ

Введение

1 АНАЛИЗ МОДЕЛЕЙ, МЕТОДОВ И СРЕДСТВ ПОСТРОЕНИЯ АКТИВНЫХ БАЗ ДАННЫХ

1.1 Анализ современных технологий обработки событий в базах данных

1.2 Обработка событий на основе технологии активных баз данных

1.3 Модельные представления активных правил

1.4 Оценивание области значений активных правил путём синтеза конечного

автомата по поведению

Выводы

2 МОДЕЛИ И АЛГОРИТМЫ АНАЛИЗА ВЗАИМОДЕЙСТВИЯ АКТИВНЫХ ПРАВИЛ

2.1 Конфликты взаимодействия активных правил

2.2 Свойства набора активных правил

2.3 Модельное представление взаимодействия активных правил на основе графа экземпляров событий

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

2.5 Оценивание области значений активных правил со строковыми параметрами путём синтеза конечного автомата по регулярным выражениям

2.6 Модельное представление потенциальных взаимодействий активных правил в

виде графа областей значений

Выводы

3 МЕТОДИКА ПОСТРОЕНИЯ СИСТЕМЫ УПРАВЛЕНИЯ АКТИВНОЙ БАЗОЙ ДАННЫХ

3.1 Компоненты системы управления активными базами данных

3.2 Подсистема динамической проверки и исполнения

3.3 Ведение репозитория активных правил

3.4 Подсистема статической проверки в составе программных средств разработки

активных правил

Выводы

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

4.1 Обработка событий в электронной карте города

4.2 Особенности архитектуры и программной реализации системы управления активной базой данных

4.3 Реализация обработки событий с помощью активных правил

4.4 Экспериментальная оценка эффективности на основе эксплуатации системы

управления активными базами данных

Выводы

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

СЛОВАРЬ ТЕРМИНОВ

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

ПРИЛОЖЕНИЕ А. РЕЗУЛЬТАТЫ МОДЕЛИРОВАНИЯ ПОТЕНЦИАЛЬНЫХ

ВЗАИМОДЕЙСТВИЙ РЕКУРСИВНОГО АКТИВНОГО ПРАВИЛА

ПРИЛОЖЕНИЕ Б. ОПИСАНИЕ ИНТЕРФЕЙСА И ФУНКЦИОНАЛЬНОСТИ

КЛИЕНТСКОГО ПРИЛОЖЕНИЯ РАЗРАБОТКИ АКТИВНЫХ ПРАВИЛ

ПРИЛОЖЕНИЕ В. ПЕРЕЧЕНЬ АКТИВНЫХ ПРАВИЛ ДЛЯ ОБРАБОТКИ

СОБЫТИЙ В ЭЛЕКТРОННОЙ КАРТЕ ГОРОДА

ПРИЛОЖЕНИЕ Г. ОПИСАНИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ МУП

«ОГСАГиТИ»

ПРИЛОЖЕНИЕ Д. АКТЫ О ВНЕДРЕНИИ РЕЗУЛЬТАТОВ ДИССЕРТАЦИОННОЙ РАБОТЫ

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

ВВЕДЕНИЕ

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

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

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

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

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

Расширение интенсиональной части базы данных в соответствии с концепцией АБД отражено в нотациях SQL3, 0++ и таких специализированных средствах обработки событий современных СУБД, как правила PostgreSQL и автономные транзакции Oracle.

Существенный вклад в развитие концепции активных баз данных, в частности в разработку моделей представления обработчиков событий и методов анализа взаимодействий, внесли: J. Widom, A. Aiken, Е. Baralis, C.B. Шибанов, С.Д. Кузнецов, А. Егоров. Классификацию моделей, функций и прототипов СУАБД провели N.W. Patón и О. Diaz. Математические модели взаимодействия активных правил были разработаны J. Bailey, A. Couchot. Важные исследования, касающиеся рекурсии активных правил, содержащие параметры только вещественного типа, провели Timothy J. Hickey, Saumya К. Debray.

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

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

Задачи исследования:

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

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

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

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

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

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

Соответствие паспорту научной специальности. Область исследования соответствует п. 3 «Исследование методов и разработка средств кодирования информации в виде данных. Принципы создания языков описания данных, языков манипулирования данными, языков запросов. Разработка и исследование моделей данных и новых принципов их проектирования» и п. 4 «Исследование и разработка средств представления знаний. Принципы создания языков представления знаний, в том числе для плохо структурированных предметных областей и слабоструктурированных задач; разработка интегрированных средств преставления

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

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

Научная новизна работы:

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

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

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

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

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

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

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

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

Основные результаты, выносимые на защиту:

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

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

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

4. Модельное представление и алгоритм статической проверки активных правил для проверки терминальности и конфлюентности.

5. Методика построения системы управления активными базами данных с поддержкой обработки промежуточных элементарных событий базы данных.

Реализация и внедрение результатов работы. Результаты диссертационного исследования использованы при разработке программных средств управления активными правилами в составе информационной системы электронной карты города Пензы, используемой в МУП «ОГСАГиТИ» и в Администрации города Пензы, что подтверждается актами о внедрении.

Апробация работы. Основные результаты диссертации докладывались и обсуждались на следующих конференциях: «Надежность и качество» (2010), «Технологии Microsoft в теории и практике программирования» (2010), «Актуальные вопросы современной науки и образования» (2010), «Математическое и программное обеспечение систем в промышленной и социальной сферах» (2011), «Университетское образование» (2012).

Публикации. По теме диссертационного исследования опубликовано 13 печатных работ, из которых 3 входят в перечень изданий, рекомендованных ВАК.

Личный вклад. Автором был выполнен основной объём исследований: сформулированы задачи анализа активных правил, предложены и обоснованы варианты их решения; определены основные характеристики, архитектура, а также разработан прототип СУАБД, используемый в составе электронной карты города Пенза. Поддержку электронной карты осуществляет МУП «ОГСАГиТИ».

Структура и объём работы. Диссертация состоит из введения, четырёх глав, заключения, списка литературы из 112 наименований и пяти приложений. Объём работы — 168 страниц основного текста, включая 67 рисунков.

1 АНАЛИЗ МОДЕЛЕЙ, МЕТОДОВ И СРЕДСТВ ПОСТРОЕНИЯ

АКТИВНЫХ БАЗ ДАННЫХ

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

1.1 Анализ современных технологий обработки событий в базах

данных

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

Событийно-ориентированной концепции соответствует асинхронная обработка событий в реальном времени. Каждое событие обрабатывается непосредственно в момент обнаружения. В данном случае реагирование на события является основной функцией вычислительной системы, что отражено в её архитектуре. Событийно-ориентированная архитектура (Event-Driven Architecture, EDA) - архитектурный шаблон программного обеспечения, в котором одна или более компонент системы выполняется в ответ на получение одного или более уведомления о событиях. События могут быть описаны на

разных уровнях абстракции. Обнаружение простых событий осуществляется с помощью источников событий, или агентов, которые получают данные непосредственно из объекта мониторинга. Сложные события выявляются в результате анализа простых событий или сложных событий более низкого уровня абстракции. Реакция на события и преобразование выполняется потребителями событий, или подписчиками [86, 94, 109, 110, 112].

На данный момент событийно-ориентированные системы нашли широкое применение в виде SCADA-систем (Supervisory Control and Data Acquisition, диспетчерское управление и сбор данных). SCADA-системы предназначены для контроля над технологическими процессами в реальном времени. Ключевой особенностью SCADA-систем является поддержка нескольких языков программирования, благодаря чему логика обработки данных может быть реализована на уровне релейных схем, функциональных блоков, диаграмм состояний, ассемблера и аналога языка Паскаль. Это позволяет описывать и задавать реакцию на события на том уровне абстракции, который наиболее точно соответствует моделируемому явлению предметной области.

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

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

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

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

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

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

Некоторый набор допустимых событий является одинаковым во всех СУБД. Это операции обработки данных - вставка, удаление и модификация кортежей;

операции со структурой данных - создание, удаление и изменение структуры таблиц; события, касающиеся работы самой системы - открытие и закрытие базы данных или сессии пользователя. Также в некоторых системах встречаются специфичные события. Например, в SQL Server возможно срабатывание триггера при операции выборки данных. В PostgreSQL для обработки таких событий используется механизм правил — в дополнение к механизму триггеров. В СУБД Oracle событием может быть регистрация сообщения об ошибке сервера и зависание транзакции. Таким образом, события триггеров являются элементарными в том смысле, что ни одно из них не может быть получено из других. Эти события могут быть сгенерированы только самой СУБД, пользователь не может вызвать триггер как обычную хранимую процедуру [20, 21, 27, 28, 36, 59, 61, 67].

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

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

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

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

присутствует механизм автономных транзакций. Данный механизм позволяет успешно завершить вложенную (автономную) транзакцию, откатив родительскую. В результате триггер становится способен не только отменить нежелательное действие, но и сохранить сведения о попытке его совершения [58].

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

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

Алгебра событий обычно включает операции следующих типов:

- Темпоральная агрегация, то есть обработка событий, произошедших в рамках некоторого временного интервала;

- Пространственная агрегация, или обработка событий на основе пространственных характеристик связанных с ними объектов;

- Фильтрация и разбиение события на несколько по шаблону;

- Корректирование и внесение дополнительной информации [112].

Яркими примерами ситуаций, требующих выявления сложных событий,

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

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

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

В качестве примеров программных продуктов, реализующих концепцию СЕР, можно привести IBM InfoSphere, Oracle СЕР, Microsoft Streamsight и CAP Event Insight. Все продукты имеют возможность глубокой интеграции с СУБД своего производителя, что позволяет обеспечить высокую скорость обработки событий. Из всех типов систем, используемых при реагировании на события, системы обработки сложных событий являются наиболее востребованными на сегодняшний момент. Соответствующие программные продукты всё чаще находят применение в коммерческих проектах, обеспечивая динамичное развитие данного сегмента рынка [86].

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

СУБД

Элементарное событие 1

Элементарное событие 2

СЕР

—i—

Элементарное событие N

Внешнее приложениие

Сложное событие

Рисунок 1.1. Взаимодействие компонент ИС при обработке сложных событий

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

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

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

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

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

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

Для решения задачи описания бизнес-логики на высоком уровне абстракции предназначены системы управления бизнес-правилами (Business Rule Management System, BRMS). Бизнес-правило — это логическое утверждение, которое может быть создано пользователями и является исполнимым. Таким образом, бизнес-правило может применяться для обработки данных в информационной системе, сохраняя точное соответствие некоторому явлению реального мира.

Примерами программных продуктов, реализующих концепцию систем управления бизнес-правилами, являются Oracle SOA, IBM Industry Models,

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

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

1. Алефельд, Г.. «Интервальный анализ: теория и приложения» [Электронный ресурс] / Алефельд, Г., Майер Г. // Journal of Computational and Applied Mathematics.

2000. - Vol. 121. - P. 421-464. - Режим доступа: http://www.nsc.ru/interval/Introduction/ISurveyRus.pdf

2. Арлоу, Д. UML 2 и Унифицированный процесс. Практический объектно-ориентированный анализ и проектирование / Д. Арлоу, А. Нейштадт. 2 -е изд. - Пер. с англ. - СПб. : Символ-Плюс, 2007. - 624 с. - ISBN 978-5-93286-094-6.

3. Бегг К. Базы данных. Проектирование, реализация и сопровождение. Теория и практика / Каролин Бегг, Томас Коннолли, Анна Страчан // Вильяме - 2001 -1120с. - ISBN 5-8459-0109-Х, 0-201-34287-1

4. Берж К. Теория графов и ее применения. М.: Издательство иностранной литературы, 1962.

5. Бондаренко Л.Н. Дискретная математика. Конечные автоматы и формальные языки : учеб. пособие. Ч. I / Л.Н. Бондаренко. - Пенза : Изд-во Пенз. гос. ун-та, 2009. -76с.

6. Буч, Г. Язык UML. Руководство пользователя / Г. Буч, Д. Рамбо, А. Джекобсон - Пер. с англ. - ДМК, 2000. - 432 с. - ISBN 5-94074-334-Х.

7. Вашкевич Н.П., Бикташев Р.А., Тараканов А.А. Спецификация алгоритма управления межпроцессного взаимодействия в клиент-серверной распределённой вычислительной системе / Известия вузов. Поволжский регион. Технические науки. №2, 2008, с.3-11.

8. Вашкевич Н.П., Вашкевич С.Н. Недетерминированные автоматы и их использование для синтеза систем управления. - Пенза: Изд-во Пенз. гос. техн. унта, 1996. - 88 с.

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

алгоритмов логического управления процессами и ресурсами в параллельных системах обработки информации / Телекоммуникации, № 1, 2011.

10. Вашкевич, Н. П. Недетерминированные автоматы в проектировании систем параллельной обработки: учебное пособие / Н. П. Вашкевич. - Пенза : Изд-во Пенз.гос.ун-та, 2004. - 280 с.

11. Вирт Н. Алгоритмы и структуры данных: Пер. с англ. - М.: Мир, 1989. - 360 е., ил.

12. Гагарина, J1. Г. Разработка и эксплуатация автоматизированных информационных систем: учеб. пособие / JT. Г. Гагарина, Д. В. Киселев, Е. J1. Федотова; под ред. проф. Л. Г. Гагариной. - М. : ИД «Форум»: ИНФРА-М, 2007. -384 с. - ISBN 978-5-8199-0316-2.

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

14. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики: Пер. с англ. — М.: Мир, 1998. — 703 с.

15. Гутовски М. Красота и сила интервальных методов [Электронный ресурс] / Gutowski M.W. // 10с. - Режим доступа: http://www.sbras.ru/interval/Introduction/PowerBeauty.pdf

16. Дейт, К. Дж. Введение в системы баз данных.: Пер. с англ. - 6-е изд. - К.: Диалектика, 1998. - 784 с.

17. Егоров. А. Активные информационные системы. [Электронный ресурс] Режим доступа: http://alephegg.narod.ru/Method/ActiveIS.htm (дата обращения: 15.06.2014)

18. Жолен Л. Прикладной интервальный анализ / Л. Жолен, М. Кифер, О. Дидри, Э. Вальтер // Институт компьютерных исследований - 2007 - 467с. - ISBN: 593972-585-6

19. Зудов А.Б. Специфика обнаружения зацикливаний при выполнении активных правил / Зудов А.Б. // Открытые иинновации - вклад молодежи в развитие региона : сб. материалов регионального молодежного форума (г. Пенза, 6 декабря 2013 г.) : в 2 т. - Пенза : Изд-во ПГУ, 2013. - Т.1 - с.100-103

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

21. Карпова, Т. С. Базы данных: модели, разработка, реализация / Т. С. Карпова.

- СПб. : Питер, 2001. - 304 с. - ISBN 5-272-00278-4.

22. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. - СПб.: БХВ-Петербург, 2003. - 1104 с.

23. Кеберле Н. Г. Хранимые процедуры и триггеры. Активные базы данных. Реализация бизнес-логики посредством хранимых процедур. / СПЕЦКУРС "АДМИНИСТРИРОВАНИЕ БАЗ ДАННЫХ". СЕМЕСТР X [Электронный ресурс] Режим доступа: http://web.znu.edu.ua/lab/econom/dba/lectures/ADBS_lect5.pdf (дата обращения: 15.06.2014).

24. Кнут, Дональд, Эрвин. Искусство программирования, том 1. Основные алгоритмы, 3-е изд.: Пер. с англ.: Уч. пос. - М.: Издательский дом «Вильяме», 2000.

- 720 с.

25. Кнут, Дональд, Эрвин. Искусство программирования, том 2. Получисленные алгоритмы, 3-е изд.: Пер. с англ.: Уч. пос. - М.: Издательский дом «Вильяме», 2000. — 832 с.

26. Кнут, Дональд, Эрвин. Искусство программирования, том 3. Сортировка и поиск, 2-е изд.: Пер. с англ.: Уч. пос. — М.: Издательский дом «Вильяме», 2000. - 832 с.

27. Когаловский, М. Р. Перспективные технологии информационных систем / М. Р. Когаловский. - М.: ДМК Пресс; М. : Компания АйТи, 2003. - 288 с.

28. Кренке, Д. Теория и практика построения баз данных / Д. Кренке. - 9-е изд.

- СПб. : Питер, 2005. - 864 с. - ISBN 5-94723-583-8.

29. Кудрявцев В.Б. Введение в теорию автоматов / В.Б. Кудрявцев, C.B. Алёшин, A.C. Подколзин. // Изд-во «Наука», М. - 1985 - 320 с.

30. Кудрявцев В.Б. Анализ и синтез автоматов по их поведению. / В.Б.Кудрявцев, И.С.Грунский, В.А.Козловский // Интеллектуальные системы - 2006 - №1.4 - с.345-448.

31. Кузнецов С.Д. Активные базы данных / Информационно-аналитические материалы Центра Информационных Технологий. [Электронный ресурс] Режим flocTyna:http://citforum.ru/database/osbd/glava_l 18.shtml (дата обращения: 15.06.2014).

32. Ларман, К. Применение UML и шаблонов проектирования / К. Ларман. - 2-е изд. : Пер. с англ. - М. : Издательский дом "Вильяме", 2004. - 624 с.

33. Леоненков, А. В. Самоучитель UML / А. В. Леоненков. - 2-е издание - СПб. : БХВ-Петербург, 2004. - 432 с. - ISBN 5-94157-342-1.

34. Макарычев П,П. Алгебраические модели процессов мониторинга распределённого программного проекта / Макарычев П,П. Швецов В.В. // Извествия высших учебных заведений. Поволжский регион. Технические науки. Пенза. - 2009 - №3 - с. 76 - 82

35. Малыхина, М. П. Базы данных, основы, проектирование, использование / М. П. Малыхина. - СПб. : БХВ-Петербург, 2004. - 512 с.

36. Мелихов А.Н. "Ориентированные графы и конечные автоматы", Наука, Физматлит, М., 1971. - 416 с.

37. Орешкин К.А. Структура метаданны в реализации активной базы данных средствами ООБД / Информационные технологии в науке и образовании. Проблемы и перспективы : сб. науч. ст. I ежегод. межвуз. студ. науч.-практ. конф. (г. Пенза, 2324 апреля 2014 г.) / под ред. Л. Р. Фионовой, О. О. Мандрыченко, А. В. Дурина. -Пенза: Изд-во ПТУ, 2014. С. 117-118.

38. Панов Н.В. Оценка области значения функций методами интервального анализа / Панов Н.В. // Вопросы современной науки и практики. Университет им. В.И. Вернадского - 2009. - №3 - с.78-85

39. Постановление администрации г. Пензы от 14 июля 2011 г. N 822/3 "О внесении изменений в постановление главы администрации города Пензы N 1605 от 04.09.2002 "Об адресном реестре города Пензы"

40. Постановление Администрации г. Пензы от 17.10.2012 N 1282/2"0 внесении изменений в постановление главы администрации города Пензы от 04.09.2002 N 1605 "Об адресном реестре города Пензы"

41. Постановление администрации г. Пензы от 22 июля 2009 г. N 950/4 "О внесении изменений в постановление главы администрации города Пензы от 04.09.2002 г. N 1605 "Об адресном реестре города Пензы" (в редакции от 14.01.2009 г. N 21 и от 30.04.2009 г. N 611/1)"

42. Постановление администрации г. Пензы от 4 марта 2014 г. N 219/2 "О внесении изменений в постановление главы администрации г. Пензы от 04 сентября 2002 г. N 1605 "Об адресном реестре города Пензы"

43. Постановление администрации г. Пензы от 5 июня 2014 г. N 655/1 "О внесении изменений в постановление главы администрации города Пензы от 04.09.2002 N 1605 "Об адресном реестре города Пензы"

44. Постановление Главы Администрации г. Пензы от 04.09.2002 N 1605(ред. от 05.06.2014)"0б адресном реестре города Пензы"(вместе с "Положением об адресном реестре города Пензы")

45. Приказ Министерства регионального развития РФ от 10 мая 2011 г. N 207 "Об утверждении формы градостроительного плана земельного участка"

46. Рамбо, Дж. иМЬ 2.0 Объектно-ориентированное моделирование и разработка. 2-е изд. / Дж. Рамбо, М. Блаха. // СПб.: Питер - 2007. - 544 с.

47. Рамбо, Дж. Объектно-ориентированное моделирование и разработка / Дж. Рамбо, М. Блаха. // СПб.: Питер - 2007. - 554 с.

48. Решение Пензенской городской Думы от 20 декабря 2013 г. N 1364-57/5 "О внесении изменений в решение Пензенской городской Думы от 22.12.2009 N 22913/5 "Об утверждении Правил землепользования и застройки города Пензы"

49. Решение Пензенской городской Думы от 22.12.2009 N 229-13/5(ред. от 24.06.2011)"Об утверждении Правил землепользования и застройки города Пензы"

50. Решение Пензенской городской Думы от 30.11.2012 N Ю71-45/5"0 внесении изменений в решение Пензенской городской Думы от 22 декабря 2009 года N 229-13/5 "Об утверждении Правил землепользования и застройки города Пензы"

51. Семенов А.Л. Методы распространения ограничений: основные концепции // РБГОЗ/ИМРО — Интервальная математика и методы распространения ограничений: тр. 5-й Междунар. конф. Новосибирск - 2003 - с. 19-31.

52. Семченко П. Н. Основанные на правилах экспертные системы / Электронное научное издание "Ученые заметки ТОГУ" - 2014, Том 5, №4, С. 1249 -1266. [Электронный ресурс] Режим доступа: http://pnu.edu.ru/media/ejournal/articles-2014/TGU_5_351 .pdf (дата обращения: 15.06.2014)

53. Трахтенброт, Б.А. Конечные автоматы: поведение и синтез / Трахтенброт Б.А., Барздинь Я.М. // М„ "Наука" - 1970 г. - 400 с.

54. Фаронов, В. В. Создание приложений с помощью С#. Руководство программиста / В. В. Фаронов. - М: ЭКСМО, 2008. - 576 с.

55. Фридл Дж. Регулярные выражения, 2-ое издание / Дж. Фридл // Символ-Плюс - 2008 - 608с. - ISBN: 78-5-93286-121-9

56. Хансен Э. Глобальная оптимизация с помощью методов интервального анализа / Э.Хансен, Дж.У.Уолстер // М.-Ижевск: НИЦ "Регулярная и хаотическая динамика", Институт компьютерных исследований - 2012 - 516с. - ISBN 978-593972-936-9

57. Харари Ф. Теория графов, М.:Мир, 1973.

58. Хоар Ч. Э. Р. Взаимодейтсвующие последовательные процессы: пер. с английского. - Москва, "Мир", Редакция литературы по математическим наукам, 1989.-264 стр.

59. Хоббс, Jl. Oracle9iR2. Разработка и эксплуатация хранилищ баз данных / Л. Хоббс, С. Хилсон, Ш. Лоуенд // М: КУДИЦ-ОБРАЗ - 2004. - 592 с.

60. Хомоненко, А.Д. Базы данных: учебник для вузов / А.Д. Хомоненко, В.М. Цыганков, М.Г. Мальцев; под ред. А.Д. Хомоненко. // Спб.: КОРОНА принт - 2004. - 736с. - ISBN 5-7931 -0284-1.

61. Шарый С.П. Конечномерный интервальный анализ [Электронный ресурс] / Шарый С.П. // М.: 2007. - 604с. - Режим доступа: http://www.nsc.ru/interval/Library/InteBooks/SharyBook.pdf

62. Швецов В.В. Обработка информации в системе мониторинга распределённого программного проекта. Дис. ... канд. технических наук. Пенза. 2009. 185 с.

63. Швецов, В. И. Базы данных / В. И. Швецов. — Интернет-университет информационных технологий - М. : ИНТУИТ.ру, 2004. — 176 с.

64. Шибанов C.B. Архитектура программных средств управления активными базами данных / C.B. Шибанов, A.A. Скоробогатько, Э.В. Лысенко // Математическое и программное обеспечение систем в промышленной и социальной сферах: междунар. сб. науч. трудов - Магнитогорск: Изд-во Магнитогорск, гос. техн. ун-та им. Г.И. Носова, 2011 -41. - с.47-52

65. Шибанов C.B. Интегрированная модель активных правил / C.B. Шибанов, A.A. Скоробогатько, Э.В. Лысенко // Математическое и программное обеспечение систем в промышленной и социальной сферах: междунар. сб. науч. трудов -Магнитогорск: Изд-во Магнитогорск, гос. техн. ун-та им. Г.И. Носова, 2011 - 41. -с.41-46

66. Шибанов C.B. Интегрированный подход к анализу активных правил на зацикливание / Шибанов C.B., А.Б. Зудов // В мире научных открытий. Красноярск: Научно-инновационный центр, 2012. №12.1(36) (Математика. Механика. Информатика) - с.62-72

67. Шибанов С.В. Проблемы построения правил в активных базах данных / С.В.Шибанов, А.Б Зудов // Математическое и программное обеспечение систем в промышленной и социальной сферах: междунар. сб. науч. трудов - Магнитогорск: Изд-во Магнитогорск, гос. техн. ун-та им. Г.И. Носова, 2011 - 41. - с.36-41

68. Шибанов С.В. Реализация абстрактной моели активных баз данных средствами современных СУБД / Шибанов С.В., Лысенко Э.В., Скоробогатько А. А., Зудов А.Б., Вишняков П.В. // Надежность и качество - 2010 : труды Международного симпозиума в 2 т. / под ред. Н. К. Юркова. - Пенза : Изд-во ПГУ, 2010. - 1 т. -с.306-313

69. Шокин Ю.И. Интервальный анализ. Новосибирск: Сибирское отделение изд-ва «Наука», 1981. - 112с.

70. Шокин Ю.И. Об интервальных задачах, интервальных алгоритмах и их трудоемкости // Вычислительные технологии. - 1996 - №1.1 - с.98-115

71. Aiken, A. Static Analysis Techniques for Predicting the Behavior of Active Database Rules / A. Aiken, J.M. Hellerstein, J. Widom. // - ACM Transactions on Database Systems - 1995 - №20 - p.3-41.

72. Bailey, J. Abstract interpretation for termination analysis in functional active databases / J. Bailey, A. Poulovassilis. // - J. of Intell. Info. Systems - 1999 - №12 - p.243.

73. Bailey, J. On the decidability of the termination problem of active database systems / J. Bailey, G. Dong, K. Ramamohanarao. // - Theoretical Computer Science -2004 -№311 - p.389-437.

74. Bailey, J. On the Foundations of Termination Analysis of Active Database Rules [Электронный ресурс] // J, Bailey. - PhD thesis, Department of Computer Science, University of Melbourne, 1997 — Режим доступа: http://www.cs.mu.oz.au/~jbailey/papers/thesis.ps

75. Bailey, J. Termination analysis of active rules modular sets / J. Bailey, Ra Poulovassilis, P. Newson. // - Proc. 1st Int. Conf. on Computational Logic (DOOD stream), LNCS 1861 - London, UK, 2000 - p. 1 106-1120.

76. Baralis, E. An algebraic approach in static analysis in active database rules / E. Baralis, J. Widom. // - In Proceedings of the 20th International Conference od Very Large Databases - Santiago, Chile, 1994 - p.475-486.

77. Bonifati, A. Active rules for XML: A new paradigm for E-services / A. Bonifati, S. Ceri, S. Paraboschi. // - The VLDB Journal — The International Journal on Very Large Data Bases - 2001 - №10.1 - p.39-47.

78. Bruijn, J. A Logic Based Approach to the Static Analysis of Production Systems // J. de Bruijn, Martin Rezk. - Web Reasoning and Rule Systems. Lecture Notes in Computer Science - 2009 - №5837 - p254-268

79. Caroprese, L. Declarative Semantics for Active Integrity Constraints // L. Caroprese, M. Truszczynski. - Logic Programming. Lecture Notes in Computer Science — 2008 - №5366 - p269-283

79. Ceri, S. Effective Scheduling of Detached Rules in Active Databases / S. Ceri, C. Gennaro, S. Paraboschi, G. Serazzi. // - IEEE Transactions on Knowledge and Data Engineering - 2003 - №15.1 -p.2-13.

80. Chezian, Dr.R.M. A New Algorithm to Detect the Non-Termination of Triggers in Active Databases / Dr.R.M. Chezian - International Journal of Advanced Networking & Applications - 2011 - №3.2 - pi098

81. Chiriaev, D. Interval arithmetic specification [Электронный ресурс] / Dmitri Chiriaev, G. William Walster // Sun Microsystems - 2000 - 92c. - Режим доступа: http://www.nsc.ru/interval/Programing/IASpecfn.pdf

82. Cilia, M. The Convergence of AOP and Active Databases: Towards Reactive Middleware / M.Cilia, M.Haupt, M.Mezini, A.Buchmann // IN PROC. GPCE 2003 - 2003 -pl69-188.

83. Couchot, A. Improving Termination Analysis of Active Rules with Priorities / A. Couchot. // - In Proc. Int' 1 Conf. on Database and Expert Systems Applications, 2003 -p.1-16.

84. Couchot, A. Termination analysis of active rules modular sets / A. Couchot. // -Proceedings of the tenth international conference on Information and knowledge management - New York, USA, 2001 - p.326-333.

85. Couchot, A. Termination Analysis of Active Rules with Priorities / A. Couchot. // - Database and Expert Systems Applications. Lecture Notes in Computer Science - 2003 -№2736 - p.846-855.

86. Cugola, G. Processing flows of information: From data stream to complex event processing / Gianpaolo Cugola, Alessandro Margara // ACM Computing Surveys (CSUR) -2012-№44.3 - a. 15

87. Dai, M. Data Mining Used in Rule Design for Active Database Systems // M.Dai, Y.-L.Huang. - Fuzzy Systems and Knowledge Discovery, 2007. FSKD 2007. Fourth International Conference on - 2007 - №4 - p588-592

88. Daniel, F. Combining conceptual modeling and active rules for the design of adaptive web applications // F.Daniel, M.Matera, G.Pozzi. - Proceeding ICWE '06 Workshop proceedings of the sixth international conference on Web engineering, 2007 -№7.3 -pl79-199

89. Debray, S. Constraint-Based Validation Analysis for Cyclic Active Database Rules / Saumya K. Debray , Timothy J. Hickey. // - Proceedings of the First International Conference on Computational Logic - London, UK, 2000 - p.1121-1136.

90. Dittrich, K.R. Modeling dynamic collections of interdependent objects using path-based rules / D.Litman, P.F.Patel-Schneider, A.Mishra // ACM SIGPLAN Notices. -1997 - №32.10 -p77-92.

91. Dittrich, K.R. The active database management system manifesto: A rulebase of ADBMS features / K.R.Dittrich, S.Gatziu, A.Geppert // Rules in Database Systems. Lecture Notes in Computer Science. - 1995 -№985 -pl-17.

92. Etzion, O. Event Processing in Action / Opher Etzion, Peter Niblett // Manning Publications Co. Greenwich, CT, USA - 2010 - 360c. - ISBN: 193 5182218 9781935182214

93. Gatziu, S. Unbundling Active Functionality / S.Gatziu, A.Koschel, G. von Bültzingsloewen, H.Fritschi // ACM SIGMOD Record. - 1998 -№27.1 - p35-40.

94. Gyllstrom, D. SASE: Complex Event Processing over Streams [Электронный ресурс] / D.Gyllstrom, E.Wu, H.-J.Chae, Y.Diao, P.Stahlberg, G.Anderson // In Proceedings of the Third Biennial Conference on Innovative Data Systems Research (CIDR 2007), Asilomar, CA, January 2007. - Режим доступа: http://avid.cs.umass.edu/sase/uploads/pubs/sase-demo-cidr2007.pdf

95. Ishikawa, H. An active web-based distributed database system for e-commerce [Электронный ресурс] // In Proc. Web Dynamics Workshop. - 2001 - Режим доступа: http ://www. des. bbk.ac.uk/webDyn/webDynPapers/ishikawa.pdf

96. Jaeger, U. Parallel Event Detection in Active Database Systems: The Heart of the Matter / U. Jaeger, J.K. Obermaier. // - Active, Real-Time, and Temporal Database Systems. Lecture Notes in Computer Science - 1998 - №1553 - p.159-175.

97. Jin, Y. A concurrent rule scheduling algorithm for active rules // Y. Jin, S.D. Urban, S.W. Dietrich. - Data & Knowledge Engineering - 2007 - №60.3 - p530-546

98. Kantere, V. Using ECA rules to implement mobile query agents for fast-evolving pure P2P networks / V.Kantere, A.Tsois // MDM '05 Proceedings of the 6th international conference on Mobile data management - 2005 — pl64-172.

99. Kappel, G. The TriGS active object-oriented database system— an overview / G.Kappel, W.Retschitzegger // ACM SIGMOD Record. - 1998-№27.3 -p36-41.

100. Kappel, G. TriGS Debugger A Tool for Debugging Active Database Behavior / G. Kappel, G. Kramler, W. Retschitzegger. // - Database and Expert Systems Applications. 12th International Conference, DEXA 2001 Proceedings - Munich, Germany, 2001 -p.410-421.

101. Kearfott, R.B. Interval computations: Introduction, uses, and resources [Электронный ресурс] / R.B.Kearfott // 23p. - Режим доступа: http://www.nsc.ru/interval/Introduction/BakerSurvey.pdf

102. Kearfott, R.B. Standardized notation in interval analysis / R. Baker Kearfott, Mitsuhiro T. Nakao, Arnold Neumaier, Siegfried M. Rump, Sergey P. Shary, Pascal Van Hentenryck // In Proc. XIII Baikal International School-seminar "Optimization methods and their applications". Vol. 4 "Interval analysis". Irkutsk: Institute of Energy Systems SB RAS -2002 -№4 - p.106-113

103. Kurabayashi, S. Modeling dynamic collections of interdependent objects using path-based rules / S.Shuichi Kurabayashi, Y.Kiyoki // DBA'06 Proceedings of the 24th IASTED international conference on Database and applications. - 2006 - pi 15-122.

104. Leondes, C.T. Knowledge-Based Systems, Four-Volume Set: Techniques and Applications / C.T.Leondes. - Academic Press, 2004 - 1449 c.

105. Motakis, I. Temporal aggregation in active database rules / I.Motakis, C.Zaniolo // ACM SIGMOD Record - 1997 - №26.2 - p440-451.

106. Paton, N.W. Active database systems / N.W.Paton, O.Diaz // ACM Computing Surveys (CSUR). - 1999 -№31.1 -p63-103

107. Picouet, P. Semantics and Expressiveness Issues in Active Databases / P.Picoueta, V.Vianu // Journal of Computer and System Sciences. - 1998 - №57.3 - p325-355.

108. Ray, I. Detecting Termination of Active Database Rules Using Symbolic Model Checking /1. Ray, I. Ray // 5th East European Conference, Proceedings. - 2001. - №13. -p.266.

109. Siebes, A. Active rules for XML: A new paradigm for E-services / A.P.J.M. Siebes, J.F.P. Akker, M.H. Voort. - Report CS-R9556 CWI. Amsterdam, 1995. - 33c. -ISSN 0169-118X

110. Wang, D. Active complex event processing over event streams / Di Wang, Elke A. Rundensteiner, Richard T. Ellison, III // Proceedings of the VLDB Endowment - 2011 -№4.10 -p.634-645

111. Wang, D. Active Complex Event Processing: Applications in Real-Time Health Care / Di Wang, Elke A. Rundensteiner, Han Wang // Proceedings of the VLDB Endowment - 2010 - №3.1 -2 - p. 1545-1548

112. Wu, E. High-performance complex event processing over streams / Eugene Wu, Yanlei Diao, Shariq Rizvi // Proceedings of the 2006 ACM SIGMOD international conference on Management of data - 2006 - p.407-418