XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質

摘要

スキーマ進化においては，もとのスキーマに従う文書の情報を，新たなスキーマに従う文書により表現できることが重要である．また，スキーマ進化後には，もとのスキーマに従う文書を新しいスキーマに従うように変換する作業が必要となり，そのためにスキーマがどのように変更されたかに関する情報が必要である．そこで，本論文では，まず“スキーマ表現能力保存”についての一つの定式化を与える．具体的には，XML文書に新たな要素を追加して得られる文書はもとの文書の情報を保存すると定義する．そして，スキーマG_1の表現能力をG_2が保存するということを，G_1に従う各文書に対して，上の意味で情報を保存するような，G_2に従う文書が存在することと定義する．次にスキーマがどのように変更されたかを表す道具立てとして，更新能力が異なる2種類のスキーマ更新操作群A,Bを提案する．これらの操作群は表現能力保存に関する健全性と完全性を満たしていることが望まれる．そのため，本論文では，表現能力保存に関する各更新操作群の健全性と完全性について検討する．また，表現能力保存の定義に高さ制約という制約を与えた場合についても同様の検討を行う．