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

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

基本信息

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

项目摘要

近年,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 / グ ラ フ デ ー タ (below, 単 に グ ラ フ デ ー タ) に す seaborne る account force の high い ス キ ー マ words が draw up さ れ, そ の using が into み つ つ あ る. This study で は グ ラ フ デ ー タ を like に, seaborne こ の eset に お い て basic か つ な important question で あ る ス キ ー マ under で の asked us せ type enough possibility を center に し て い る. こ こ で, ス キ ー マ S と asked us せ type q に し seaborne て, も し S に appropriate な グ ラ フ デ ー タ で q の 検 cable results が empty で な い も の が exist す る な ら ば, q は で enough S の could で あ る と い い, そ う で な け れ ば enough can't で あ る と い う. Words, this study で は ス キ ー マ と し て expressive の high い Shape Expression (ShEx) を USES し た. 2022 annual に お い て は, ask せ type の inclusive decision problem を solution く た め の ア ル ゴ リ ズ ム し を test case, be installed line を っ た. こ こ で, inclusive decision problem of possible は enough を よ り generalization し た problem で あ り, ask us せ q1, q2 お よ び ス キ ー マ S に し seaborne て, S に appropriate な ど の デ ー タ に し seaborne て も q2 の solution が q1 に の solution containing ま れ る か no か を determine す る problem で あ る. Proposal ア ル ゴ リ ズ ム で は, ま ず, q1 と q2 と の between の ノ ー ド の 応 seaborne を masato department S を using し て o め る. Time に こ の have ら れ た ノ ー ド の 応 seaborne masato に basic づ い て, q2 の 辺 e で q1 に 応 seaborne す る も の が exist せ ず, か つ, e を q1 に additional し て も q1 の solution に influence が な い occasions, e を q1 に additional す る と い う operation を Qiao り す. The final にq1がq2 <s:1> part グラフであれば, q1 ると q2を contains the <s:1> て ると ると ると determination する. The proposal ア ゴリズムを ゴリズムをPythonを is implemented using ア て, and the provided な review 価 is conducted in を. そ の as a result, the proposal ア ル ゴ リ ズ ム は use デ ー タ full て に し seaborne て is し い line judge を な っ て お り, action working rate are good ね で も あ る こ と が わ か っ た.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A Simple Algorithm for Checking Pattern Query Containment under Shape Expression Schema
形状表达式模式下检查模式查询包含的简单算法
Shape Expression Schemaの下でのConjunctive Property Path充足可能性判定手法
形状表达模式下合取属性路径可满足性判定方法
Detecting Unsatisfiable Conjunctive Property Path under Shape Expression Schema
检测形状表达模式下不可满足的合取属性路径
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

鈴木 伸崇其他文献

鈴木 伸崇的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('鈴木 伸崇', 18)}}的其他基金

安定マッチングの拡張およびクラウドソーシングのタスク割り当て問題への適用
扩展稳定匹配并将其应用于众包任务分配问题
  • 批准号:
    24K14960
  • 财政年份:
    2024
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
XMLデータと正規木文法との間のK最適編集操作列を求めるアルゴリズムの開発
开发一种算法来查找 XML 数据和常规树语法之间的 K 最优编辑操作
  • 批准号:
    18700019
  • 财政年份:
    2006
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
半構造XMLデータからのスキーマ抽出及び変換アルゴリズムの開発
开发半结构化 XML 数据的模式提取和转换算法
  • 批准号:
    14780330
  • 财政年份:
    2002
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
半構造データからのスキーマ情報抽出アルゴリズムの開発
半结构化数据模式信息提取算法的开发
  • 批准号:
    12780317
  • 财政年份:
    2000
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

柔軟なスキーマ共存戦略を有するデータベース管理システムのソフトウェア基盤技術
具有灵活模式共存策略的数据库管理系统的软件基础设施技术
  • 批准号:
    24K14909
  • 财政年份:
    2024
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Elucidating the neural mechanism exploiting the previous knowledge in the novel situation
阐明在新情况下利用先前知识的神经机制
  • 批准号:
    23H02785
  • 财政年份:
    2023
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Interaction between mathematical vocabulary, number sense, and schema in solving word problem
数学词汇、数感和图式在解决应用题中的相互作用
  • 批准号:
    22K03080
  • 财政年份:
    2022
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
誤解が生まれるメカニズム: 第二言語習得過程の認知的推論アプローチ
误解的机制:第二语言习得过程的认知推理方法
  • 批准号:
    22K00694
  • 财政年份:
    2022
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
学生実験の遠隔化を目指した新しい教授法の提案
针对学生实验远程化的新型教学方法的提出
  • 批准号:
    22K12301
  • 财政年份:
    2022
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
The Kyoto School of Education's Global Contribution to Education for Self-Awareness
京都教育学院对自我意识教育的全球贡献
  • 批准号:
    21K13525
  • 财政年份:
    2021
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
A theoretical and empirical study of credibility evaluation of statements focusing on "characteristic lack" related to non-experiability
以不可经验性相关的“特征缺失”为中心的陈述可信度评价的理论与实证研究
  • 批准号:
    21K01204
  • 财政年份:
    2021
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
原因スキーマを手がかりとした教員志望学生の省察深化の解明と支援プログラムの開発
以因果图式为线索,阐明有抱负的学生的深化反思并制定支持计划
  • 批准号:
    21K02865
  • 财政年份:
    2021
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Neural mechanisms of a knowledge reorganization in the human brain
人脑知识重组的神经机制
  • 批准号:
    21K07264
  • 财政年份:
    2021
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Effects of schema therapy on depression with developmental disability and personality disorder:RCT
图式疗法对伴有发育障碍和人格障碍的抑郁症的影响:随机对照试验
  • 批准号:
    21K13704
  • 财政年份:
    2021
  • 资助金额:
    $ 2万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了