存在规则的有界团宽集合：迈向可判定且高表达力查询的一般判据
计算机科学中的逻辑
2022-09-07 v1 人工智能
数据库
离散数学
逻辑
摘要
在寻求基于本体的可判定查询的一般判据过程中，我们引入了存在规则的“有限团宽集合”（FCS），这是一类从图论中的团宽度量获得启发、经模型论定义的规则集类。通过一个一般性论证，我们表明 FCS 能确保一类被称为“DaMSOQ”的较大查询类（包含合取查询（CQ））的蕴含可判定性。FCS 类恰当地推广了有限展开集合（FES）类，以及对于元数至多为 2 的签名下的有界树宽集合（BTS）类。对于更高元数，BTS 仅通过再化间接被 FCS 包含。尽管 FCS 具有一般性，我们仍给出了一个具有可判定 CQ 蕴含性（基于一阶可重写性）但不在 FCS 中的规则集，从而证明了 FCS 与有限合一集合（FUS）类不可比较。尽管如此，我们表明若限制于元数至多为 2 的签名上的单头规则集，则 FCS 包含 FUS。
引用
@article{arxiv.2209.02464,
title = {Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying},
author = {Thomas Feller and Tim S. Lyon and Piotr Ostropolski-Nalewaja and Sebastian Rudolph},
journal= {arXiv preprint arXiv:2209.02464},
year = {2022}
}
备注
Accepted to the 26th International Conference on Database Theory (ICDT) 2023