conftrace_

seminaïve algorithm

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

algorithmic optimization (1) datalog materialisation (1) seminal algorithm (1) transitive closure (1) incremental update (1) modular framework (1) datalog program (1)

Papers

Modular Materialisation of Datalog Programs AAAI 2019