Um modelo teórico do MapReduce pode ser resumido em duas funções, map e reduce. Essas funções são representadas na literatura, genericamente, com uma notação na forma:

Entrada genérica -> Saída genérica

A proposta original de MapReduce considerava que a função reduce teria o modelo:

reduce(k2,list(v2)) -> list(v3)

Enquanto implementações de terceiros usam o modelo:

reduce(k2,list(v2)) -> list(k3,v3)

O modelo para a função map, porém, é sempre o mesmo.

Qual é esse modelo?