Towards a computational frame work on ranked trust policies in data interoperability problems used in XQuery
| Project/Area Number |
18K11252
|
|---|
| 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) |
2018-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2020: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2019: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2018: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | データベース / 問合せ言語 / provenance / XQuery / ビュー更新問題 / Provenance |
|---|
| Outline of Annual Research Achievements |
本研究の目的は，統一的なスキーマを定義する必要がなくかつ様々な変化に対応可能なP2Pアプローチによるデータ相互運用問題において，検索結果の信頼性を計算する枠組みを構築することである．P2Pアプローチでは，あるピアAから別のピアBへのデータ変換であるスキーママッピングによってデータ統合が実現される．ここでスキーママッピングはデータベースビュー定義とみなすことができる．ピアBにおけるデータの更新をピアAのデータに反映させることは，ビュー更新問題と呼ばれ，データベースの研究分野では古くから長年取り組まれてきた未解決問題であったが，近年研究代表者らの研究で一つの解決策を示した．今年度の成果は，データ更新の信頼性の計算手法とビュー更新を高速に行う手法を開発した．
研究期間全体を通じて実施した研究成果としては以下の通りである．
（１）関係データベース問合せ言語の一つであるDatalogを用いて，データベースに対する有効な更新からビュー定義を導出する手法を提案し，実装によりその有効性を確かめた．
（２）Datalogを用いたビュー更新の記述に関するデバッガを開発した．入力したビュー更新戦略が正しいものかどうかを判定し，正しくない場合に，なぜ正しくないのかを反例を生成することで利用者に通知する枠組となっている．これにより，利用者はビュー更新の記述が容易にできるようになった．
（３）非再帰データログを用いたビュー更新問題の解決手法をさらに発展させ，再帰が扱えるように対応し，実用的な複数の例を用いてその有効性を確認した．
（４）ネットワークに閉路が存在する場合の取り扱いをidenpotentとして扱うような数学的な枠組みを用意した．これにより、XQueryの各演算子が持つ数学的な性質と来歴情報が持つ数学的な性質の間に準同型が成り立つように定義でき、来歴情報の有用性を確認することができた．
|
Report
(6 results)
Research Products
(13 results)
-
[Journal Article] Bidirectional Collaborative Frameworks for Decentralized Data Management2022
Author(s)
Asano Yasuhito、Cao Yang、Hidaka Soichiro、Hu Zhenjiang、Ishihara Yasunori、Kato Hiroyuki、Nakano Keisuke、Onizuka Makoto、Sasaki Yuya、Shimizu Toshiyuki、Takeichi Masato、Xiao Chuan、Yoshikawa Masatoshi
-
Journal Title
Communications in Computer and Information Science
Volume: 1457
Pages: 13-51
DOI
ISBN
9783030938482, 9783030938499
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-
-
-
-
-
-
-
-
-
-
[Book] Software Foundations for Data Interoperability and Large Scale Graph Data Analytics2020
Author(s)
Lu, Q., Zhang, W., Zhang, Y., Peng, Y., Kato, H., Wang, W., Xiao, C. (Eds.)
Total Pages
193
Publisher
Springer
ISBN
9783030611330
Related Report
