ОЦЕНКА ОБЛАСТИ ЗНАЧЕНИЙ АКТИВНЫХ ПРАВИЛ ПО РЕГУЛЯРНЫМ ВЫРАЖЕНИЯМ
В статье описывается способ оценивания области значений правил со строковыми параметрами, обрабатывающих события в активных базах данных. Показано, как оценивание области значений правил может быть использовано на стадии статической проверки, когда определяются потенциальные сценарии взаимодействия активных правил и выявляются параметры событий, при обработке которых взаимодействие правил приведёт к конфликтным ситуациям. Обоснована возможность использования регулярных выражений для задания активных правил и описан формат активных правил, основанный на регулярных выражениях. Разработана схема соединения конечных автоматов, синтезированных по входящим в правило выражениям. Выделены возможные операции с данным конечным автоматом, необходимые для проведения статической проверки набора активных правил. Приведены примеры областей применения активных правил, заданных в соответствии с описанным в статье форматом.