Differential Datalog Incremental Materialization and Maintenance - arxiv.org