A Scheduling Approach to Incremental Maintenance of Datalog Programs | IEEE Conference Publication | IEEE Xplore