It's tough to wrap the mind around but memory maps are very fast to query and don't have to have a list of UTXOs. On a per block basis, "is the coin being double spent?" and "is the coin there(in the spending address)?" solves the issue of needing to know where all the coins are simultaneously.