The Priority of Rules and the Termination Analysis Using Petri Nets

An active database system is a conventional database system extended with a facility for managing active rules (or triggers). Rules in active database systems can be very difficult to program, due to the unstructured and unpredictable nature of rule processing. In this paper, we propose a method of termination analysis of rules in an active database system based on Petri nets. We consider here the model structure and the model execution of the approach