Using Petri Nets for Rule Termination Analysis (1996) [5 citations — 2 self]
|
Abstract:
In Active Database Systems the problem of infinite rule processing may occur. Analysis methods provide an identification of rule sets which can be guaranteed to terminate or which may lead to an infinite rule processing. We propose Petri nets as the base for a compile-time rule analysis. Petri nets provide a promising formalism to model and analyse the behaviour of rules and the interactions between them very precisely. Not only rule semantics considered by termination analysis techniques presented in the literature can easily be modelled but also other parts of the rule model as, e.g., complex events. Thus we are able to enhance the results of the termination analysis methods known to us. In this paper we focus on the analysis of the Petri nets.
Citations
| 555 | Petri Net Theory and the Modeling of Systems – Peterson - 1981 |
| 48 | An algebraic approach to rule analysis in expert database systems – Baralis, Widom - 1994 |
| 39 | Improved Rule Analysis by Means of Triggering and Activation Graphs – Baralis, Ceri, et al. - 1995 |
| 14 | Events in an active object-oriented database – GATZIU, K - 1994 |
| 3 | der Voort and A. Siebes. Termination and Confluence of Rule Execution – van - 1994 |
| 2 | Rule Termination Analysis based on a Rule Meta Model – Zimmer - 1995 |
| 1 | Rule Termination Analysis based on Petri Nets – Zimmer, Meckenstock, et al. - 1996 |
