Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/593
Title: XML with data values: typechecking revisited
Authors: Alon, Noga
Milo, Tova
NEVEN, Frank 
Issue Date: 2003
Publisher: Elsevier
Source: Journal of Computer and System Sciences, 66(4). p. 688-727
Abstract: 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 framework that captured the structure of XML documents but ignored data values. We revisit here the typechecking problem in the more realistic case when data values are present in documents and tested by queries. In this extended framework, typechecking 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 typechecking with data values. The complexity of typechecking in the decidable cases is also considered.
Document URI: http://hdl.handle.net/1942/593
ISSN: 0022-0000
e-ISSN: 1090-2724
DOI: 10.1016/S0022-0000(03)00032-1
ISI #: 000183896800005
Category: A1
Type: Journal Contribution
Validations: ecoom 2004
Appears in Collections:Research publications

Show full item record

SCOPUSTM   
Citations

38
checked on Sep 2, 2020

WEB OF SCIENCETM
Citations

29
checked on May 21, 2022

Page view(s)

64
checked on May 26, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.