柔軟なスキーマ共存戦略を有するデータベース管理システムのソフトウェア基盤技術

Research Project

Project/Area Number	24K14909
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Multi-year Fund
Section	一般
Review Section	Basic Section 60050:Software-related
Research Institution	National Institute of Informatics
Principal Investigator	加藤弘之国立情報学研究所, アーキテクチャ科学研究系, 助教 (10321580)
Project Period (FY)	2024-04-01 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000) Fiscal Year 2026: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000) Fiscal Year 2025: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000) Fiscal Year 2024: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywords	ビュー更新問題 / 双方向変換
Outline of Research at the Start	スキーマ進化を記述する言語が、データベースの問い合わせ言語が有する特徴である「関係完備」を有することから、「データベースのスキーマ共存問題」の難しさが本質的には「データベースビュー更新問題」の難しさと同じであることがわかった。データベースのビュー更新問題は、データベースの研究分野の古典的な問題であったが、研究代表者はこの問題に対して、これまでにない言語的なアプローチで取り組み、ビュー更新戦略を記述する言語を提案しビュー更新を自動的に検証することによりこの問題の解決策を与えた。本研究では、この解決手法の要素技術を用いてデータの共有（伝播）戦略が定義可能であることを示し、その解決策を与える。