关于决定具有LTL运算符的线性单子Datalog查询的数据复杂性(扩展版)

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

本研究首次明确了带有线性时态逻辑LTL运算符的Datalog查询的数据复杂性,结果显示LogSpace为PSpace完全,而AC0、ACC0和NC1的判断可在ExpSpace中完成,揭示了复杂查询的可计算性边界。

🏷️

标签

➡️

继续阅读