权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

グラフデータにおける問合せ式充足可能性問題の計算複雑さおよび判定アルゴリズム

图数据查询可满足性问题的计算复杂度与决策算法

基本信息

批准号：
21K11900
负责人：
鈴木伸崇
金额：
$ 2万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2024-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K11900/
关键词：
グラフデータスキーマ充足可能性問題

项目摘要

近年，RDF/グラフデータ（以下，単にグラフデータ）に対する記述力の高いスキーマ言語が策定され，その利用が進みつつある．本研究ではグラフデータを対象に，この分野において基本的かつ重要な問題であるスキーマ下での問合せ式充足可能性問題を中心に考察している．ここで，スキーマSと問合せ式qに対して，もしSに妥当なグラフデータでqの検索結果が空でないものが存在するならば，qはSの下で充足可能であるといい，そうでなければ充足不能であるという．本研究では，スキーマ言語として表現力の高いShape Expression (ShEx)を採用した．2022年度においては，問合せ式の包含性判定問題を解くためのアルゴリズムを考案し，実装を行った．ここで，包含性判定問題は充足可能性問題をより一般化した問題であり，問合せ式q1,q2およびスキーマSに対して，Sに妥当などのデータに対してもq2の解がq1の解に含まれるか否かを判定する問題である．提案アルゴリズムでは，まず，q1とq2との間のノードの対応関係をSを利用して求める．次に，この得られたノードの対応関係に基づいて，q2の辺eでq1に対応するものが存在せず，かつ，eをq1に追加してもq1の解に影響がない場合，eをq1に追加するという操作を繰り返す．最終的にq1がq2の部分グラフであれば，q1はq2を包含していると判定する．提案アルゴリズムをPythonを用いて実装し，予備的な評価実験を行った．その結果，提案アルゴリズムは使用データ全てに対して正しい判定を行なっており，動作効率も概ね良好であることがわかった．

In recent years, RDF/ has reported that it is necessary to make use of the strategy to improve the performance of the system. In this study, we have studied the basic important problems, such as the number of important problems, the number of problems, the number of problems, the possibility of a solution, and the possibility of a solution. In this study, you can find out that there is a problem in the form of an error in the form of an error, and that there is a problem in the form of an error. In this study, you can find out that there is a problem in the form of an error in the form of an error, and the result is that there is a problem in the form of an error. In this study, you will find that there is a problem in the use of Shape Expression (ShEx) in this study. in this study, we will use the data in this study. The problem formula includes the solution of the sexual determination problem, the solution of the problem, the question of sufficient possibility, the question of sufficient possibility, the generalization of the problem, the problem of the problem, the solution of the problem, the question of sufficient possibility, the problem of sufficient possibility, the problem of the problem, the problem, the problem. S

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

A Simple Algorithm for Checking Pattern Query Containment under Shape Expression Schema

形状表达式模式下检查模式查询包含的简单算法

DOI：
10.5220/0011536800003318
发表时间：
2022
期刊：
Proceedintgs of the 18th International Conference on Web Information Systems and Technologies
影响因子：
0
作者：
古賀久志，別府直輝;笠井龍一;中尾友紀，古賀久志;T. Yamazaki and H. Koga;H. Fujimoto and N. Suzuki
通讯作者：
H. Fujimoto and N. Suzuki

Shape Expression Schemaの下でのConjunctive Property Path充足可能性判定手法

形状表达模式下合取属性路径可满足性判定方法

DOI：
发表时间：
2022
期刊：
第14回データ工学と情報マネジメントに関するフォーラム(DEIM 2022)論文集
影响因子：
0
作者：
古賀久志，別府直輝;笠井龍一;中尾友紀，古賀久志;T. Yamazaki and H. Koga;H. Fujimoto and N. Suzuki;前田祐紀，鈴木伸崇
通讯作者：
前田祐紀，鈴木伸崇

Detecting Unsatisfiable Conjunctive Property Path under Shape Expression Schema

检测形状表达模式下不可满足的合取属性路径