Article

Positive active XML

Authors:

Serge Abiteboul,

Omar Benjelloun,

Tova MiloAuthors Info & Claims

PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Pages 35 - 45

https://doi.org/10.1145/1055558.1055564

Published: 14 June 2004 Publication History

Abstract

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.

References

[1]

S. Abiteboul, O. Benjelloun, B. Cautis, I. Manolescu, T. Milo, and N. Preda. Lazy Query Evaluation for Active XML. In Proc. of ACM SIGMOD, 2004.

Digital Library

[2]

S. Abiteboul, O. Benjelloun, I. Manolescu, T. Milo, and R. Weber. Active XML: Peer-to-peer data and web services integration (demo). In Proc. of VLDB, 2002.

Digital Library

[3]

S. Abiteboul, O, Benjelloun, and T. Milo. Towards a flexible model for data and web services integration. proc. Internat. Workshop on Foundations of Models and Languages for Data and Objects, Italy, 2001.

[4]

S. Abiteboul, A. Bonifati, G. Cobena, I. Manolescu, and T. Milo. Dynamic XML, documents with distribution and replication. In Proc of ACM SIGMOD, 2003.

Digital Library

[5]

S. Abiteboul and S. Grumbach. A rule-based language with functions and sets. ACM TODS, 16(1), 1991.

Digital Library

[6]

S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley Publishing Company, Reading, Massachusetts, 1995.

Digital Library

[7]

S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive, In Proc. of ACM SIGMOD, 1989.

Digital Library

[8]

S. Abiteboul and T. Milo. Web Services meet Datalog, Technical report, INRIA, 2004.

[9]

S. Abiteboul, L. Segoufin, and V. Vianu. Representing and Querying XML with Incomplete Information. In Proc. of ACM PODS, 2001.

Digital Library

[10]

M. Atkinson, D. DeWitt, D. Maier, F. Bancilhon, K. Dittrich, and S. Zdonik. The object-oriented database system manifesto. In Proc. of DOOD, 1989.

[11]

The Active XML Website. http://www-rocq.inria.fr/verso/Gemo/Projects/axml/.

[12]

B. Babcock, S. Babu, M. Datar, R, Motwani, and J. Widom. Models and issues in data stream systems. In Proc. of ACM PODS, 2002.

Digital Library

[13]

P. Buneman, R. E. Frankel, and R. S. Nikhil. An implementation technique for database query languages. ACM TODS, 7(2), 1982.

Digital Library

[14]

A. Colmerauer. Prolog and infinite trees. In K. L. Clark and S.-A. Tärnlund, editors, Logic Programming, volume 16, pages 231--251. Academic Press, London, 1982.

[15]

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.

[16]

M. R. Henzinger, T. A. Henzinger, and P. W. Kopke. Computing simulations on finite and infinite graphs. In Proc. of FOCS, 1995.

Digital Library

[17]

Jelly: Executable XML. http://jakarta.apache.org/commons/sandbox/jelly.

[18]

The Kazaa file-sharing system. http://www.kazaa.com.

[19]

M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. J. ACM, 42(4):741--843, 1995.

Digital Library

[20]

Macromedia Coldfusion MX. http://www.macromedia.com/software/coldfusion/.

[21]

A. O. Mendelzon and T. Milo. Formal models of web queries. In Proc. of ACM PODS, 1997.

Digital Library

[22]

T. Milo, S. Abiteboul, B. Amann, B. Benjelloun, and F. Dang Ngoc. Exchanging intensional XML data. In Proc. of ACM SIGMOD, 2003.

Digital Library

[23]

Simple Object Access Protocol (SOAP) 1.1 http://www.w3.org/TR/SOAP.

[24]

M. Spielmann, J. Tyszkiewicz, and J. Van den Bussche. Distributed computation of web queries using automata. In Proc. of ACM PODS, 2002.

Digital Library

[25]

L. Vieille. Recursive axioms in deductive databases: The query-subquery approach. In Proc. 1st Int. Conf. on Expert. Database Systems, 1986.

[26]

J. Widom and S. Ceri. Active database systems: Triggers and rules for advanced database processing. Morgan Kaufmann Publishers, San Francisco, CA, 1996.

Digital Library

[27]

Web Services Definition Language (WSDL). http://www. w3.org/TR/wsdl.

[28]

XQuery 1.0: An XML Query Language. http://www.w3.org/TR/xquery.

Cited By

Rodriguez OUlliana FMugnier M(2023)Scalable Reasoning on Document Stores via Instance-Aware Query RewritingProceedings of the VLDB Endowment10.14778/3611479.361148116:11(2699-2713)Online publication date: 1-Jul-2023
https://dl.acm.org/doi/10.14778/3611479.3611481
Tchendji MTagueu J(2021)Guarded attribute grammars and publish/subscribe for implementing distributed collaborative business processes with high data availabilityService Oriented Computing and Applications10.1007/s11761-021-00319-z15:3(245-256)Online publication date: 1-Sep-2021
https://dl.acm.org/doi/10.1007/s11761-021-00319-z
Hague MLin AOng C(2015)Detecting redundant CSS rules in HTML5 applications: a tree rewriting approachACM SIGPLAN Notices10.1145/2858965.281428850:10(1-19)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814288
Show More Cited By

Recommendations

The Active XML project: an overview

This paper provides an overview of the Active XML project developed at INRIA over the past five years. Active XML (AXML, for short), is a declarative framework that harnesses Web services for distributed data management, and is put to work in a peer-to-...
XML: Visual QuickStart Guide
Managing Trust in Active XML
SCC '04: Proceedings of the 2004 IEEE International Conference on Services Computing

Active XML [The Active XML Team, http://www-rocq.inria.fr/gemo/gemo/projects/axml/] combines XML Data and service calls to allow a simple and powerful Web services implementation. Security in Active XML is currently handled by matching the structure of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

June 2004

350 pages

ISBN:158113858X

DOI:10.1145/1055558

Conference Chair:
Catriel Beeri
Hebrew University of Jerusalem

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 June 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS04

Sponsor:

SIGMOD/PODS04: International Conference on Management of Data and Symposium on Principles Database and Systems

June 14 - 16, 2004

Paris, France

Acceptance Rates

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

42
Total Citations
View Citations
407
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Rodriguez OUlliana FMugnier M(2023)Scalable Reasoning on Document Stores via Instance-Aware Query RewritingProceedings of the VLDB Endowment10.14778/3611479.361148116:11(2699-2713)Online publication date: 1-Jul-2023
https://dl.acm.org/doi/10.14778/3611479.3611481
Tchendji MTagueu J(2021)Guarded attribute grammars and publish/subscribe for implementing distributed collaborative business processes with high data availabilityService Oriented Computing and Applications10.1007/s11761-021-00319-z15:3(245-256)Online publication date: 1-Sep-2021
https://dl.acm.org/doi/10.1007/s11761-021-00319-z
Hague MLin AOng C(2015)Detecting redundant CSS rules in HTML5 applications: a tree rewriting approachACM SIGPLAN Notices10.1145/2858965.281428850:10(1-19)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814288
Hague MLin AOng CAldrich JEugster P(2015)Detecting redundant CSS rules in HTML5 applications: a tree rewriting approachProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814288(1-19)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814288
Badouel EHélouët LMorvan C(2015)Petri Nets with Structured DataApplication and Theory of Petri Nets and Concurrency10.1007/978-3-319-19488-2_11(212-233)Online publication date: 4-Jun-2015
https://doi.org/10.1007/978-3-319-19488-2_11
Viet Phan BPardede E(2014)ReviewJournal of Network and Computer Applications10.1016/j.jnca.2013.02.00237(348-364)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.1016/j.jnca.2013.02.002
Milicevic AJackson DGligoric MMarinov DHosking AEugster PHirschfeld R(2013)Model-based, event-driven programming paradigm for interactive web applicationsProceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software10.1145/2509578.2509588(17-36)Online publication date: 29-Oct-2013
https://dl.acm.org/doi/10.1145/2509578.2509588
Stadtmüller SSpeiser SHarth AStuder RSchwabe DAlmeida VGlaser HBaeza-Yates RMoon S(2013)Data-FuProceedings of the 22nd international conference on World Wide Web10.1145/2488388.2488495(1225-1236)Online publication date: 13-May-2013
https://dl.acm.org/doi/10.1145/2488388.2488495
Calvanese DDe Giacomo GMontali MHull RFan W(2013)Foundations of data-aware process analysisProceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems10.1145/2463664.2467796(1-12)Online publication date: 22-Jun-2013
https://dl.acm.org/doi/10.1145/2463664.2467796
Abiteboul STen Cate BKatsis Y(2013)On the equivalence of distributed systems with queries and communicationJournal of Computer and System Sciences10.1016/j.jcss.2013.01.00179:6(739-762)Online publication date: 1-Sep-2013
https://dl.acm.org/doi/10.1016/j.jcss.2013.01.001
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents