更新を対象としたデータ相互運用問題のソフトウェア基盤技術

用于更新的数据互操作性问题的软件基础设施技术

基本信息

批准号：
21H03419
负责人：
加藤弘之
金额：
$ 8.74万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2024-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21H03419/
关键词：
データ相互運用問題ビュー更新問題双方向変換データログ

项目摘要

本研究の目的は、近年その有効性が示されているP2Pアプローチによる「データ相互運用問題」において、各ピアの自律性を維持しながら、更新を考慮したソフトウェア基盤技術を開発することである。更新を対象とすることで、複数ピアによる協調データ科学などの応用範囲が広がる一方で、(1)更新伝播による副作用と(2)互いに矛盾するデータの管理が問題となることが知られている。(1)の問題は「ビュー更新問題」に帰着できるので、研究代表者の最近の成果である「ビュー更新問題の解決法」を適用することで解決する。また(2)の問題に対しては「ビュー更新問題の解決法」の合成を用いて解決にあたる。本年度の成果は、当初の研究計画に従い(1)更新伝播による副作用の問題について以下の取り組みを行なった。まず、これまでの成果である「ビュー更新問題の解決法」は、更新された結果の状態に基づいたものであったが、これをデータに対する更新操作に基づくものへと拡張を行なった。具体的には、これまでの成果である、有効性が確認された「状態に基づく解決手法」は論理型言語Datalogで記述されているが、これを仕様としてそこから「更新操作に基づく」Datalog式への正しい導出手法を開発した。更に、データベースに対する更新操作はSQLを用いてなされるので、SQLのINSERT文, DELETE文, UPDATE文をdelta-Datalog式に正しく変換する手法を開発した。

这项研究的目的是开发软件基础架构技术，该技术使用P2P方法在“数据互操作性问题”中维持每个同伴的自主权时考虑了更新，该方法最近已被证明是有效的。在定位更新会扩大多个同行的应用程序（例如协作数据科学）等应用程序范围时，众所周知，（1）更新传播的副作用以及（2）彼此不一致的数据的管理。问题（1）可以简化为“查看更新问题”，并且可以通过应用“解决视图更新问题”来解决，这是首席研究员的最新成就。此外，使用“对视图更新问题解决方案”的综合解决了问题（2）。今年的结果符合原始研究计划（1），以解决由续签传输引起的副作用问题，如下所示：首先，先前的成就“解决视图更新问题”是基于更新结果的状态，但这已扩展到基于数据更新操作。具体而言，先前的结果，“基于状态的解决方案方法”已被确认为有效，在逻辑语言数据编中描述，并基于此作为规范，我们为“基于更新操作”开发了一种正确的数据词表达式推导方法。此外，由于使用SQL执行了数据库上的更新操作，因此我们开发了一种将SQL插入，删除和更新语句正确转换为Delta-Datalog表达式的方法。