Efficient Connectivity Analysis and Path Management in Massive Graphs