研究成果の概要 |
本研究では,スキーマ更新に応じてXSLTスタイルシートを修正する問題について考察した.XSLTスタイルシートのサブセットとして,UTT, UTTpat, UTTpat,sel という3つの木変換機のクラスを定義した.まず,UTTpat と UTTpat,sel に対して,本問題はNP困難であることを示した.次に,UTTに対して,スキーマ更新により影響を受けるXSLTスタイルシートの規則を求める多項式時間アルゴリズムを作成し,これを用いて本問題を解くためのアルゴリズムを開発した.本アルゴリズムをJavaで実装して評価実験を行い,本アルゴリズムの有効性を確認した.
|