<p>Multiple efforts in the PL community have adopted Datalog as a basis for large-scale program analysis, due to its ability to easily define recursive properties. However, existing datalog engines are incapable of running these analyses on very large programs (e.g., the Linux Kernel or Chrome browser). Draupnir is a datalog engine that that draws on group-/ring-theoretic provenance models (e.g., <a href="https://dl.acm.org/doi/10.1145/1265530.1265535">Semiring Provenance</a>, <a href="https://dl.acm.org/doi/10.1145/1807085.1807100">Ring Databases</a>) to scale to large datalog workloads on commodity hardware.</p>