合取查询有序答案直接访问的可处理序

我们研究在经准线性于数据库大小的预处理步骤构建数据结构后，能否按照答案上指定顺序对合取查询（CQ）的第k个答案提供直接访问，且时间对数于数据库大小。具体而言，我们着手识别可处理的答案排序这一挑战，即那些允许此类复杂度保证的排序。为更好理解手头的算力挑战，我们还考察更温和的任务：仅提供对单个答案的访问（即寻找给定位置处的答案），我们称之为选择问题，并询问其何时可在准线性时间内完成。我们也探讨选择何时确实比有序直接访问更容易。我们从字典序开始。对这两个问题，我们针对每个无自连接CQ给出了可处理字典序类的可判定刻画（在常规复杂度假设下）。我们继而推广至按属性权重之和的更一般排序，并针对每个无自连接CQ建立了两个问题对应的可处理CQ的可判定刻画。最后，我们探讨函数依赖（FD）的满足何时可用于可处理性，并针对每组合一元FD建立了我们刻画的相应推广。