带基数条件的一阶查询评估
First-Order Query Evaluation with Cardinality Conditions
AI总结：
研究带基数条件的一阶逻辑FOC(P)的查询评估问题，证明其在有界度类上可固定参数处理，但在无界度类上不可推广，并识别出在无处稠密类上仍可固定参数处理的片段FOC_1(P)。
摘要：
我们研究了一阶逻辑的一个扩展，该扩展允许以类似于SQL的COUNT运算符的方式表达基数条件。相应的逻辑FOC(P)由Kuske和Schweikardt (LICS 2017)引入，他们证明了该逻辑的查询评估在有界度的数据库类上是固定参数可处理的。在本文中，我们首先证明FOC(P)的固定参数可处理性甚至不能推广到非常简单的无界度数据库类，例如具有线性顺序关系的无秩树或字符串。然后，我们识别出FOC(P)的一个片段FOC_1(P)，该片段仍然足够强大，可以表达SQL的COUNT运算符的标准应用。我们的主要结果表明，FOC_1(P)的查询评估在无处稠密的数据库类上是固定参数可处理的。
英文摘要：
We study an extension of first-order logic that allows to express cardinality conditions in a similar way as SQL's COUNT operator. The corresponding logic FOC(P) was introduced by Kuske and Schweikardt (LICS 2017), who showed that query evaluation for this logic is fixed-parameter tractable on classes of databases of bounded degree. In the present paper, we first show that the fixed-parameter tractability of FOC(P) cannot even be generalised to very simple classes of databases of unbounded degree, such as unranked trees or strings with a linear order relation. Then we identify a fragment FOC_1(P) of FOC(P) which is still sufficiently strong to express standard applications of SQL's COUNT operator. Our main result shows that query evaluation for FOC_1(P) is fixed-parameter tractable on nowhere-dense classes of databases.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
