Aug, 2023

一种差分 Datalog 解释器

TL;DR研究表明,对于 datalog 引擎来说,材料化是核心推理任务,本文通过比较不同实现方法的性能,尤其是基于轻量级关系型引擎的一种方法和基于 Differential Dataflow 的两种方法,探讨了材料化的性能问题。