skip to main content
10.1145/1244381.1244386acmconferencesArticle/Chapter ViewAbstractPublication PagespepmConference Proceedingsconference-collections
Article

Bidirectional interpretation of XQuery

Published: 15 January 2007 Publication History

Abstract

XQuery is a powerful functional language to query XML data. This paper gives a bidirectional interpretation of XQuery to address the problem of updating XML data through materialized XQuery views. We first design an expressive bidirectional transformation language, and then translate XQuery expressions into the code of this language. As a result, an XQuery expression can execute in two directions: in the forward direction, it generates a materialized view from the source XML data; while in the backward direction, it updates the source data by putting back the updates on the view. we have implemented our approach and applied it to some XQuery use cases from a W3C draft, which confirms the practicability of this approach.

References

[1]
Bidirectional XQuery. http://www.ipl.t.u-tokyo.ac.jp/~liu/BiXQuery.html.
[2]
Galax: An Implementation of Query. http://www.galaxquery.org/.
[3]
F. Bancilhon and N. Spyratos. Updating semantics of relational views. ACM Transactions on Database Systems, 6(4):557--575, 1981.
[4]
S. Boag, D. Chamberlin, M. F. Fernandez, D. Florescu, J. Robie, and J. Simeon. XQuery 1.0: An XML Query Language, 2005. http://www.w3.org/TR/xquery/.
[5]
A. Bohannon, J. A. Vaughan, and B. C. Pierce. Relational lenses: A language for updateable views. In Proceedings of the 25th ACM symposium on Principles of Database Systems, 2006.
[6]
V. Braganholo, S. Davidson, and C. Heuser. PATAX: a framework to allow updates through XML views. ACM TODS. (accepted).
[7]
V. Braganholo, S. Davidson, and C. Heuser. From XML view updates to relational view updates: old solutions to a new problem. In Proceedings of VLDB 2004, 2004.
[8]
D. Chamberlin, P. Fankhauser, D. Florescu, M. Marchiori, and J. Robie. XML Query Use Cases, 2006. http://www.w3.org/TR/xquery-use-cases/.
[9]
U. Dayal and P. A. Bernstein. On the correct translation of update operations on relational views. ACM TODS, 7(3):381--416, 1982.
[10]
J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 233--246. ACM Press, 2005.
[11]
G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Transactions on Database Systems, 13(4):486--524, 1988.
[12]
H. Hosoya and B. C. Pierce. XDuce: A typed XML processing language. ACM Transactions on Internet Technology, 3(2):117--148, 2003.
[13]
Z. Hu, S.-C. Mu, and M. Takeichi. A programmable editor for developing structured documents based on bidirectional transformations. In Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 2004.
[14]
H. Kozankiewicz, J. Leszczylowski, and K. Subieta. Updatable XML views. In ADBIS, pages 381--399, 2003.
[15]
A. Marian and J. Simeon. Projecting XML documents. In Proceedings of VLDB 2003, 2003.
[16]
D. Olteanu, H. Meuss, T. Furche, and F. Bry. XPath: Looking forward. In Proceedings of the EDBT Workshop on XML Data Management (XMLDM), volume 2490 of LNCS, pages 109--127. Springer, 2002.
[17]
M. Wallace and C. Runciman. Haskell and XML: generic combinators or type-based translation? In Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, 1999.

Cited By

View all
  • (2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
  • (2018)Bidirectional evaluation with direct manipulationProceedings of the ACM on Programming Languages10.1145/32764972:OOPSLA(1-28)Online publication date: 24-Oct-2018
  • (2018)Incremental relational lensesProceedings of the ACM on Programming Languages10.1145/32367692:ICFP(1-30)Online publication date: 30-Jul-2018
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
January 2007
180 pages
ISBN:9781595936202
DOI:10.1145/1244381
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: 15 January 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. XML
  2. XQuery
  3. bidirectional programming
  4. transformations
  5. view update problem

Qualifiers

  • Article

Conference

PEPM07
Sponsor:

Acceptance Rates

Overall Acceptance Rate 66 of 120 submissions, 55%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 09 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
  • (2018)Bidirectional evaluation with direct manipulationProceedings of the ACM on Programming Languages10.1145/32764972:OOPSLA(1-28)Online publication date: 24-Oct-2018
  • (2018)Incremental relational lensesProceedings of the ACM on Programming Languages10.1145/32367692:ICFP(1-30)Online publication date: 30-Jul-2018
  • (2018)Applicative bidirectional programmingJournal of Functional Programming10.1017/S095679681800009628Online publication date: 21-Jun-2018
  • (2017)Synthesizing bijective lensesProceedings of the ACM on Programming Languages10.1145/31580892:POPL(1-30)Online publication date: 27-Dec-2017
  • (2014)Bidirectional spreadsheet formulas2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VLHCC.2014.6883041(161-168)Online publication date: Jul-2014
  • (2013)An expressive bidirectional transformation language for XQuery view updateProgress in Informatics10.2201/NiiPi.2013.10.6(89)Online publication date: Mar-2013
  • (2012)Linguistic foundations for bidirectional transformationsProceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems10.1145/2213556.2213568(61-64)Online publication date: 21-May-2012
  • (2012)Relations as executable specificationsProceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science10.1007/978-3-642-33314-9_10(146-161)Online publication date: 17-Sep-2012
  • (2012)MultifocalProceedings of the 5th international conference on Theory and Practice of Model Transformations10.1007/978-3-642-30476-7_6(89-104)Online publication date: 28-May-2012
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media