Abstract Implementing complex algorithms for big data, artificial intelligence, and graph processing requires enormous effort. Succinct, declarative programs to solve problems that can be efficiently executed batching streaming data are in demand. This paper presents Nexus, a distributed Datalog evaluation system. It evaluates using the semi-naive algorithm batch incremental asynchronous iterat...