arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2003.13831cs.DB
收藏

形状约束下RDF数据交换的一致性及确定性答案

Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints

Iovka Boneva, Jose Lozano, Sławek 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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑