research-article

Identifying query incompatibilities with evolving XML schemas

Authors:

Pierre Genevès,

Nabil Layaïda,

Vincent QuintAuthors Info & Claims

ACM SIGPLAN Notices, Volume 44, Issue 9

Pages 221 - 230

https://doi.org/10.1145/1631687.1596583

Published: 31 August 2009 Publication History

Abstract

During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validity of produced data. Nowadays, a challenge is to assess and accommodate the impact of these changes in evolving XML applications. Such questions arise naturally in XML static analyzers. These analyzers often rely on decision procedures such as inclusion between XML schemas, query containment and satisfiability. However, existing decision procedures cannot be used directly in this context. The reason is that they are unable to distinguish information related to the evolution from information corresponding to bugs. This paper proposes a predicate language within a logical framework that can be used to make this distinction.

We present a system for monitoring the effect of schema evolutions on the set of admissible documents and on the results of queries. The system is very powerful in analyzing various scenarios where the result of a query may not be anymore what was expected. Specifically, the system is based on a set of predicates which allow a fine-grained analysis for a wide range of forward and backward compatibility issues. Moreover, the system can produce counterexamples and witness documents which are useful for debugging purposes. The current implementation has been tested with realistic use cases, where it allows identifying queries that must be reformulated in order to produce the expected results across successive schema versions.

Supplementary Material

JPG File (identifyingqueryincompatibilitieswithevolvingxmlschemasonvimeo.jpg)

Download
12.37 KB

MP4 File (identifyingqueryincompatibilitieswithevolvingxmlschemasonvimeo.mp4)

Download
123.40 MB

References

[1]

Michael Benedikt and Christoph Koch. XPath leashed. submitted, 2006.

[2]

Michael Benedikt, Wenfei Fan, and Floris Geerts. XPath satisfiability in the presence of DTDs. In PODS '05, pages 25--36. ACM Press, 2005. ISBN 1-59593-062-0. http://doi.acm.org/10.1145/1065167.1065172.

Digital Library

[3]

Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: An XML-centric general-purpose language. In ICFP '03: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pages 51--63, New York, NY, USA, 2003. ACM Press. ISBN 1-58113-756-7.

Digital Library

[4]

an, Saiprasad, and der Linden}beyer-sigmod05Kevin Beyer, Fatma Özcan, Sundar Saiprasad, and Bert Van der Linden. DB2/XML: designing for evolution. In SIGMOD '05, pages 948--952. ACM, 2005. ISBN 1-59593-060-4. http://doi.acm.org/10.1145/1066157.1066299.

Digital Library

[5]

Giuseppe Castagna and Kim Nguyen. Typed iterators for XML. In ICFP, pages 15--26, 2008.

Digital Library

[6]

James Clark and Steve DeRose. XML path language (XPath) version 1.0, W3C recommendation, November 1999. http://www.w3.org/TR/ 1999/REC-xpath-19991116.

[7]

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Types for path correctness of XML queries. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pages 126--137, New York, NY, USA, 2004. ACM Press. ISBN 1-58113-905-5.

Digital Library

[8]

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Static analysis for path correctness of XML queries. J. Funct. Program., 16 (4-5): 621--661, 2006. ISSN 0956-7968.

Digital Library

[9]

Vladimir Gapeyev, François Garillot, and Benjamin C. Pierce. Statically typed document transformation: An Xtatic experience. In PLAN-X 2006: Proceedings of the International Workshop on Programming Language Technologies for XML, volume NS-05-6 of BRICS Notes Series, pages 2--13, Aarhus, Denmark, January 2006. BRICS.

[10]

Pierre Genevès. Logics for XML. PhD thesis, Institut National Polytechnique de Grenoble, December 2006. http://www.pierresoft.com/pierre.geneves/phd.htm.

[11]

Pierre Genevès and Nabil Layaïda. The XML reasoning solver project, February 2009. http://wam.inrialpes.fr/xml.

[12]

Pierre Genevès, Nabil Layaïda, and Alan Schmitt. Efficient static analysis of XML paths and types. In PLDI '07, pages 342--351. ACM Press, 2007. ISBN 978-1-59593-633-2. http://doi.acm.org/10.1145/1250734.1250773.

Digital Library

[13]

Pierre Genevès, Nabil Layaïda, and Alan Schmitt. Efficient static analysis of XML paths and types. Long version of Geneves Et. Al. 07, Research Report 6590, INRIA, July 2008. URL http://hal.inria.fr/inria-00305302/en/.

[14]

Haruo Hosoya and Benjamin C. Pierce. XDuce: A statically typed XML processing language. ACM Trans. Inter. Tech., 3 (2): 117--148, 2003. ISSN 1533-5399.

Digital Library

[15]

Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. phACM TOPLAS, 27 (1): 46--90, 2005. ISSN 0164-0925. http://doi.acm.org/10.1145/1053468.1053470.

Digital Library

[16]

Anders Møller and Michael I. Schwartzbach. The design space of type checkers for XML transformation languages. In Proc. Tenth International Conference on Database Theory, ICDT '05, volume 3363 of LNCS, pages 17--36, London, UK, January 2005. Springer-Verlag.

Digital Library

[17]

Hyun J. Moon, Carlo A. Curino, Alin Deutsch, and Chien-Yi Hou. Managing and querying transaction-time databases under schema evolution. In VLDB '08, pages 882--895. VLDB Endowment, 2008.

Digital Library

[18]

Mirella M. Moro, Susan Malaika, and Lipyeow Lim. Preserving xml queries during schema evolution. In WWW '07, pages 1341--1342. ACM, 2007. ISBN 978-1-59593-654-7. http://doi.acm.org/10.1145/1242572.1242841.

Digital Library

[19]

Makoto Murata, Dongwon Lee, Murali Mani, and Kohsuke Kawaguchi. Taxonomy of XML schema languages using formal language theory. ACM TOIT, 5 (4): 660--704, 2005. ISSN 1533-5399. http://doi.acm.org/10.1145/1111627.1111631.

Digital Library

[20]

Emmanuel Pietriga. MathML content2presentation transformation, May 2005. http://www.lri.fr/pietriga/mathmlc2p/mathmlc2p.html.

[21]

Kristoffer H. Rose. The XML world view. In DocEng '04: Proceedings of the 2004 ACM symposium on Document engineering, pages 34--34, New York, NY, USA, 2004. ACM. ISBN 1-58113-938-1. http://doi.acm.org/10.1145/1030397.1030403. URL http://www.research.ibm.com/XML/Rose--DocEng2004.pdf.

Digital Library

[22]

Eric Sedlar. Managing structure in bits&pieces: the killer use case for XML. In SIGMOD '05, pages 818--821. ACM, 2005. ISBN 1-59593-060-4. http://doi.acm.org/10.1145/1066157.1066256.

Digital Library

[23]

Philip Wadler. Two semantics for XPath. Internal Technical Note of the W3C XSL Working Group, http://homepages.inf.ed.ac.uk/wadler/papers/xpath-semantics/xpath-semantics.%pdf, January 2000.

[24]

Cong Yu and Lucian Popa. Semantic adaptation of schema mappings when schemas evolve. In VLDB '05, pages 1006--1017. VLDB Endowment, 2005. ISBN 1-59593-154-6.

Digital Library

Cited By

Wu YSuzuki NVanoirbeek CGenevès P(2015)Detecting XSLT Rules Affected by Schema EvolutionProceedings of the 2015 ACM Symposium on Document Engineering10.1145/2682571.2797086(143-146)Online publication date: 8-Sep-2015
https://dl.acm.org/doi/10.1145/2682571.2797086
Chabin JHalfeld Ferrari MMusicante MRéty P(2013)Conservative type extensions for XML dataTransactions on Large-Scale Data- and Knowledge-centered systems IX10.5555/2554635.2554639(65-94)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554635.2554639
Chabin JHalfeld Ferrari MMusicante MRéty P(2013)Conservative Type Extensions for XML DataTransactions on Large-Scale Data- and Knowledge-Centered Systems IX10.1007/978-3-642-40069-8_4(65-94)Online publication date: 2013
https://doi.org/10.1007/978-3-642-40069-8_4
Show More Cited By

Index Terms

Identifying query incompatibilities with evolving XML schemas

Recommendations

Identifying query incompatibilities with evolving XML schemas
ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming

During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validity of produced data. Nowadays, a challenge is to assess and accommodate ...
An XML Schema integration and query mechanism system

The availability of large amounts of heterogeneous distributed web data necessitates the integration of XML data from multiple XML sources for many reasons. For example, currently, there are many e-commerce companies, which offer similar products but ...
XML Processing and Data Integration with XQuery

Most Web applications exchange data as XML, but they create and process this data with languages that don't have native support for XML. With appropriate middleware, XQuery can dramatically simplify this process, treating all data sources as though they ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 44, Issue 9

ICFP '09

September 2009

343 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1631687

Issue’s Table of Contents

ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
August 2009
364 pages
ISBN:9781605583327
DOI:10.1145/1596550
General Chair:
Graham Hutton
University of Nottingham
,
Program Chair:
Andrew Tolmach
Portland State University

Copyright © 2009 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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 August 2009

Published in SIGPLAN Volume 44, Issue 9

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
282
Total Downloads

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

Reflects downloads up to 11 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wu YSuzuki NVanoirbeek CGenevès P(2015)Detecting XSLT Rules Affected by Schema EvolutionProceedings of the 2015 ACM Symposium on Document Engineering10.1145/2682571.2797086(143-146)Online publication date: 8-Sep-2015
https://dl.acm.org/doi/10.1145/2682571.2797086
Chabin JHalfeld Ferrari MMusicante MRéty P(2013)Conservative type extensions for XML dataTransactions on Large-Scale Data- and Knowledge-centered systems IX10.5555/2554635.2554639(65-94)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554635.2554639
Chabin JHalfeld Ferrari MMusicante MRéty P(2013)Conservative Type Extensions for XML DataTransactions on Large-Scale Data- and Knowledge-Centered Systems IX10.1007/978-3-642-40069-8_4(65-94)Online publication date: 2013
https://doi.org/10.1007/978-3-642-40069-8_4
Gesbert NGenevès PLayaïda N(2015)A Logical Approach to Deciding Semantic SubtypingACM Transactions on Programming Languages and Systems10.1145/281280538:1(1-31)Online publication date: 16-Oct-2015
https://dl.acm.org/doi/10.1145/2812805
Genevès PLayaïda N(2014)Equipping IDEs with XML-Path Reasoning CapabilitiesACM Transactions on Internet Technology (TOIT)10.1145/260257313:4(1-20)Online publication date: 1-Jul-2014
https://dl.acm.org/doi/10.1145/2602573
Nečaský MKlímek JMalý JHolubová IWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Methodology for Design and Evolution of XML Schemas using Conceptual ModelingProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539189(508-517)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539189
Polák MNečaský M(Mlýnková) IWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)DaemonXProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539159(484-493)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539159
Genevès PLayaïda NQuint V(2011)Impact of XML Schema EvolutionACM Transactions on Internet Technology10.1145/1993083.199308711:1(1-27)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1145/1993083.1993087
Geneves PLayaida N(2010)XML reasoning made practical2010 IEEE 26th International Conference on Data Engineering (ICDE 2010)10.1109/ICDE.2010.5447786(1169-1172)Online publication date: Mar-2010
https://doi.org/10.1109/ICDE.2010.5447786

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.

Figures

Tables

Media

View Issue’s Table of Contents