Termination analysis of active rules - a Petri net based approach

Authors:
Lorena Chavarría-Báez;Xiaoou Li
Affiliations:
Programming and System Development Department, Superior School of Computing, National Polytechnic Institute, Mexico, D. F.;Computer Science Department, CINVESTAV-IPN, Mexico, D. F.
Venue:
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Year:
2009

Citing 9
Cited 1

Behavior of database production rules: termination, confluence, and observable determinism

SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Active database systems

ACM Computing Surveys (CSUR)
An algebraic approach to static analysis of active database rules

ACM Transactions on Database Systems (TODS)
Analysis and optimization of active databases

Data & Knowledge Engineering
Termination and Confluence by Rule Prioritization

IEEE Transactions on Knowledge and Data Engineering
Improving Rule Analysis by Means of Triggering and Activation Graphs

RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis

RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
Active rules for sensor databases

DMSN '04 Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004
Applying Petri Nets in Active Database Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

An active system for dynamic vertical partitioning of relational databases

MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Active rules allow software systems behave automatically when relevant events take place. Due to unstructured rule processing, it is necessary to inspect behavior characteristics such as termination which guarantees that rule processing finishes. In this paper we introduce potential termination concept which gives valuable information about those rules whose processing may not terminate during execution time. It is very useful to manage possible bad scenarios. We also describe our Petri net-based approach to effectively detect termination and potential termination problems.