論文

査読有り
2013年

An Expressive Bidirectional Transformation Language for XQuery View Update

Progress in Informatics
  • Dongxi Liu
  • ,
  • Zhenjiang Hu
  • ,
  • Masato Takeichi

10
10
開始ページ
89
終了ページ
129
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.2201/NiiPi.2013.10.6
出版者・発行元
国立情報学研究所

This paper presents an expressive bidirectional XML transformation language and uses it to address the problem of updating XML data through materialized XQuery views. The transformations of this bidirectional language can be executed in two directions: in the forward direction, they generate materialized views from XML source, while in the backward direction, they update the source by reflecting back the updates on views. When XQuery is interpreted with this bidirectional language, it can query XML in its forward execution, and update XML source after its backward execution.We propose the extended round-tripping property for characterizing the good behavior of bidirectional transformations. This property is more flexible for an expressive bidirectional transformation language. The difficulties of updating view insertions are analyzed with detailed examples, and the type information is novelly used to guide backward transformation when views include insertions. A type system with recursive regular expression types for XML is designed for this bidirectional language. Well-typed programs preserve the source type after backward executions. A prototype of our approach is implemented and tested on a number of XQuery use cases.

リンク情報
DOI
https://doi.org/10.2201/NiiPi.2013.10.6
CiNii Articles
http://ci.nii.ac.jp/naid/110010059870
CiNii Books
http://ci.nii.ac.jp/ncid/AA12018938
URL
http://id.ndl.go.jp/bib/025143513
URL
https://www.nii.ac.jp/pi/n10/10_89
URL
https://www.nii.ac.jp/pi/n10/10_89.pdf
ID情報
  • DOI : 10.2201/NiiPi.2013.10.6
  • ISSN : 1349-8614
  • CiNii Articles ID : 110010059870
  • CiNii Books ID : AA12018938

エクスポート
BibTeX RIS