データベースにおける双方向プログラミングの基盤技術

数据库双向编程的基础技术

• 批准号: 22KJ3090
• 负责人: TRAN Van Dang
• 金额: $ 1.09万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2023
• 资助国家: 日本
• 起止时间: 2023-03-08 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-22KJ3090/
• 关键词: View Update; RDF; Graph; SPARQL; Higher-Order Logic; Datalog; Property Path

This research has successfully extended the BIRDS framework for solving the view update problem of RDF (Resource Description Framework) data. The framework provides a new fragment of Datalog with higher-order predicates as a programming language that allows users to easily specify well-behaved update strategies for various classes of RDF views. The experiments conducted on real-world benchmarks have demonstrated the framework's applicability to many SPARQL-written RDF views in practice. Furthermore, the framework exhibits efficient performance even when accommodating higher-order predicates in the Datalog language. Since updatable views provide read-write data access, the framework has applications in view-based data manipulation systems.

本研究成功地扩展了BIRDS框架，解决了RDF（资源描述框架）数据的视图更新问题。该框架提供了一个新的数据库片段，作为一种编程语言，允许用户轻松地为各种RDF视图类指定行为良好的更新策略。在真实世界的基准上进行的实验已经证明了该框架在实践中对许多SPARQL编写的RDF视图的适用性。此外，该框架表现出高效的性能，即使在容纳高阶谓词的Datasheet语言。由于可更新视图提供了读写数据访问，该框架在基于视图的数据操作系统中有应用。

项目成果

BIRDS

鸟类

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

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