本文证明了在ZOIQ上满足性问题的数据复杂性是NP完备的，并且证明了在ZIQ中带根查询的蕴涵问题在形式复杂度上是coNEXPTIME完备的。

具有路径表达式的表达能力描述逻辑中的数据复杂度
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证