AAAI

Revisiting Conjunctive Query Entailment for $\mathcal S$

重新审视$\mathcal S$中的联合查询蕴含性

Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak

AI总结 研究$\mathcal S$中联合查询回答的复杂性，证明其为2ExpTime完全问题，并探讨不同查询限制下的复杂性变化。

Comments Full version of paper accepted to AAAI'26