标签索引

Datalog

这个标签下有 3 篇文章。按时间回看相关判断与实践记录。

标签精选

攻克算力瓶颈：ACM 探讨 Datalog 在 GPU 架构上的优化方案

Datalog 是一种常用于知识图谱和演绎数据库的声明式逻辑编程语言。这篇来自 ACM 的文章深入探讨了如何克服传统 CPU 在处理大规模逻辑推理时的性能瓶颈。通过重新设计底层数据结构和执行模型，研究人员使 Datalog 能够充分利用 G...

2026-04-261 分钟阅读72 阅读

本文探讨了将 CSS 选择器与 Datalog（一种逻辑编程语言）相结合的大胆构想，提出了“CSSLog”这一概念。作者指出，CSS 的选择器机制本质上与数据库查询同构，但受限于无法进行递归推导。通过引入“不动点”语义，CSSLog 能够在...

2026-04-251 分钟阅读68 阅读

凌晨三点,CEO 在群里怒吼 2025 年 1 月某个周五晚上,某电商平台的”秒杀”功能崩了。 CEO 在技术群里连发三条语音:”为什么下单要 30 秒?为什么有人能买到,有人一直转圈?你们的监控系统是摆...

2026-01-2223 分钟阅读365 阅读