- 著者
-
森本 卓爾
橋本 健二
石原 靖哲
藤原 融
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告データベースシステム(DBS) (ISSN:09196072)
- 巻号頁・発行日
- vol.2007, no.65, pp.109-114, 2007-07-02
本稿では XPath 部分クラスの問い合わせを、木埋め込み関係に基づいた XML スキーマ進化に応じて正しく変換する手法を提案する。正しい変換とは、進化前スキーマに従う XML 文書に対する問い合わせ結果と、進化後スキーマに従うように変換した任意の XML 文書に対する問い合わせ結果が等しい変換を言う。提案した手法が正しい変換を行っていることを証明する。A method is proposed for translating queries in a subclass of XPath according to XML schema evolution based on the tree-embedding relation. A query translation is said to be correct if the result of every query to an XML document valid against the schema before evolution is equal to the result of the translated query to the XML document valid against the schema after evolution. Correctness of that the translation method is correct is proved.