conftrace_

seminal algorithm

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

datalog materialisation (1) transitive closure (1) algorithmic optimization (1) seminaïve algorithm (1) incremental update (1) modular framework (1) datalog program (1)

Papers

Modular Materialisation of Datalog Programs AAAI 2019