Towards a computational frame work on ranked trust policies in data interoperability problems used in XQuery

针对 XQuery 中使用的数据互操作性问题中的排名信任策略的计算框架

• 批准号: 18K11252
• 负责人: 加藤 弘之
• 金额: $ 2.33万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11252/
• 关键词: XQuery; provenance; ビュー更新問題; データベース; 問合せ言語; Provenance

本研究の目的は、統一的なスキーマを定義する必要がなくかつ様々な変化に対応可能なP2Pアプローチによるデータ相互運用問題において、検索結果の信頼性を検証する枠組みを構築することである。P2Pアプローチでは、あるピアAから別のピアBへのデータ変換であるスキーママッピングによってデータ統合が実現される。ここでスキーママッピングはデータベースビュー定義とみなすことができる。ピアBにおけるデータの更新をピアAのデータに反映させることは、ビュー更新問題と呼ばれ、データベースの世界では古くから長年取り組まれてきた未解決問題であったが、近年研究代表者らの研究で解決策を示した。今年度の成果は、昨年までの成果であるXQuery問合せの来歴情報をピアが繋がって構成されているネットワークに伝播する際の適切な付加情報を定義した。特にネットワークに閉路が存在する場合の取り扱いをidenpotentとして扱うような数学的な枠組みを用意した。これにより、XQueryの各演算子が持つ数学的な性質と来歴情報が持つ数学的な性質の間に準同型が成り立つように定義でき、来歴情報の有用性を確認することができた。

Purpose の this study は, unified な ス キ ー マ を definition す る necessary が な く か つ others 々 な variations change に 応 seaborne may な P2P ア プ ロ ー チ に よ る デ ー タ mutual use に お い て, 検 cable results の letter 頼 を 検 card す る 枠 group み を build す る こ と で あ る. P2P ア プ ロ ー チ で は, あ る ピ ア A か ら don't の ピ ア B へ の デ ー タ variations in で あ る ス キ ー マ マ ッ ピ ン グ に よ っ て デ ー タ integration が be presently さ れ る. こ こ で ス キ ー マ マ ッ ピ ン グ は デ ー タ ベ ー ス ビ ュ ー definition と み な す こ と が で き る. ピ ア B に お け る デ ー タ の update を ピ ア A の デ ー タ に reflect さ せ る こ と は, ビ ュ ー update problems と shout ば れ, デ ー タ ベ ー ス の world で は ancient く か ら elder group take り ま れ て き た unresolved problem で あ っ た が representatives, in recent years, research ら の research で solving strategy を shown し た. Our の results は, yesterday in ま で の results で あ る XQuery asked us せ の to phase information を ピ ア が 繋 が っ て constitute さ れ て い る ネ ッ ト ワ ー ク に 伝 sowing す る interstate の appropriate な plus intelligence を definition し た. Trevor に ネ ッ ト ワ ー ク に closed-circuit が exist す る occasions の take り Cha い を idenpotent と し て Cha う よ う な mathematical な 枠 group み を intention し た. こ れ に よ り, XQuery の and operator が hold つ mathematical nature of な と to bearing intelligence が な holding つ mathematical properties between の に quasi type with が made into り つ よ う に definition で き, to phase and intelligence の usefulness を confirm す る こ と が で き た.

项目成果

BIRDS

鸟类

• DOI: 10.14778/3415478.3415503
• 发表时间: 2020
• 期刊: Proceedings of the VLDB Endowment
• 影响因子: 2.5
• 作者: Tran Van-Dang;Kato Hiroyuki;Hu Zhenjiang
• 通讯作者: Hu Zhenjiang

Toward BX-Based Architecture for Controlling and Sharing Distributed Data

走向基于BX的分布式数据控制和共享架构

• DOI: 10.1109/bigcomp.2019.8679145
• 发表时间: 2019
• 期刊: BigComp 2019
• 作者: Ishihara Yasunori;Kato Hiroyuki;Nakano Keisuke;Onizuka Makoto;Sasaki Yuya
• 通讯作者: Sasaki Yuya

Programmable View Update Strategies on Relations

关系上的可编程视图更新策略

• DOI: 10.14778/3377369.3377380
• 发表时间: 2020
• 期刊: PVLDB
• 作者: Van-Dang Tran;Hiroyuki Kato;Zhenjiang Hu
• 通讯作者: Zhenjiang Hu

A Counterexample-Guided Debugger for Non-recursive Datalog

用于非递归数据记录的反例引导调试器

• DOI: 10.1007/978-3-030-64437-6_17
• 发表时间: 2020
• 期刊: Programming Languages and Systems (LNCS, volume 12470)
• 作者: Tran Van-Dang;Kato Hiroyuki;Hu Zhenjiang
• 通讯作者: Hu Zhenjiang

A Declarative Framework for Updatable Views in Relational Databases

关系数据库中可更新视图的声明性框架

• 发表时间: 2019
• 作者: Van-Dang Tran;加藤弘之，胡振江
• 通讯作者: 加藤弘之，胡振江