A path removing technique for detecting trigger termination
- First Online:
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.
Unable to display preview. Download preview PDF.
- 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.Google Scholar
- 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.Google Scholar
- E.Baralis, S.Ceri and S.Paraboschi, “Improved Rule Analysis by Means of Triggering and Activation Graphs”, RIDS'95, 165–181.Google Scholar
- E.Baralis, S.Ceri and S.Paraboschi, “Run-Time Detection of Non-Terminating Active Rule Systems”, DOOD, 38–54, 1995.Google Scholar
- U.Dayal, “Active Database Systems”, Proc 3rd International Conf on Data and Knowledge Bases, Jerusalem Israel, Jun 1988.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- S.Y.Lee, T.W.Ling, “Refined Termination Decision in Active Databases”, DEXA'97, 182–191, Sept 1997.Google Scholar
- K.A.Ross, “Structural Totality and Constraints Stratification”, PODS, 184–185, 1995.Google Scholar
- C.Zaniolo, “Active Database Rules with Transaction-Conscious Stable-Model Semantics”, DOOD'95, 55–72, Dec 1995.Google Scholar