Abstract:Set reachability query in directed graphs has a plethora of graph-based applications such as dependency analysis and graph centrality calculation. Given two sets $S$ and $T$ of source and target vertices, set reachability query needs to acquire all pairs $(s,t)$ where $s{\in }S$ , $t{\in }T$ and $s$ can reach $t$ . The state-of-the-art approach distributed set reachability (DSR) investigates the set reachability query in a distributed environment and adopts a static graph-based index to enhance the query efficiency. Nevertheless, DSR needs to store the graph-based index in all partitions, which causes a huge space overhead. Furthermore, it cannot efficiently solve the negative query $(s,t)$ where $s$ cannot reach $t$ , since DSR needs to traverse the whole reachable paths and becomes unable to efficiently reduce the computations. To alleviate these issues, we propose a novel multi-level 2-hop (ML2hop) index for the set reachability query in a distributed environment. Based on ML2hop, we further present a bi-directional query algorithm, called MLQA, to achieve efficient support for both positive and negative queries in Pregel-like systems. Generally, MLQA is equipped with the following three significant properties: (1) Low computation costs. It reduces redundant local computations in each partition by controlling the rounds of path traversals. (2) Low communication costs. It restricts the message exchange among different partitions within one single round with guaranteed accuracy of query results. (3) High parallelism. It adopts a bi-directional query technique for message propagation, achieving the better query efficiency than the forward-traversal query strategy utilized in DSR. Experimental results over several real-world graphs demonstrate that MLQA significantly outperforms the state-of-the-art algorithm by up to two orders of magnitude speedup.

PReaCH: A Fast Lightweight Reachability Index using Pruning and Contraction Hierarchies

Doing More for Less -- Cache-Aware Parallel Contraction Hierarchies Preprocessing

Scaling Hop-Based Reachability Indexing for Fast Graph Pattern Query Processing

A New Linkless Hierarchical Structure Based on Perfect Hashing

IFCA: Index-Free Community-Aware Reachability Processing over Large Dynamic Graphs.

Efficient shortest path index maintenance on dynamic road networks with theoretical guarantees

DBL: Efficient Reachability Queries on Dynamic Graphs (Complete Version)

Efficient k-step Weighted Reachability Query Processing Algorithms

ESTI: Efficient K-Hop Reachability Querying over Large General Directed Graphs

Answering Label-Constrained Reachability Queries via Reduction Techniques.

GeoReach: An Efficient Approach for Evaluating Graph Reachability Queries with Spatial Range Predicates

An Efficient Index-Based Approach to Distributed Set Reachability on Small-World Graphs.

Indexing Techniques for Graph Reachability Queries

Reachability Preservers: New Extremal Bounds and Approximation Algorithms

Path Query Data Structures in Practice

Efficient Processing of Label-Constraint Reachability Queries in Large Graphs

Reactive Proximity Data Structures for Graphs

Opportunities for Shape-based Optimization of Link Traversal Queries

Towards Efficient Path Query On Social Network With Hybrid Rdf Management

Fast Hierarchy Construction for Dense Subgraphs

PowerWalk: Scalable Personalized PageRank via Random Walks with Vertex-Centric Decomposition