Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/608
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | MARTENS, Wim | - |
dc.contributor.author | NEVEN, Frank | - |
dc.date.accessioned | 2005-03-03T13:55:11Z | - |
dc.date.available | 2005-03-03T13:55:11Z | - |
dc.date.issued | 2004 | - |
dc.identifier.citation | Proceedings of the 23th ACM SIGMOD-SIGACT-SIGART. Symposium on Principles of Database Systems. | - |
dc.identifier.isbn | 158113858X | - |
dc.identifier.uri | http://hdl.handle.net/1942/608 | - |
dc.description.abstract | Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output for documents satisfying a given input type. We focus on complete algorithms which always produce the correct answer. We consider top-down XML transformations incorporating XPath expressions and abstract document types by grammars and tree automata. By restricting schema languages and transformations, we identify several practical settings for which typechecking is in polynomial time. Moreover, the resulting framework provides a rather complete picture as we show that most scenarios can not be enlarged without rendering the typechecking problem intactable. So, the present research sheds light on when to use fast complete algorithms and when to reside to sound but incomplete ones. | - |
dc.format.extent | 274510 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | ACM | - |
dc.title | Frontiers of Tractability for Typechecking Simple XML Transformations. | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.conferencedate | June 14-16 | - |
local.bibliographicCitation.conferencename | Proceedings of the 23th ACM SIGMOD-SIGACT-SIGART. Symposium on Principles of Database Systems | - |
local.bibliographicCitation.conferenceplace | Paris, France | - |
local.bibliographicCitation.jcat | C1 | - |
local.type.specified | Proceedings Paper | - |
dc.bibliographicCitation.oldjcat | C2 | - |
dc.identifier.url | http://doi.acm.org/10.1145/1055558.1055563 | - |
local.bibliographicCitation.btitle | Proceedings of the 23th ACM SIGMOD-SIGACT-SIGART. Symposium on Principles of Database Systems | - |
item.fulltext | With Fulltext | - |
item.contributor | MARTENS, Wim | - |
item.contributor | NEVEN, Frank | - |
item.accessRights | Open Access | - |
item.fullcitation | MARTENS, Wim & NEVEN, Frank (2004) Frontiers of Tractability for Typechecking Simple XML Transformations.. In: Proceedings of the 23th ACM SIGMOD-SIGACT-SIGART. Symposium on Principles of Database Systems.. | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
34 P-03.pdf | 268.08 kB | Adobe PDF | View/Open |
Page view(s)
114
checked on Nov 7, 2023
Download(s)
258
checked on Nov 7, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.