6 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
Boris Motik, Yavor Nenov, Robert Piro +1
Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting opt…