The increasing popularity of XML and Web services have given rise to a new generation of documents, called Active XML documents (AXML), where some of the data is given explicitly while other parts are given intensionally, by means of embedded calls to Web services. Web services in this context can exchange intensional information, using AXML documents as parameters and results. The goal of this paper is to provide a formal foundation for this new generation of AXML documents and services, and to study fundamental issues they raise. We focus on Web services that are (1) monotone and (2) defined declaratively as conjunctive queries over AXML documents. We study the semantics of documents and queries, the confluence of computations, termination and lazy query evaluation.
|Number of pages||11|
|State||Published - 2004|
|Event||Proceedings of the Twenty-third ACM SIGMOD - SIGACT - SIGART Symposium on Principles of Database Systems, PODS 2004 - Paris, France|
Duration: 14 Jun 2004 → 16 Jun 2004
|Conference||Proceedings of the Twenty-third ACM SIGMOD - SIGACT - SIGART Symposium on Principles of Database Systems, PODS 2004|
|Period||14/06/04 → 16/06/04|