Presentation | 2012-03-14 Decidability of Query Preservation for Deterministic Linear Top-Down Tree Transducers Ryuta SAWADA, Kenji HASHIMOTO, Yasunori ISHIHARA, Toru FUJIWARA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | When updating an XML schema, it is desirable that the new schema preserve the expressive power of the old one. The query preservation of an XML transformation between the old and new schemas is one of the formalizations of expressive power preservation. It means that, given a query to the old schema, there is some new query such that the answer to the given query for any old document coincides with the answer to the new query for the new document obtained by the transformation. This paper shows that a variant of the query preservation is decidable when transformations and queries are given by deterministic linear top-down tree transducers with regular look-ahead. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | XML / query preservation / decidability |
Paper # | SS2011-75 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2012/3/6(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Decidability of Query Preservation for Deterministic Linear Top-Down Tree Transducers |
Sub Title (in English) | |
Keyword(1) | XML |
Keyword(2) | query preservation |
Keyword(3) | decidability |
1st Author's Name | Ryuta SAWADA |
1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
2nd Author's Name | Kenji HASHIMOTO |
2nd Author's Affiliation | Graduate School of Information Science, Nara Institute of Science and Technology |
3rd Author's Name | Yasunori ISHIHARA |
3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
4th Author's Name | Toru FUJIWARA |
4th Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
Date | 2012-03-14 |
Paper # | SS2011-75 |
Volume (vol) | vol.111 |
Number (no) | 481 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |