研究課題
基盤研究(C)
スキーマ進化を記述する言語が、データベースの問い合わせ言語が有する特徴である「関係完備」を有することから、「データベースのスキーマ共存問題」の難しさが本質的には「データベースビュー更新問題」の難しさと同じであることがわかった。データベースのビュー更新問題は、データベースの研究分野の古典的な問題であったが、研究代表者はこの問題に対して、これまでにない言語的なアプローチで取り組み、ビュー更新戦略を記述する言語を提案しビュー更新を自動的に検証することによりこの問題の解決策を与えた。本研究では、この解決手法の要素技術を用いてデータの共有（伝播）戦略が定義可能であることを示し、その解決策を与える。
