A DYNAMIC ANALYSIS METHOD OF THE TERMINATION OF ACTIVE RULES

The determination of execution case of an active rule base is quite a difficult problem, especially when the composite events are supported. A model based on a determinative multi belt Turing machine is given for the dynamic analysis of active databases. A sufficient and necessary condition of the termination of rule bases is put forward, and an algorithm using the dynamic analysis model to determine the termination is produced as well. This model has the virtue of easy realization and the potency of describing the dynamic characteristics of a rule base. This model can work as the theoretical basis of dynamic analysis tools for active rule bases, and can be used to aid the design of active rule systems or to verify the correctness of rule bases.