Article

XML with data values: typechecking revisited

Authors:

Victor VianuAuthors Info & Claims

PODS '01: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

May 2001

Pages 138 - 149

https://doi.org/10.1145/375551.375570

Published: 01 May 2001 Publication History

Abstract

We investigate the type checking problem for XML queries: statically verifying that every answer to a query conforms to a given output DTD, for inputs satisfying a given input DTD. This problem had been studied by a subset of the authors in a simplified framework that captured the structure of XML documents but ignored data values. We revisit here the type checking problem in the more realistic case when data values are present in documents and tested by queries. In this extended framework, type checking quickly becomes undecidable. However, it remains decidable for large classes of queries and DTDs of practical interest. The main contribution of the present paper is to trace a fairly tight boundary of decidability for type checking with data values. The complexity of type checking in the decidable cases is also considered.

References

[1]

D. Beech, S. Lawrence, M. Maloney, N. Mendelsohn, and H. Thompson. XML schema part 1: Structures. May 1999. http://www.w3.org/TR/xmlschema-1/.

[2]

P. Biron and A. Malhotra. XML schema part 2: Datatypes. May 1999. http://www.w3.org/TR/xmlschema-2/.

[3]

A. Bruggemann-Klein, M. Murata, and D. Wood. Regular tree languages over non-ranked alphabets. Unpublished Manuscript, 1998.

[4]

J. R. B. uchi. Weak second-order arithmetic and finite automata. Z. Math. Logik Grundl. Math., vol. 6, pp. 66-92, 1960.

[5]

A. K. Chandra and M. Y. Vardi. The implication problem for functional and inclusion dependencies is undecidable. SIAM J. on Computing, 14(3):671-677, 1985.

Digital Library

[6]

D. Chamberlin, J. Robie, and D. Florescu Quilt: An XML Query Language for Heterogeneous Data Sources. WebDB 2000, (Informal Proceedings).

Digital Library

[7]

V. Christophides, S. Cluet and J. Simeon. On Wrapping Query Languages and Efficient XML Integration. In Proc. ACM SIGMOD, pp. 141-152, 2000

Digital Library

[8]

J. Clark. XML path language (XPath), 1999. http://www.w3.org/TR/xpath.

[9]

J. Clark. XSL transformations (XSLT) specification, 1999. http://www.w3.org/TR/WD-xslt.

[10]

S. Cluet, C. Delobel, J. Simeon and K. Smaga. Your mediators need data conversion! In Proc. ACM SIGMOD, pp. 177-188, 1998.

Digital Library

[11]

A. Deutsch, M. Fernandez, D. Florescu, A. Levy, and D. Suciu. A query language for XML. In Proc. WWW8, Toronto, 1999.

Digital Library

[12]

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, Second Edition, 1999.

[13]

M.R.Garey and D.S.Johnson. Computers and Intractibilitiy: A Guide to the Theory of NP-Completeness. Freeman, San Francisco, 1979.

Digital Library

[14]

R.L. Graham, B.L. Rothschild and J. H. Spencer, Ramsey Theory (Second Edition). Wiley, New York, 1990.

Digital Library

[15]

H. Hosoya and B. C. Pierce. XDuce: An XML Processing Language. WebDB'2000 (Informal Proceedings).

[16]

H. Hosoya and B. C. Pierce. Regular Expression Pattern Matching for XML. In Proc. ACM POPL, 2001.

Digital Library

[17]

R. Milner, M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, 1990.

Digital Library

[18]

T. Milo and D. Suciu. Type Inference for Queries on Semistructured Data. In Proc. ACM PODS, pp. 215-226, 1999.

Digital Library

[19]

T.Milo, D. Suciu, and V. Vianu. Typechecking for XML Transformers. In Proc. ACM PODS, pp. 11-22, 2000.

Digital Library

[20]

J. C. Mitchell. The implication problem for functional and inclusion dependencies. Information and Control, 56(3):154-173, 1983.

Digital Library

[21]

F. Neven and T. Schwentick. XML Schemas without Order. Unpublished manuscript, 1999.

[22]

Y. Papakonstantinou and V. Vianu. DTD inference for views of XML data. In Proc. ACM PODS, pp. 35-46, 2000.

Digital Library

[23]

F. P. Ramsey, On a problem of formal logic. Proceedings of the London Mathematical Society, 30(2):264-286, 1929.

[24]

J. Robie. The design of XQL, 1999. http://www.texcel.no/whitepapers/xql-design.html.

[25]

R. van der Meyden. The complexity of querying infinite data about linearly ordered domains. JCSS, 54(1):113-135, 1997.

Digital Library

[26]

W. Thomas. Languages, automata, and logic. In Handbook of Formal Languages, eds. G. Rozenberg and A. Salomaa, vol.3, ch.7, Springer, 1997.

Digital Library

Cited By

Castagna GIm HNguyễn KBenzaken V(2015)A Core Calculus for XQuery 3.0Programming Languages and Systems10.1007/978-3-662-46669-8_10(232-256)Online publication date: 2015
https://doi.org/10.1007/978-3-662-46669-8_10
Benzaken VCastagna GNguyen KSiméon J(2013)Static and dynamic semantics of NoSQL languagesACM SIGPLAN Notices10.1145/2480359.242908348:1(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2480359.2429083
Benzaken VCastagna GNguyen KSiméon JGiacobazzi RCousot R(2013)Static and dynamic semantics of NoSQL languagesProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2429069.2429083(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2429069.2429083
Show More Cited By

Index Terms

XML with data values: typechecking revisited
1. Information systems
  1. Data management systems
    1. Database design and models
    2. Query languages
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)

Recommendations

XML with data values: typechecking revisited
Special issu on PODS 2001

We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output DTD, for inputs satisfying a given input DTD. This problem had been studied by a subset of the authors in a simplified ...
Read More
Exchanging intensional XML data
SIGMOD '03: Proceedings of the 2003 ACM SIGMOD international conference on Management of data

XML is becoming the universal format for data exchange between applications. Recently, the emergence of Web services as standard means of publishing and accessing data on the Web introduced a new class of XML documents, which we call intensional ...
Read More
XML: Visual QuickStart Guide
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PODS '01: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

May 2001

301 pages

ISBN:1581133618

DOI:10.1145/375551

Chairman:
Peter Buneman
Univ. of Pennsylvania

Copyright © 2001 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

SIGMOD: ACM Special Interest Group on Management of Data

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS01

Sponsor:

SIGMOD

SIGMOD/PODS01: ACM SIGMOD International Conference on Management of Data

California, Santa Barbara, USA

Acceptance Rates

PODS '01 Paper Acceptance Rate 26 of 99 submissions, 26%;

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
303
Total Downloads

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

Other Metrics

View Author Metrics

Citations

Cited By

Castagna GIm HNguyễn KBenzaken V(2015)A Core Calculus for XQuery 3.0Programming Languages and Systems10.1007/978-3-662-46669-8_10(232-256)Online publication date: 2015
https://doi.org/10.1007/978-3-662-46669-8_10
Benzaken VCastagna GNguyen KSiméon J(2013)Static and dynamic semantics of NoSQL languagesACM SIGPLAN Notices10.1145/2480359.242908348:1(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2480359.2429083
Benzaken VCastagna GNguyen KSiméon JGiacobazzi RCousot R(2013)Static and dynamic semantics of NoSQL languagesProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2429069.2429083(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2429069.2429083
Hosoya HFrisch ACastagna G(2009)Parametric polymorphism for XMLACM Transactions on Programming Languages and Systems10.1145/1596527.159652932:1(1-56)Online publication date: 4-Nov-2009
https://dl.acm.org/doi/10.1145/1596527.1596529
Abiteboul SSegoufin LVianu VKolaitis PLenzerini M(2008)Static analysis of active XML systemsProceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems10.1145/1376916.1376948(221-230)Online publication date: 9-Jun-2008
https://dl.acm.org/doi/10.1145/1376916.1376948
Frisch AHosoya H(2007)Towards practical typechecking for macro tree transducersProceedings of the 11th international conference on Database programming languages10.5555/1783534.1783558(246-260)Online publication date: 23-Sep-2007
https://dl.acm.org/doi/10.5555/1783534.1783558
Davidson SFan WHara C(2007)Propagating XML constraints to relationsJournal of Computer and System Sciences10.1016/j.jcss.2006.10.02273:3(316-361)Online publication date: May-2007
https://doi.org/10.1016/j.jcss.2006.10.022
Frisch AHosoya H(2007)Towards Practical Typechecking for Macro Tree TransducersDatabase Programming Languages10.1007/978-3-540-75987-4_17(246-260)Online publication date: 2007
https://doi.org/10.1007/978-3-540-75987-4_17
Bohannon PFan WFlaster MNarayan PBratbergsengen K(2005)Information preserving XML schema embeddingProceedings of the 31st international conference on Very large data bases10.5555/1083592.1083606(85-96)Online publication date: 30-Aug-2005
https://dl.acm.org/doi/10.5555/1083592.1083606
Liu YYang DTang SWang TGao J(2005)Validating key constraints over XML document using XPath and structure checkingFuture Generation Computer Systems10.1016/j.future.2004.12.00121:4(583-595)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1016/j.future.2004.12.001
Show More Cited By

View Options

Get Access

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