$ 0 0 A Microsoft Research team’s data-management tool breaks a speed record in the “World Cup” of data sorting.