DistR: A Distributed Methodfor the Reachability Query over Large Uncertain Graphs