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の各演算子が持つ数学的な性質と来歴情報が持つ数学的な性質の間に準同型が成り立つように定義でき、来歴情報の有用性を確認することができた。

The purpose of this research is to define a unified service definition that is as necessary as possible, to address the problem of mutual use of data in possible P2P exchanges, and to build a framework to verify the reliability of search results. P2Pここでスキーママッピングはデータベースビュー定义とみなすことができる。The problem of updating the data of A has not been solved for many years, and the solution of the problem has been shown by the research representative in recent years. This year's results are similar to those of the previous year's results, and the results of this year's results are similar to those of the previous year's results. In particular, the closed circuit exists in the case of ident and mathematical combination. Each algorithm of XQuery contains mathematical properties and information. The properties of XQuery contain mathematical properties and information. The quasi-isotypes of XQuery contain definitions and information. The usefulness of XQuery information is confirmed.

项目成果

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;加藤弘之，胡振江
• 通讯作者: 加藤弘之，胡振江