Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints
复制标题
具有形状约束的 RDF 数据交换的一致性和某些答案
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
S. Staworko
中科院分区：
文献类型：
--
作者：
Iovka Boneva;Jose Lozano;S. Staworko
我们研究了从关系数据库到RDF图的数据交换，其灵感来自于R2RML加上目标形状模式。我们研究一致性问题，即，检查每个源实例是否允许解决方案，以及某些查询应答，即，在每个解决方案中找到答案。我们确定的类的建设性关系到RDF数据交换，使用IRI构造函数和完整的tgds（没有存在变量）在其源到目标的依赖关系。我们证明了一致性问题是CoNP完全的。我们引入了通用模拟解决方案的概念，允许计算某些查询答案的任何类的查询，是强大的模拟下。一个这样的类是嵌套正则表达式（NRE），其是向前的，即，不要使用逆运算。使用通用的模拟解决方案，使某些答案的计算易于处理的前向NRE（数据复杂度）。最后，我们提出了一些结果表明，放宽所提出的框架的限制，导致复杂性的增加。
We investigate the data exchange from relational databases to RDF graphs inspired by R2RML with the addition of target shape schemas. We study the problems of consistency i.e., checking that every source instance admits a solution, and certain query answering i.e., finding answers present in every solution. We identify the class of constructive relational to RDF data exchange that uses IRI constructors and full tgds (with no existential variables) in its source to target dependencies. We show that the consistency problem is coNP-complete. We introduce the notion of universal simulation solution that allows to compute certain query answers to any class of queries that is robust under simulation. One such class are nested regular expressions (NREs) that are forward i.e., do not use the inverse operation. Using universal simulation solution renders tractable the computation of certain answers to forward NREs (data-complexity). Finally, we present a number of results that show that relaxing the restrictions of the proposed framework leads to an increase in complexity.
使用正则路径表达式查询一元否定片段
DOI：
10.4230/lipics.icdt.2018.15
发表时间：
2018
期刊：
影响因子：
--
作者：
Jean Christoph Jung;Carsten Lutz;Mauricio Martel;Thomas Schneider
通讯作者：
Thomas Schneider