Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable

  • Zhongmin Xiong
  • Wei Wang
  • Jian Pei
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4505)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bonifati, A., Ceri, S., Paraboschi, S.: Active rules for XML. A new paradigm for e-services. VLDB Journal 10(1), 39–47 (2001)zbMATHGoogle Scholar
  2. 2.
    Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition-action language for XML. In: WWW2002, Hawaii, pp. 486–495 (2002)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Zoumboulakis, M., Roussos, G., Poulovassilis, A.: Active rules for sensor databases. In: Proc. of the 30th VLDB Conference, Toronto, pp. 486–495 (2004)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Comai, S., Tanca, L.: Termination and Confluence by Rule Prioritization. IEEE Transactions on Knowledge and Data Engineering 15(2), 257–270 (2003)CrossRefGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Baralis, E., Widom, J.: An Algebraic Approach to Static Analysis of Active Database Rules. ACM Transactions on Database Systems 25(3), 269–332 (2000)CrossRefGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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
  16. 16.
    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
  17. 17.
    Paton, N.W., et al.: Active Database System. ACM Computing Surveys 31(1), 63–103 (1999)CrossRefGoogle Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    Leverenz, L., et al.: SQL Reference, Handbook. Oracle Corporation (2000)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Zhongmin Xiong
    • 1
  • Wei Wang
    • 1
  • Jian Pei
    • 2
  1. 1.Department of Computing and Information Technology, Fudan University, Shanghai, 200433China
  2. 2.School of Computing Science, Simon Fraser UniversityCanada

Personalised recommendations