I imagine a large amount of their work involves manipulating massive graphs (people, computers, networks). Wouldn't be surprised if they have their own proprietary graph database optimized for billions or more of nodes/edges.