Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/619
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Alon, Noga | - |
dc.contributor.author | Milo, Tova | - |
dc.contributor.author | NEVEN, Frank | - |
dc.contributor.author | Suciu, Dan | - |
dc.contributor.author | Vianu, Victor | - |
dc.date.accessioned | 2005-03-09T13:51:07Z | - |
dc.date.available | 2005-03-09T13:51:07Z | - |
dc.date.issued | 2001 | - |
dc.identifier.citation | 20th Symposium on Principles of Database Systems. | - |
dc.identifier.uri | http://hdl.handle.net/1942/619 | - |
dc.description.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. | - |
dc.format.extent | 249801 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.title | XML with Data Values: Typechecking Revisited | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.conferencedate | MAY 21-24, 2001 | - |
local.bibliographicCitation.conferencename | 20th Symposium on Principles of Database Systems | - |
local.bibliographicCitation.conferenceplace | SANTA BARBARA CALIFORNIA | - |
local.bibliographicCitation.jcat | C2 | - |
local.type.specified | Proceedings Paper | - |
dc.bibliographicCitation.oldjcat | C1 | - |
local.bibliographicCitation.btitle | 20th Symposium on Principles of Database Systems | - |
item.fullcitation | Alon, Noga; Milo, Tova; NEVEN, Frank; Suciu, Dan & Vianu, Victor (2001) XML with Data Values: Typechecking Revisited. In: 20th Symposium on Principles of Database Systems.. | - |
item.contributor | Alon, Noga | - |
item.contributor | Milo, Tova | - |
item.contributor | NEVEN, Frank | - |
item.contributor | Suciu, Dan | - |
item.contributor | Vianu, Victor | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
16 p29.pdf | 243.95 kB | Adobe PDF | View/Open |
Page view(s)
84
checked on Oct 30, 2023
Download(s)
168
checked on Oct 30, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.