Analysis and optimisation of event-condition-action rules on XML

Abstract XML is now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need for rule-based technology to support reactive functionality on XML repositories. Event-condition-action (ECA) rules automatically perform actions in response to events and are a natural facility to support such functionality. In this paper, we study ECA rules in the context of XML data. We define a simple language for specifying ECA rules on XML repositories. The language is illustrated by means of some examples, and its syntax and semantics are then specified more formally. We then investigate methods for analysing and optimising these ECA rules, a task which has added complexity in this XML setting compared with conventional active databases.

[1]  Eric Simon,et al.  Active Database Systems: Expectations, Commercial Experience, and Beyond , 1999, Active Rules in Database Systems.

[2]  Norman W. Paton,et al.  Active Rules in Database Systems , 1998, Monographs in Computer Science.

[3]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[4]  Serge Abiteboul,et al.  Relational transducers for electronic commerce , 1998, J. Comput. Syst. Sci..

[5]  Elena Baralis,et al.  Improving Rule Analysis by Means of Triggering and Activation Graphs , 1995, Rules in Database Systems.

[6]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) , 2000, VLDB.

[7]  CeriStefano,et al.  Compile-Time and Runtime Analysis of Active Behaviors , 1998 .

[8]  Alexandra Poulovassilis,et al.  A Dynamic Approach to Termination Analysis for Active Database Rules , 2000, Computational Logic.

[9]  Peter T. Wood.  Minimising Simple XPath Expressions , 2001, WebDB.

[10]  Steven J. DeRose,et al.  XML Path Language (XPath) Version 1.0 , 1999 .

[11]  Jennifer Widom,et al.  An algebraic approach to static analysis of active database rules , 2000, TODS.

[12]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Successes and Lingering Issues , 2000 .

[13]  Alon Y. Halevy,et al.  Updating XML , 2001, SIGMOD '01.

[14]  Stefano Ceri,et al.  Designing Database Applications with Objects and Rules: The IDEA Methodology , 1997 .

[15]  Hiroshi Ishikawa,et al.  An Active Web-based Distributed Database System for E-Commerce , 2001, WebDyn@ICDT.

[16]  Jennifer Widom,et al.  An Algebraic Approach to Rule Analysis in Expert Database Systems , 1994, VLDB.

[17]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[18]  Stefano Paraboschi,et al.  Active rules for XML: A new paradigm for E-services , 2001, The VLDB Journal.

[19]  Alin Deutsch,et al.  Containment and Integrity Constraints for XPath Fragments , 2001 .

[20]  J. Davenport.  Editor , 1960 .

[21]  Stefano Paraboschi,et al.  Data-Driven, One-To-One Web Site Generation for Data-Intensive Applications , 1999, VLDB.

[22]  Dan Suciu,et al.  Efficient evaluation of XML middle-ware queries , 2001, SIGMOD '01.

[23]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[24]  Peter T. Wood,et al.  On the Equivalence of XML Patterns , 2000, Computational Logic.

[25]  Opher Etzion,et al.  Push Technology Personalization through Event Correlation , 2000, VLDB.

[26]  Alexandra Poulovassilis,et al.  Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation , 2001, DBPL.

[27]  Dan Suciu,et al.  Query containment for conjunctive queries with regular expressions , 1998, PODS.

[28]  Serge Abiteboul,et al.  Monitoring XML data on the Web , 2001, SIGMOD '01.

[29]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[30]  Stefano Paraboschi,et al.  Active XQuery , 2002, Proceedings 18th International Conference on Data Engineering.

[31]  Jennifer Widom,et al.  Static analysis techniques for predicting the behavior of active database rules , 1995, TODS.

[32]  Abel,et al.  A formal semantics of patterns in XSLT , 2000 .

[33]  Roberta Cochrane,et al.  Active Database Features in SQL3 , 1999, Active Rules in Database Systems.

[34]  Stefano Paraboschi,et al.  Pushing reactive services to XML repositories using active rules , 2001, WWW '01.

[35]  Jennifer Widom,et al.  Active Database Systems , 1995, Modern Database Systems.

[36]  Alexandra Poulovassilis,et al.  An Abstract Interpretation Framework for Termination Analysis of Active Rules , 1999, DBPL.

[37]  Serge Abiteboul,et al.  Incremental Maintenance for Materialized Views over Semistructured Data , 1998, VLDB.

[38]  Dennis Shasha,et al.  Efficient Matching for Web-Based Publish/Subscribe Systems , 2000, CoopIS.

[39]  Laks V. S. Lakshmanan,et al.  Minimization of tree pattern queries , 2001, SIGMOD '01.

[40]  Elena Baralis,et al.  Compile-Time and Runtime Analysis of Active Behaviors , 1998, IEEE Trans. Knowl. Data Eng..

[41]  Philip Wadler,et al.  A formal semantics of patterns in XSLT , 2000 .

[42]  Chris Hankin,et al.  Abstract Interpretation of Declarative Languages , 1987 .

[43]  Tova Milo,et al.  Views in a large-scale XML repository , 2002, The VLDB Journal.