Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/947
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | MARTENS, Wim | - |
dc.contributor.author | NEVEN, Frank | - |
dc.date.accessioned | 2006-05-11T10:40:58Z | - |
dc.date.available | 2006-05-11T10:40:58Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | THEORETICAL COMPUTER SCIENCE, 336(1). p. 153-180 | - |
dc.identifier.issn | 0304-3975 | - |
dc.identifier.uri | http://hdl.handle.net/1942/947 | - |
dc.description.abstract | We investigate the typechecking problem for XML transformations: statically verifying that every answer to a transformation conforms to a given output schema, for inputs satisfying a given input schema. As typechecking quickly turns undecidable for query languages capable of testing equality of data values, we return to the limited framework where we abstract XML documents as labeled ordered trees. We focus on simple top-down recursive transformations motivated by XSLT and structural recursion on trees. We parameterize the problem by several restrictions on the transformations (deleting, non-deleting, bounded width) and consider both tree automata and DTDs as input and output schemas. The complexity of the typechecking problems in this scenario ranges from PTIME | - |
dc.language.iso | en | - |
dc.publisher | Elsevier | - |
dc.title | On the complexity of typechecking top-down XML transformations. | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 180 | - |
dc.identifier.issue | 1 | - |
dc.identifier.spage | 153 | - |
dc.identifier.volume | 336 | - |
local.bibliographicCitation.jcat | A1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1016/j.tcs.2004.10.035 | - |
dc.identifier.isi | 000229422600007 | - |
item.fullcitation | MARTENS, Wim & NEVEN, Frank (2005) On the complexity of typechecking top-down XML transformations.. In: THEORETICAL COMPUTER SCIENCE, 336(1). p. 153-180. | - |
item.contributor | MARTENS, Wim | - |
item.contributor | NEVEN, Frank | - |
item.validation | ecoom 2006 | - |
item.accessRights | Closed Access | - |
item.fulltext | No Fulltext | - |
crisitem.journal.issn | 0304-3975 | - |
crisitem.journal.eissn | 1879-2294 | - |
Appears in Collections: | Research publications |
SCOPUSTM
Citations
30
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
28
checked on Sep 26, 2024
Page view(s)
72
checked on Jul 31, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.