This animation shows the connected components of a graph that changes dynamically. The connected components are computed incrementally by a Differential Datalog program.