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 rules.
CITATION STYLE
Bailey, J., Poulovassilis, A., & Newson, P. (2000). A dynamic approach to termination analysis for active database rules. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 1861, pp. 1106–1120). Springer Verlag. https://doi.org/10.1007/3-540-44957-4_74
Mendeley helps you to discover research relevant for your work.