Журнал Современные проблемы науки и образования 2070-7428 Общество с ограниченной ответственностью "Издательский Дом "Академия Естествознания" ART-17745 МОДЕЛИРОВАНИЕ ПОТЕНЦИАЛЬНЫХ ВЗАИМОДЕЙСТВИЙ ПРАВИЛ В АКТИВНЫХ БАЗАХ ДАННЫХ Зудов А.Б. Zudov A.B. antony.zudov@mail.ru ФГБОУ ВПО «Пензенский государственный университет» Penza State University 10 01 2015 1 85 85 This is an open-access article distributed under the terms of the CC BY 4.0 license. https://science-education.ru/ru/article/view?id=17745

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

The purpose of the research is to describe a model of potential active database rules interactions, which used in static analysis. Special attention is paid to the disadvantages of the approach to static analysis, which based on triggering graph and activation graph. Advantages of static analysis approaches, which based on the computation of estimates of ranges of active rules, are described as contrast of previous approaches. Notions of termination and confluence of active rules set is considered. A criterion of triggering of active rules is proposed. A model describing the potential interactions in the form of a graph is proposed. Range graph construction algorithm is developed. Methods of termination and confluence checking on this graph are described. Example of use of range graph and triggering graph in active rules development in geographic information system is demonstrated.

 активные правила активные базы данных граф статическая проверка active rules active databases graph static analyses

1. Макарычев П.П. Волгина Н.А. Моделирование сетей массового обслуживания на основе маркированных графов // Известия вузов. Поволжский регион. Технические науки. – 2008. -№ 3. – С. 33-39.

2. 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 – Р. 475-486.

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

4. 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. – Р. 1121-1136.

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

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