使用生成图依赖关系对属性图进行推理
摘要：图生成依赖（GGDs）是对两个（可能不同）图模式之间的约束进行非正式表示，这些约束通过属性值约束对图的数据和拓扑约束对图的结构强制实施关系。图生成依赖（GGDs）可以对属性图表达元组-和相等生成依赖，这两者在图数据管理中具有广泛应用。在本文中，我们讨论了GGDs背后的推理。我们提出了用于解决GGDs的可满足性、蕴含性和验证问题的算法，同时分析了它们的复杂性。为了展示GGDs的实际用途，我们提出了一种通过验证GGDs来发现数据不一致性的算法。我们的实验证明，尽管验证GGDs具有较高的计算复杂度，但在合成数据和真实数据上，GGDs可以在可行的执行时间内用于发现数据不一致性。
作者：Larissa C. Shimomura, Nikolay Yakovets, George Fletcher
论文ID：2211.00387
分类：Databases
分类简称：cs.DB
提交时间：2022-11-02