A datalog-based computational model for coordination-free, data-parallel systems