Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm

Open in new window