conftrace_

datalog materialisation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

seminal algorithm (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