BriefGPT - AI 论文速递 · 2025-01-23T00:00:00Z 关于决定具有LTL运算符的线性单子Datalog查询的数据复杂性（扩展版） 💡 原文中文，约300字，阅读约需1分钟。 📝 内容提要 本研究首次明确了带有线性时态逻辑LTL运算符的Datalog查询的数据复杂性，结果显示LogSpace为PSpace完全，而AC0、ACC0和NC1的判断可在ExpSpace中完成，揭示了复杂查询的可计算性边界。 🏷️ 标签 Datalog LTL 可计算性 数据复杂性 查询类型 阅读原文 生成长图 分享链接 已复制链接
