BriefGPT - AI 论文速递
·
关于决定具有LTL运算符的线性单子Datalog查询的数据复杂性（扩展版）
原文中文，约300字，阅读约需1分钟。
📝
内容提要
本研究首次明确了带有线性时态逻辑LTL运算符的Datalog查询的数据复杂性，结果显示LogSpace为PSpace完全，而AC0、ACC0和NC1的判断可在ExpSpace中完成，揭示了复杂查询的可计算性边界。
🎯
关键要点
-
本研究首次明确了带有线性时态逻辑LTL运算符的Datalog查询的数据复杂性。
-
研究显示LogSpace为PSpace完全。
-
AC0、ACC0和NC1的判断可以在ExpSpace中完成。
-
研究揭示了复杂查询的可计算性边界。
-
该研究为未来的研究提供了基础。
🏷️
