1 paper
Weiqin Xu, Olivier Curé
In this paper, we tackle the incremental maintenance of Datalog inference materialisation when the rule set can be updated. This is particularly relevant in the context of the Inte…