受限TGDs下的答案计数
摘要：本文研究了本体中介查询和在约束条件下查询的答案计数的复杂性，其中将连结查询和连结查询并集（UCQs）视为查询语言，将受到保护的TGDs视为本体和约束语言。我们的主要结果是根据答案计数是否是固定参数可追踪（FPT）、W [1]等价、#W [1]等价、#W [2]难度或#A [2]等价进行分类，这扩展了Dell等人对于没有本体和约束的UCQs的最新分类。该分类涉及多种结构度量，包括树宽度、收缩树宽度、星号大小和链接匹配数。我们的结果基于关系符号的元数受到常数约束的假设，在本体中介查询的情况下，假设本体和查询的所有符号都可以出现在数据中（即所谓的完整数据模式）。我们还研究了对于所提到的结构度量的元问题，即判断给定的本体中介查询或约束查询规范是否等价于一个结构度量有界的规范。
作者：Cristina Feier, Carsten Lutz, and Marcin Przyby{l}ko
论文ID：2101.03058
分类：Databases
分类简称：cs.DB
提交时间：2023-07-20