An event-condition-action language for XML

ABSTRACT

XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-commerce, there is a rapidly growing need for a mechanism to incorporate reactive functionality in an XML setting. Event-condition-action (ECA) rules are a technology from active databases and are a natural method for supporting suchfunctionality. ECA rules can be used for activities such as automatically enforcing document constraints, maintaining repository statistics, and facilitating publish/subscribe applications. An important question associated with the use of a ECA rules is how to statically predict their run-time behaviour. In this paper, we define a language for ECA rules on XML repositories. We then investigate methods for analysing the behaviour of a set of ECA rules, a task which has added complexity in this XML setting compared with conventional active databases.

REFERENCES

• 1: Serge Abiteboul , Jason McHugh , Michael Rys , Vasilis Vassalos , Janet L. Wiener, Incremental Maintenance for Materialized Views over Semistructured Data, Proceedings of the 24rd International Conference on Very Large Data Bases, p.38-49, August 24-27, 1998
• 2: Serge Abiteboul , Victor Vianu , Brad Fordham , Yelena Yesha, Relational transducers for electronic commerce, Journal of Computer and System Sciences, v.61 n.2, p.236-269, Oct. 2000 [doi>10.1006/jcss.2000.1708]
• 3: Asaf Adi , David Botzer , Opher Etzion , Tali Yatzkar-Haham, Push Technology Personalization through Event Correlation, Proceedings of the 26th International Conference on Very Large Data Bases, p.643-645, September 10-14, 2000
• 4: Alexander Aiken , Joseph M. Hellerstein , Jennifer Widom, Static analysis techniques for predicting the behavior of active database rules, ACM Transactions on Database Systems (TODS), v.20 n.1, p.3-41, March 1995 [doi>10.1145/202106.202107]
• 5: James Bailey , Alexandra Poulovassilis, An Abstract Interpretation Framework for Termination Analysis of Active Rules, Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming, p.252-270, September 01-03, 1999
• 6: James Bailey , Alexandra Poulovassilis , Peter Newson, A Dynamic Approach to Termination Analysis for Active Database Rules, Proceedings of the First International Conference on Computational Logic, p.1106-1120, July 01, 2000
• 7: J. Bailey, A. Poulovassilis, and P. T. Wood. Analysis and optimisation for event-condition-action rules on XML. Tech. Rep. BBKCS-01-07, Birkbeck College, London, 2001. To appear in Computer Networks.
• 8: Elena Baralis , Stefano Ceri , Stefano Paraboschi, Improving Rule Analysis by Means of Triggering and Activation Graphs, Proceedings of the Second International Workshop on Rules in Database Systems, p.165-181, September 25-27, 1995
• 9: Elena Baralis , Stefano Ceri , Stefano Paraboschi, Compile-Time and Runtime Analysis of Active Behaviors, IEEE Transactions on Knowledge and Data Engineering, v.10 n.3, p.353-370, May 1998 [doi>10.1109/69.687973]
• 10: Elena Baralis , Jennifer Widom, An Algebraic Approach to Rule Analysis in Expert Database Systems, Proceedings of the 20th International Conference on Very Large Data Bases, p.475-486, September 12-15, 1994
• 11: Elena Baralis , Jennifer Widom, An algebraic approach to static analysis of active database rules, ACM Transactions on Database Systems (TODS), v.25 n.3, p.269-332, Sept. 2000 [doi>10.1145/363951.363954]
• 12: A. Bonifati, D. Braga, A. Campi, and S. Ceri. Active XQuery. In Proc. ICDE 2002, 2002. To appear.
• 13: Angela Bonifati , Stefano Ceri , Stefano Paraboschi, Active rules for XML: A new paradigm for E-services, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.1, p.39-47, August 2001
• 14: Angela Bonifati , Stefano Ceri , Stefano Paraboschi, Pushing reactive services to XML repositories using active rules, Proceedings of the 10th international conference on World Wide Web, p.633-641, May 01-05, 2001, Hong Kong, Hong Kong [doi>10.1145/371920.372168]
• 15: Stefano Ceri , Roberta Cochrane , Jennifer Widom, Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award), Proceedings of the 26th International Conference on Very Large Data Bases, p.254-262, September 10-14, 2000
• 16: S. Ceri and P. Fraternali. Designing Database Applications with Objects and Rules: The IDEA Methodology. Addison-Wesley, 1997.
• 17: Stefano Ceri , Piero Fraternali , Stefano Paraboschi, Data-Driven, One-To-One Web Site Generation for Data-Intensive Applications, Proceedings of the 25th International Conference on Very Large Data Bases, p.615-626, September 07-10, 1999
• 18: Sophie Cluet , Pierangelo Veltri , Dan Vodislav, Views in a Large Scale XML Repository, Proceedings of the 27th International Conference on Very Large Data Bases, p.271-280, September 11-14, 2001
• 19: A. Deutsch and V. Tannen. Containment and integrity constraints for XPath fragments. In Proc. 8th Int. Workshop on Knowledge Representation Meets Databases, 2001.
• 20: Daniela Florescu , Alon Levy , Dan Suciu, Query containment for conjunctive queries with regular expressions, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.139-148, June 01-04, 1998, Seattle, Washington, United States [doi>10.1145/275487.275503]
• 21: John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 22: H. Ishikawa and M. Ohta. An active web-based distributed database system for e-commerce. In Proc. Web Dynamics Workshop, London, 2001.
• 23: A. Kotz-Dittrich and E. Simon. Active database systems: Expectations, commercial experience and beyond. In N. Paton, editor, Active Rules in Database Systems, pages 367--404. Springer-Verlag, 1999.
• 24: K. Kulkarni, N. Mattos, and R. Cochrane. Active database features in SQL3. In N. Paton, editor, Active Rules in Database Systems, pages 197--219. Springer-Verlag, 1999.
• 25: Alon Y. Levy , Yehoshua Sagiv, Queries Independent of Updates, Proceedings of the 19th International Conference on Very Large Data Bases, p.171-181, August 24-27, 1993
• 26: Norman W. Paton , F. Schneider , D. Gries, Active Rules in Database Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1998
• 27: João Pereira , Françoise Fabret , François Llirbat , Dennis Shasha, Efficient Matching for Web-Based Publish/Subscribe Systems, Proceedings of the 7th International Conference on Cooperative Information Systems, p.162-173, September 06-08, 2000
• 28: Igor Tatarinov , Zachary G. Ives , Alon Y. Halevy , Daniel S. Weld, Updating XML, Proceedings of the 2001 ACM SIGMOD international conference on Management of data, p.413-424, May 21-24, 2001, Santa Barbara, California, United States
• 29: J. Widom and S. Ceri. Active Database Systems. Morgan-Kaufmann, San Mateo, California, 1995.
• 30: Peter T. Wood, On the Equivalence of XML Patterns, Proceedings of the First International Conference on Computational Logic, p.1152-1166, July 01, 2000
• 31: P. T. Wood. Minimising simple XPath expressions. In Proc. WebDB 2001: Fourth Int. Workshop on the Web and Databases (Santa Barbara, Calif., May 24--25), pages 13--18, 2001.
• 32: World Wide Web Consortium. XML Path Language (XPath), Version 1.0. See http://www.w3.org/TR/xpath, November 1999. W3C Recommendation.
• 33: World Wide Web Consortium. XQuery 1.0: An XML Query Language. See http://www.w3.org/TR/xquery, June 2001. W3C Working Draft.
• 34: World Wide Web Consortium. XQuery 1.0 Formal Semantics. See http://www.w3.org/TR/query-semantics, June 2001. W3C Working Draft.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Program analysis

General Terms:
Languages

Keywords:
XML, XML repositories, event-condition-action rules, reactive functionality, rule analysis