A Family of Graph-Theory-Driven Algorithms for Managing Complex Probabilistic Graph Data Efficiently