有界扩展类结构上的一阶查询
摘要：评估在有界扩展的数据库类上的一阶查询。有界扩展的概念非常广泛，推广了有界度数、有界树宽和至少一个排除的次要排除。已知，在具有有界扩展的数据库类上，可以在线性时间内评估一阶句子。我们给出了这一结果的不同证明。此外，我们还展示了在线性时间预处理后，可以以恒定延迟枚举对一阶查询的回答。我们还展示了在数据库的大小上，计算查询的回答数量可以在线性时间内完成。
作者：Wojtek Kazana and Luc Segoufin
论文ID：1802.04613
分类：Databases
分类简称：cs.DB
提交时间：2023-06-22