低度数据库上的一阶查询答案枚举

一类关系数据库具有低度,如果对所有 $\delta>0$,类中除有限多个数据库外,其度至多为 $n^{\delta}$,其中 $n$ 为数据库规模。典型例子是有界度或度以 $\log n$ 为界的数据库。已知在具有低度的数据库类上,一阶布尔查询可在伪线性时间内检验,即对所有 $\epsilon>0$ 在时间界 $n^{1+\epsilon}$ 内完成。我们通过考虑查询求值推广该结果。我们证明计数查询答案的数量可在伪线性时间内完成,且在伪线性时间预处理后,我们可在常数时间内检验给定元组是否为查询的解,或以常数延迟枚举查询的答案。