Abstract
While active rules have been applied in many areas including active databases, XML documentation and Semantic Web, current methods remain largely uncertain of how to terminate active behaviors. Some existing methods have been provided in the form of a logical formula for a rule set, but they suffer two problems, (i) Only those variables, which are non-updatable or finitely updatable, can be contained by a formula. (ii) They cannot conclude termination if a rule set only contains some cycles that can be executed in a finite number of times. Many active rule systems, which only contain updatable variables, can still be terminated. This paper presents an algorithm to construct a formula, which can contain updatable variable. Also, a method is proposed to detect if a cycle can only be executed in a finite number of times. Theoretical analysis shows more termination cases, which is indetctive for existing methods, can be detected by our method.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bonifati, A., Ceri, S., Paraboschi, S.: Active rules for XML. A new paradigm for e-services. VLDB Journal 10(1), 39–47 (2001)
Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition-action language for XML. In: WWW2002, Hawaii, pp. 486–495 (2002)
Papamarkos, G., Poulovassilis, A., Wood, P.T.: RDFTL: An event-condition-action language for RDF. In: Proc. of the 3rd Web Dynamics Workshop at WWW’2004, New York (2004)
Papamarkos, G., Poulovassilis, A., Wood, P.T.: Event-condition-action language for the Semantic Web. In: Proc. Workshop on Semantic Web and Databases, at VLDB’03, Berlin (2003)
Zoumboulakis, M., Roussos, G., Poulovassilis, A.: Active rules for sensor databases. In: Proc. of the 30th VLDB Conference, Toronto, pp. 486–495 (2004)
Aiken, A., Widom, J., Hellerstein, J.: Behavior of database productions rules: Termination, Confluence, and Observable Determinism. In: Proc. Int’l Conf. On Management of Data (SIGMOD), San Diego, California (1992)
Bailey, J., Dong, G., et al.: On the Decidability of the Termination Problem of Active Database System. Theor. Comput. Sci. 311(1-3), 389–437 (2004)
Karadimce, A.P., Urban, S.D.: Conditional Term Rewriting as a Formal Basis for Analysis of Active Database Rules. In: Int’l Workshop On Research Issues in Data Engineering (RIDE-ADS), Houston, Texas (1994)
Comai, S., Tanca, L.: Termination and Confluence by Rule Prioritization. IEEE Transactions on Knowledge and Data Engineering 15(2), 257–270 (2003)
Li, X., Medina Marín, J., Chapa, S.V.: A Structural Model of ECA Rules in Active Database. In: Coello Coello, C.A., de Albornoz, Á., Sucar, L.E., Battistutti, O.C. (eds.) MICAI 2002. LNCS (LNAI), vol. 2313, p. 486. Springer, Heidelberg (2002)
Bailey, J., Poulovassilis, A.: Abstract interpretation framework for termination analysis in functional active databases. Journal of Intelligent Information Systems 12(2/3), 243–273 (1999)
Baralis, E., Ceri, S., et al.: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Transactions on Knowledge and Data Engineering 10(3), 353–370 (1998)
Baralis, E., Widom, J.: An Algebraic Approach to Static Analysis of Active Database Rules. ACM Transactions on Database Systems 25(3), 269–332 (2000)
Karadimce, A.P., Urban, S.D.: Refined Triggering Graph: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. In: Proc. Int’l Conf. On On Data Engineering (ICDE), New-Orleans, Louisiana (1996)
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)
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)
Paton, N.W., et al.: Active Database System. ACM Computing Surveys 31(1), 63–103 (1999)
Ceri, S., Fraternali, P., et al.: Active Rule Management in Chimera. In: Ceri, S., Widom, J. (eds.) Active Database Systems, Morgan Kaufmann, San Francisco (1996)
Leverenz, L., et al.: SQL Reference, Handbook. Oracle Corporation (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Xiong, Z., Wang, W., Pei, J. (2007). Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable. In: Dong, G., Lin, X., Wang, W., Yang, Y., Yu, J.X. (eds) Advances in Data and Web Management. APWeb WAIM 2007 2007. Lecture Notes in Computer Science, vol 4505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72524-4_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-72524-4_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72483-4
Online ISBN: 978-3-540-72524-4
eBook Packages: Computer ScienceComputer Science (R0)