The Priority of Rules and the Termination Analysis Using Petri Nets

 Latifa Baba-hamed¹ and Hafida Belbachir²

¹Computer Science Department, University of Oran Es-Sénia, Algeria

²Computer Science Department, University of USTO, Algeria 

Abstract: 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.  

Keywords: Active database, ECA rules, termination rules, Petri nets, path, priority.