ECA Rule Analysis in a Distributed Active Database

Active database systems integrate event-based rule processing with traditional database functionality. The model most widely used to represent event-based rules is the Event- Condition-Action rule (ECA rule) model. However, the relationships among rules in the development of a base of ECA rules can fall in an infinite rule triggering: the No termination problem. In this article, an approach based in Petri Net theory is proposed. This approach detects cyclic paths in the base of ECA rules. Furthermore, it can analyze the relationships among ECA rule components.