The language Xchange: a declarative approach to reactivity on the web

The research topic investigated by this thesis is reactivity on the Web. Reactivity on the Web is an emerging research issue covering: updating data on the Web, exchanging information about events (such as executed updates) between Web sites, and reacting to combinations of such events. Following a declarative approach to reactivity on the Web, a novel reactive language called XChange is proposed. Novelties of the language are represented by the proposed data metaphor intended to ease the language understanding and the supported reactive features tailored to the characteristics of the Web. Realising this pressuposed refining, extending, and adapting to a new medium some of the concepts on which active database systems are built upon. Reactivity is specified in XChange by means of reactive rules (or event-condition-action rules) having the following components: the event part is a query against events that occurred on the Web, the condition part is a query against Web resources (expressed in the Web query language Xcerpt), and the action part is a transaction specification (specifying updates to be executed and events to be raised in an all-or-nothing manner). Novel in XChange is its ability to detect composite events on the Web, i.e. possibly time related combinations of events that have occurred at (same or different) Web sites. XChange introduces a novel view over the Web data by stressing a clear separation between persistent data (data of Web resources, such as XML or HTML documents) and volatile data (event data communicated on the Web between XChange programs). Based on the differences between these kinds of data, the data metaphor is that of written text vs. speech. XChange’s language design enforces this clear separation and entails new characteristics of event processing on the Web. After motivating the need for a solution to reactivity on the Web, this thesis introduces the design principles and syntax of the language XChange accompanied by use cases for demonstrating the practical applicability of its constructs. Important contributions of the thesis are the specification of the language semantics and the description of an algortihm for evaluating XChange programs. Paula-Lavinia Pătrânjan III

[1]  Michael Eckert,et al.  Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.

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

[3]  Letizia Tanca,et al.  A structured approach for the definition of the semantics of active databases , 1995, TODS.

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

[5]  Letizia Tanca,et al.  Complex queries in XML-GL , 2000, SAC '00.

[6]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[7]  Mark Fischetti,et al.  Weaving the Web : the past and present and future of the World Wide Web by its inventor , 2000 .

[8]  Ur Informatik,et al.  A Gentle Introduction into Xcerpt, a Rule-Based Query and Transformation Language for XML , 2002 .

[9]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[10]  Michael P. Eckert,et al.  Reactivity on the Web: Event Queries and Composite Event Detection in XChange , 2005 .

[11]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[12]  Tim Furche,et al.  Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach , 2004, PPSWR.

[13]  David Hardisty,et al.  On the Internet , 2000, Biological Psychiatry.

[14]  Letizia Tanca,et al.  XML-GL: A Graphical Language for Querying and Restructuring XML Documents , 1999, SEBD.

[15]  James Bailey,et al.  Composite event queries for reactivity on the web , 2005, WWW '05.

[16]  Mengchi Liu,et al.  A Declarative XML-RL Update Language , 2003, ER.

[17]  François Bry,et al.  Querying the Web Reconsidered: A Practical Introduction to Xcerpt , 2004, Extreme Markup Languages®.

[18]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[19]  François Bry,et al.  Poster Presentation: Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web , 2004 .

[20]  Johann-Christoph Freytag,et al.  An annotated bibliography on active databases (short version) , 1995, SGMD.

[21]  Martin Bryan.  SGML and HTML Explained , 1997 .

[22]  Jennifer Widom,et al.  Object exchange across heterogeneous information sources , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[23]  Alin Deutsch,et al.  A Query Language for XML , 1999, Comput. Networks.

[24]  Wolfgang May,et al.  A Logic-Based Approach to XML Data Integration , 2001 .

[25]  Klaus R. Dittrich,et al.  Integrating Active Concepts into an Object-Oriented database System , 1991, DBPL.

[26]  José Júlio Alferes,et al.  Towards Generic Query, Update, and Event Languages for the Semantic Web , 2004, PPSWR.

[27]  Natalya F. Noy,et al.  A Component-Based Framework For Ontology Evolution , 2003 .

[28]  Sharma Chakravarthy,et al.  Snoop: An Expressive Event Specification Language for Active Databases , 1994, Data Knowl. Eng..

[29]  Opher Etzion,et al.  Amit - the situation manager , 2003, The VLDB Journal.

[30]  Klaus R. Dittrich,et al.  Detecting composite events in active database systems using Petri nets , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[31]  José Júlio Alferes,et al.  A General Language for Evolution and Reactivity in the Semantic Web , 2005, PPSWR.

[32]  François Bry,et al.  Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web , 2004, GI Jahrestagung.

[33]  Tim Furche,et al.  Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages , 2005, Int. J. Semantic Web Inf. Syst..

[34]  Stephanie Spranger.  Cultural Calendars for Programming and Querying , 2005 .

[35]  François Bry,et al.  CaTTS: calendar types and constraints for Web applications , 2005, WWW '05.

[36]  Tim Furche,et al.  Survey over Existing Query and Transformation Languages , 2004 .

[37]  Roy Goldman,et al.  Lore: a database management system for semistructured data , 1997, SGMD.

[38]  Sharma Chakravarthy,et al.  WebVigil: An approach to Just-In-Time Information Propagation In Large Network-Centric Environments , 2002, WebDyn@WWW.

[39]  J. Postel,et al.  File transfer protocol (FTP) , 1985 .

[40]  François Bry,et al.  Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data , 2003, VLDB.

[41]  Alexandra Poulovassilis,et al.  Event-Condition-Action Rule Languages for the Semantic Web , 2006, EDBT Workshops.

[42]  Curtis E. Dyreson,et al.  Sanitizing using metadata in MetaXQuery , 2005, SAC '05.

[43]  Alexandra Poulovassilis,et al.  An event-condition-action language for XML , 2002, WWW '02.

[44]  James F. Allen.  Time and time again: The many ways to represent time , 1991, Int. J. Intell. Syst..

[45]  José Júlio Alferes,et al.  Reactivity on the Web , 2006 .

[46]  Narain H. Gehani,et al.  COMPOSE: A System For Composite Specification And Detection , 1993, Advanced Database Systems.

[47]  Alexandra Poulovassilis,et al.  RDFTL : An Event-Condition-Action Language for RDF , 2004 .

[48]  J W Ballard,et al.  Data on the web? , 1995, Science.

[49]  Brian Berliner,et al.  CVS II: Parallelizing Software Dev elopment , 1998 .

[50]  Klaus R. Dittrich,et al.  Aktive Datenbanksysteme - Konzepte und Mechanismen , 1996, Thomson's aktuelle Tutorien.

[51]  Norbert E. Fuchs,et al.  Reasoning in Attempto Controlled English , 2003, PPSWR.

[52]  Stefano Paraboschi,et al.  Pushing reactive services to XML repositories using active rules , 2002, Comput. Networks.

[53]  Ana Simonet,et al.  Toward Updates in Description Logics , 2002, Description Logics.

[54]  Jennifer Widom,et al.  The Starburst Active Database Rule System , 1996, IEEE Trans. Knowl. Data Eng..

[55]  François Bry,et al.  Reasoning on the Web: Language Prototypes and Perspectives , 2004, EWIMT.

[56]  Letizia Tanca,et al.  Active Rule Management in Chimera , 1996, Active Database Systems: Triggers and Rules For Advanced Database Processing.

[57]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.0 , 1996, RFC.

[58]  Tim Furche,et al.  Development of Use Cases, Part I , 2004 .

[59]  Arnold Robbins,et al.  Linux in a Nutshell , 1997 .

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

[61]  Peer Kröger,et al.  A Computational Biology Database Digest: Data, Data Analysis, and Data Management , 2004, Distributed and Parallel Databases.

[62]  Erik Wilde.  Wilde's WWW - technical foundations of the world wide web , 1998 .

[63]  Stefano Ceri,et al.  Exception handling in workflow-driven Web applications , 2005, WWW '05.

[64]  Narain H. Gehani,et al.  ODE (Object Database and Environment): the language and the data model , 1989, SIGMOD '89.

[65]  Vassilis Christophides,et al.  The ICS-FORTH RDFSuite: Managing Voluminous RDF Description Bases , 2001, SemWeb.

[66]  Alejandro P. Buchmann,et al.  Building an integrated active OODBMS: requirements, architecture, and design decisions , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[67]  François Bry,et al.  A Visual Language for Web Querying and Reasoning , 2003, PPSWR.

[68]  Szabolcs Mikulás,et al.  Expressiveness Issues and Decision Problems for Active Database Event Queries , 2001, ICDT.

[69]  Alexandra Poulovassilis,et al.  Event-condition-action rules on RDF metadata in P2P environments , 2006, Comput. Networks.

[70]  François Bry,et al.  The XML Query Language Xcerpt: Design Principles, Examples, and Semantics , 2002, Web, Web-Services, and Database Systems.

[71]  Michel C. A. Klein,et al.  OntoView: Comparing and Versioning Ontologies , 2002 .

[72]  Richard Durbin,et al.  Acedb --- a c. elegans database: syntactic definitions for the acedb data base manager , 1992 .

[73]  Tok Wang Ling,et al.  Towards declarative XML querying , 2002, Proceedings of the Third International Conference on Web Information Systems Engineering, 2002. WISE 2002..

[74]  Stefano Ceri,et al.  Chimera: A Model and Language for Active DOOD Systems , 1994, East/West Database Workshop.

[75]  Massimo Marchiori,et al.  Ten Theses on Logic Languages for the Semantic Web , 2005, Rule Languages for Interoperability.

[76]  Panos K. Chrysanthis,et al.  Advances in concurrency control and transaction processing - executive briefing , 1996 .

[77]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[78]  Emmanuel Pietriga,et al.  VXT: a visual approach to XML transformations , 2001, DocEng '01.

[79]  Sebastian Kraus.  Use Cases für Xcerpt: Eine positionelle Anfrage- und Transformationssprache für das Web , 2004 .

[80]  Hendrik Segers,et al.  Composite event specification in active databases: model and implementation , 1992 .

[81]  Thomas Sindt,et al.  Formal Operations for Ontology Evolution , 2003 .

[82]  Ian Horrocks,et al.  Adding formal semantics to the Web: building on top of RDF Schema. , 2000 .

[83]  Rainer Unland,et al.  On the semantics of complex events in active database management systems , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[84]  Michael Kifer,et al.  A Logic for Programming Database Transactions , 1998, Logics for Databases and Information Systems.

[85]  Ian T. Foster,et al.  The Anatomy of the Grid: Enabling Scalable Virtual Organizations , 2001, Int. J. High Perform. Comput. Appl..

[86]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[87]  François Bry,et al.  Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification , 2002, ICLP.

[88]  Jennifer Widom,et al.  The TSIMMIS Project: Integration of Heterogeneous Information Sources , 1994, IPSJ.

[89]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.0 , 1996, RFC.

[90]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[91]  Tova Milo,et al.  Active Views for Electronic Commerce , 1999, VLDB.

[92]  Matthew Simon.  Finite State Automata , 1999 .

[93]  James Bailey,et al.  Reactivity on the Web: Event Queries in XChange , 2005 .

[94]  Sebastian Schaffert,et al.  Xcerpt: a rule-based query and transformation language for the web , 2004 .

[95]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[96]  Jennifer Widom,et al.  The Lorel query language for semistructured data , 1997, International Journal on Digital Libraries.

[97]  Umeshwar Dayal,et al.  The architecture of an active database management system , 1989, SIGMOD '89.

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

[99]  François Bry,et al.  On Subtyping of Tree-Structured Data: A Polynomial Approach , 2004, PPSWR.

[100]  D. M. Hutton,et al.  Web Dynamics - Adapting to Change in Content, Size, Topology and Use , 2006 .

[101]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

[102]  James Bailey,et al.  Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web , 2005, RuleML.

[103]  Kevin E. Kline,et al.  SQL in a Nutshell , 2000 .

[104]  Letizia Tanca,et al.  Termination and Confluence by Rule Prioritization , 2003, IEEE Trans. Knowl. Data Eng..

[105]  Alberto O. Mendelzon,et al.  GraphLog: a visual formalism for real life recursion , 1990, PODS '90.

[106]  Charles F. Goldfarb,et al.  The XML handbook (2nd ed.) , 2000 .

[107]  Mengchi Liu,et al.  A Logical Foundation for XML , 2002, CAiSE.

[108]  Sharma Chakravarthy,et al.  Situation Monitoring for Active Databases , 1989, VLDB.

[109]  Gerti Kappel,et al.  Composite events for xml , 2004, WWW '04.

[110]  François Bry,et al.  Calendars and topologies as types a programming language approach to modelling mobile applications , 2005 .

[111]  François Bry,et al.  Towards static type checking of Web query language , 2005, Grundlagen von Datenbanken.

[112]  Stefan Conrad,et al.  A Logic Primer , 1998, Logics for Databases and Information Systems.

[113]  Narain H. Gehani,et al.  Ode as an Active Database: Constraints and Triggers , 1991, VLDB.

[114]  Scarlet Schwiderski-Grosche.  Monitoring the behaviour of distributed systems , 1996 .

[115]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[116]  Tim Furche,et al.  Xcerpt and visXcerpt: Twin Query Languages for the Semantic Web , 2004 .