A dynamic approach to termination analysis for active database rules

Abstract

An important behavioural property for sets of active database rules is that of termination. In current commercial database systems, ter- mination is guaranteed by imposing a fixed upper limit on the number of recursive rule firings that may occur. This can have undesirable ef- fects such as prematurely halting correct executions. We describe a new approach based on a dynamic upper limit to the number of rule firings. This limit reflects knowledge about past rule behaviour on the database and provides a more accurate measure for when the DBMS should ter- minate rule execution. The approach incurs little cost and can easily be integrated with current techniques for static analysis of active ru..