带有形状约束的关系型到 RDF 数据交换中的一致性与确定答案
数据库
2020-04-01 v1
摘要
我们研究了受 R2RML 启发并添加目标形状模式的关系数据库到 RDF 图的数据交换。我们研究了一致性问题，即检查每个源实例是否都存在一个解；以及确定查询回答问题，即寻找存在于每个解中的答案。我们识别了一类构造性关系型到 RDF 数据交换，该类在其源到目标的依赖关系中使用了 IRI 构造器和完整的 TGD（不含存在变量）。我们证明了一致性问题是 coNP 完全的。我们引入了通用模拟解的概念，允许对任何在模拟下具有鲁棒性的查询类计算确定查询答案。其中一类这样的查询是前向的嵌套正则表达式（NRE），即不使用逆运算。使用通用模拟解使得前向 NRE 的确定答案计算变得易于处理（数据复杂度）。最后，我们给出了一系列结果，表明放宽所提框架的限制会导致复杂度的增加。
引用
@article{arxiv.2003.13831,
title = {Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints},
author = {Iovka Boneva and Jose Lozano and Sławek Staworko},
journal= {arXiv preprint arXiv:2003.13831},
year = {2020}
}