SociaLite: Datalog extensions for efficient social network analysis
a faster algorithm for betweenness centrality ∗ .