DistR: A Distributed Method for the Reachability Query over Large Uncertain Graphs | IEEE Journals & Magazine | IEEE Xplore