图数据库转换的静态分析
摘要：通过使用基于无环两向且合取的正规路径查询(Datalog-like rules based on acyclic conjunctive two-way regular path queries，acyclic C2RPQs)定义的图形转换，我们研究了两个基本的静态分析问题：在图模式存在的情况下的类型检查和转换的等价性。此外，我们还研究了目标模式引出的问题，旨在构造一个与输入模式相符合的图转换的所有输出的模式。我们证明了所有这些问题都可以通过将它们归约到模式下的C2RPQ包含来解决，我们也提供了相应的下界。我们使用循环反转将查询包含问题归约到无限制（有限或无限）满足描述逻辑中的一个理论的C2RPQ的问题上。
作者：Iovka Boneva (CRIStAL, LINKS), Benoit Groz (LISN, LaHDAK), Jan Hidders, Filip Murlak (UW), Slawomir Staworko (CRIStAL, LINKS)
论文ID：2304.05070
分类：Databases
分类简称：cs.DB
提交时间：2023-04-21