Want to know how many police officers are employed in various parts of the country and compare that against crime rates? Want to know how much revenue is brought in from parking tickets and the cost to collect? Want to know what percentage of Americans suffer from diagnosed depression and how much the government spends on it? That’s in there. You can slice the numbers in all sorts of ways.

Mr. Ballmer calls it “the equivalent of a 10-K for government,” referring to the kind of annual filing that companies make.