Datalog의 증분 계산
Datalog Differential Dataflow Incremental Computation Logic Programming Knowledge Graph