DEXA 2003: Database and Expert Systems Applications pp 846-855 | Cite as
Termination Analysis of Active Rules with Priorities
Abstract
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have suggested proving termination by using the concept of triggering graph. We propose here a refinement of these works, exploiting the priorities defined between rules. We introduce the notions of path set and destabilizing set. We show how to determine the priority of a path set. The triggering graph can then be reduced thanks to considerations about priorities of the path sets. Much more termination situations can be detected, since priorities are exploited.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Aiken, A., Widom, J., Hellerstein, J.M.: Behavior of Database Production Rules: Termination, Confluence and Observable Determinism. In: Proc. Int’l Conf. on Management of Data (SIGMOD), San Diego, California (1992)Google Scholar
- 2.Baralis, E., Ceri, S., Paraboschi, S.: Improved Rule Analysis by Means of Triggering and Activation Graphs. In: Proc. Int’l Workshop Rules in Database Systems (RIDS), Athens, Greece (1995)Google Scholar
- 3.Couchot, A.: Improving Termination Analysis of Active Rules with Composite Events. In: Mayr, H.C., Lazanský, J., Quirchmayr, G., Vogel, P. (eds.) DEXA 2001. LNCS, vol. 2113, p. 400. Springer, Heidelberg (2001)CrossRefGoogle Scholar
- 4.Couchot, A.: Improving the Refined Triggering Graph Method for Active Rules Termination Analysis. In: Proc. British National Conf. on Databases (BNCOD), Sheffield, United Kingdom (2002)Google Scholar
- 5.Karadimce, A.P., Urban, S.D.: Refined Triggering Graphs: a Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. In: Proc. Int’l Conf. on Data Engineering (ICDE), New-Orleans, Louisiana (1996)Google Scholar
- 6.Lee, S.Y., Ling, T.W.: Refined Termination Decision in Active Databases. In: Tjoa, A.M. (ed.) DEXA 1997. LNCS, vol. 1308. Springer, Heidelberg (1997)CrossRefGoogle Scholar
- 7.Lee, S.Y., Ling, T.W.: A Path Removing Technique for Detecting Trigger Termination. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, p. 341. Springer, Heidelberg (1998)CrossRefGoogle Scholar
- 8.Lee, S.Y., Ling, T.W.: Unrolling Cycle to Decide Trigger Termination. In: Proc. Int’l Conf. on Very Large Databases (VLDB), Edinburgh, Scotland (1999)Google Scholar