During the formal/systems/parallelism build (commit 3693ff3), MapReduce was deliberately excluded: it is a programming model, a different ontological level from the Flynn/work-span execution ontology (one-ontology-per-module).
Follow-on: a programming-models ontology — algorithmic skeletons (Cole 1989, 'Algorithmic Skeletons: Structured Management of Parallel Computation'), Blelloch's scan/reduce primitives (CACM 1996), MapReduce (Dean & Ghemawat, OSDI 2004) — connected back to formal/systems/parallelism via functor.
During the formal/systems/parallelism build (commit 3693ff3), MapReduce was deliberately excluded: it is a programming model, a different ontological level from the Flynn/work-span execution ontology (one-ontology-per-module).
Follow-on: a programming-models ontology — algorithmic skeletons (Cole 1989, 'Algorithmic Skeletons: Structured Management of Parallel Computation'), Blelloch's scan/reduce primitives (CACM 1996), MapReduce (Dean & Ghemawat, OSDI 2004) — connected back to formal/systems/parallelism via functor.