Abstract
Termination decision in trigger systems is to ensure that any rule execution does not result in an infinite loop. Generally, this is an undecidable task. Several recent works have been proposed to prove termination under certain situations. However, most of these existing methods make use of the trigger conditions only in a limited way. In particular, overall conditions of long trigger sequences are not fully used to decide termination. In this paper, we will introduce the activation formula, which considers the overall conditions of long trigger sequences and hence covers many previous works. With this extension, traditional trigger edge elimination methods are no longer sufficient. We will then present a path elimination method called the node splitting method. Using this new approach, more termination situations than existing works can be detected.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Reference
A.Aiken, J.Widom and J.M.Hellerstein, “Behavior of database production rules: Termination, confluence, and observable determinism”, Proc ACM SIGMOD International Conf on the Management of Data, 59–68, 1992.
E.Baralis, S.Ceri and J.Widom, “Better Termination Analysis for Active Databases”, Proc of the 1st Int. Workshop on Rules in Database Syst., 163–179, 1993.
E.Baralis, S.Ceri and S.Paraboschi, “Improved Rule Analysis by Means of Triggering and Activation Graphs”, RIDS'95, 165–181.
E.Baralis, S.Ceri and S.Paraboschi, “Run-Time Detection of Non-Terminating Active Rule Systems”, DOOD, 38–54, 1995.
U.Dayal, “Active Database Systems”, Proc 3rd International Conf on Data and Knowledge Bases, Jerusalem Israel, Jun 1988.
O.Diaz, N.Paton and P.Gray, “Rule management in object-oriented databases: A uniform approach”, Proc 17th International Conf on VLDB, Barcelona, Spain, Sept 1991.
A.P. Karadimce and S.D. Urban,“Conditional term rewriting as a formal basis for analysis of active database rules”, 4th International Workshop on Research Issues in Data Engineering (RIDE-ADS'94), Feb 1994.
A.P.Karadimce, S.D.Urban, “Refined Trigger Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database”, ICDE'96, 384–391.
S.Y.Lee, T.W.Ling, “Refined Termination Decision in Active Databases”, DEXA'97, 182–191, Sept 1997.
K.A.Ross, “Structural Totality and Constraints Stratification”, PODS, 184–185, 1995.
C.Zaniolo, “Active Database Rules with Transaction-Conscious Stable-Model Semantics”, DOOD'95, 55–72, Dec 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, S.Y., Ling, T.W. (1998). A path removing technique for detecting trigger termination. In: Schek, HJ., Alonso, G., Saltor, F., Ramos, I. (eds) Advances in Database Technology — EDBT'98. EDBT 1998. Lecture Notes in Computer Science, vol 1377. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0100995
Download citation
DOI: https://doi.org/10.1007/BFb0100995
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64264-0
Online ISBN: 978-3-540-69709-1
eBook Packages: Springer Book Archive