木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法

摘要

XMLスキーマの進化が木の埋め込み関係に基づくスキーマ更新操作列により表されているときに，既存の文書を新しいスキーマに従うように変換するための文書変換器の生成法を示す．まず文書変換器がもつべき能力を検討し，それら必要な能力をもつ非決定性木変換器のクラスを定義する．その上でスキーマ更新操作列から木変換器を生成するアルゴリズムを示す．さらに，この枠組みにおいて文書の変換が一般に非決定性になる要因を明らかにする．