REVIEW 4 major objections 5 minor 1 cited by
PathDB: A system for evaluating regular path queries
T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read PathDB claims that regular path queries can be evaluated as compositions of algebraic operators over multisets of paths, outperforming automaton-guided DFS and BFS traversal on large property graphs, often by more than an order of…
desk verdict A useful system paper with a real algebraic contribution, but the headline performance claim is not supported by its own Table 4. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the recursive join $\phi_\tau(S)$, the least fixed point of repeatedly joining the accumulated path multiset with the base path multiset, using the join operator $S \bowtie_\tau S'$ that concatenates two linkable paths (the end node of one equals the start node of the other) while enforcing restrictor $\tau$. Selection $\sigma_c$ filters paths on node/edge labels, properties, length, and trail/simple/acyclic tests; union is bag union; projection $\pi^j_\alpha$ turns the first $j$ paths into a relational table. The algebra is closed in that every operator except projection returns a multiset of paths, which lets one operator's output feed another and lets intermediate results be reused. Restrictors also govern termination: Walk allows infinite path sets on cyclic graphs, while Trail, Simple, and Acyclic bound recursion by forbidding repeated edges or nodes.
What would settle it
Run the same 142-query workload with a 100-path limit and a 120-second timeout on the same four graphs using an independent, optimized traversal-based engine that supports the same four path restrictors: if its median execution times matched or beat PathDB's, the paper's claim that the algebraic strategy itself is the source of the speedup would fail.
Extended reading notes
Core claim
The central claim is that path queries gain a practical advantage when intermediate results are first-class multisets of paths: each operator consumes one or two such multisets and returns another, so recursive construction reuses shared subpaths instead of re-exploring them. The recursive join operator builds longer paths by concatenating linkable paths and repeating to a fixed point, while a path restrictor filters the growing multiset at each step. PathDB compiles a declarative RPQ into a tree of selection, join, union, recursive join, and projection operators, and executes the tree with lazy iterators. In the first experiment, on graphs with up to about 3.2 million nodes and 17.3 million edges, PathDB's slowest query took roughly 7 seconds, while the DFS baseline's slowest took about 49 seconds and BFS about 88 seconds, with PathDB leading on every abstract pattern.
Load-bearing premise
The load-bearing premise is that the two self-implemented automaton-guided traversal baselines, DFS+A and BFS+A, fairly represent standard traversal-based RPQ evaluation; Section 6.5 of the paper admits that implementation choices (data structures, caching, object allocation) may still influence their performance.
Editorial extensions
If this is right
- Full-path results become available under all four restrictors (walk, trail, simple, acyclic) from a single engine, rather than only endpoint pairs as in most traversal-based RPQ evaluation.
- Recursive queries are where the algebraic strategy shows the largest advantage: on the 1.0-scale graph the slowest PathDB query took about 7 seconds versus about 49 seconds for the DFS baseline and 88 seconds for the BFS baseline.
- Because plans are operator trees over path multisets, classical relational optimizations such as predicate pushdown and operator reordering become applicable to path queries.
- The cost of a query tracks the syntactic complexity of its regular expression, and patterns with closure over concatenation ((A·B)+, (A·B)*) are the expensive ones across all four semantics.
- All four path semantics are computable in practical times on the tested 9.3-million-node graph, with Walk often fastest and Simple or Acyclic generally the most expensive.
Reading between the lines
- A natural next experiment the paper leaves implicit is a head-to-head comparison against an independently implemented, optimized traversal engine on the same workload; the current evidence isolates the evaluation strategy only relative to the two self-built baselines.
- The recursive join operator is the clear performance lever: investing in lazy evaluation, incremental materialization, or early cycle-pruning should directly reduce the high times seen for closure-over-concatenation patterns.
- The algebra's closure suggests a planner could automatically choose the cheapest sound restrictor for a given query, since Walk recursion can diverge on cyclic graphs while Trail, Simple, and Acyclic terminate by construction.
- Extending the operators to spill intermediate path multisets to disk or to evaluate multi-pattern and aggregate path queries are natural next steps that the operator-at-a-time design seems able to host without changing the algebra's semantics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents PathDB, an in-memory Java engine that evaluates regular path queries over property graphs using a closed path algebra over multisets of paths. The algebra comprises selection, join, union, recursive join, and projection, with support for walk, trail, simple, and acyclic path restrictors. Declarative GQL-inspired queries are translated into operator trees and executed via iterators. The experimental section compares PathDB against two self-implemented automaton-guided traversal baselines (DFS+A and BFS+A) on LDBC SNB graphs G1--G3 under Trail semantics, and separately measures PathDB alone on G4 under all four restrictors. The paper claims PathDB consistently outperforms both baselines, often by more than an order of magnitude.
Significance. If the claims are correct, the paper makes a useful contribution: it demonstrates that an algebra-based, operator-at-a-time strategy can evaluate full-path RPQs with multiple path semantics, and it provides a concrete system with publicly available code and workloads. The idea of reusing intermediate path multisets instead of repeatedly traversing overlapping subpaths is principled and plausibly beneficial, especially for recursive patterns. The paper also explicitly discusses threats to validity and publishes reproducibility artifacts, which raises the evidentiary quality. However, the significance is tempered by two issues: the central performance claim is not as cleanly supported as stated, and the formal development has gaps in the definition of projection and in the specification of the translation from queries to algebra.
major comments (4)
- [Table 4; Abstract; Section 6.4.1; Section 8] The claim that PathDB 'consistently outperforms' both baselines is contradicted by Table 4 on graph G3 (SF 1.0) for abstract pattern ((A·B)·C): PathDB averages 4.027 s while BFS+A averages 3.918 s. This is not an aggregate anomaly, since the same row in the G3 block also shows BFS+A's minimum time (3.918 s). The abstract, Section 6.4.1, and Section 8 all make unqualified consistency claims. The authors should either correct the data, show that this entry is an outlier caused by a specific real-query instance, or qualify the claim (e.g., 'PathDB is faster on almost all patterns, with one exception').
- [Section 4.2, Projection operator] The definition of projection π_j^α(S) = {proy(α, p_i) | 1 ≤ i ≤ min(j,|S|)} refers to 'the i-th path in S', but S is a multiset and the algebra never defines an ordering over the paths in a multiset. Since the LIMIT clause in the query language (Section 5.1) depends on this projection, the semantics of LIMIT and the meaning of 'first j paths' are under-specified. The authors need to define an explicit order (e.g., by path construction order, by a total order on path identifiers, or by a nondeterministic but fixed operator implementation) or redefine projection so that it does not depend on an unspecified ordering.
- [Section 5.2] The translation functions T_M, T_W, and T_R, which map MATCH, WHERE, and RETURN clauses to algebra expressions, are only presented through a single running example. The paper states that 'for the sake of space' the detailed description is omitted, but this translation is a core contribution: it is the mechanism that connects the declarative language to the algebraic evaluation. Without a precise recursive definition of T_M (covering alternation, Kleene star, optionality, concatenation, and negation) and a correctness argument, the reader cannot verify that the system indeed evaluates RPQs according to the stated algebra. This is a load-bearing gap and should be addressed by giving the full translation rules, at least in an appendix.
- [Section 6.2; Section 6.4.1; Section 6.5] The performance comparison uses only two baselines (DFS+A and BFS+A) that were implemented by the same authors for this paper. As Section 6.5 admits, implementation choices such as data structures, caching, and object allocation may influence the results. The paper does not benchmark against any existing graph database system or an established product-graph implementation, so the evidence supports the claim only with respect to these two particular implementations, not to 'traversal-based evaluation' as a general approach. Furthermore, the main experiment is restricted to the Trail restrictor (Section 6.4.1), while the abstract and conclusions present the outperformance claim without this qualification. The authors should either add a third-party comparison or clearly limit the headline claim to the tested baselines and Trail semantics.
minor comments (5)
- [Appendix A (grammar)] The restrictor token for acyclic is written as 'ACYCLIC’' with a closing quotation mark instead of an ASCII apostrophe; this is a typo in the grammar definition.
- [Section 6.4.2] The text states that 'adding an additional concatenation increases the time to 1.269 seconds' when discussing the (A·B) pattern, whose Table 5 value is 1.436 seconds for Walk; 1.269 seconds is actually the value for ((A|B)|C). The sentence should refer to the correct pattern or be rephrased.
- [Section 6.4.2] The text says 'Acyclic shows the longest time with 36.511 seconds for (A·B)+', but Table 5 shows the Acyclic maximum is 36.551 seconds for (A·B+), and the value for (A·B)+ is 20.200 seconds. The reported pattern and value do not match the table.
- [Section 4.2, recursive join and join] The definitions of join and recursive join use set-builder notation (e.g., {p1∘p2 | ...}) without specifying how multiplicities are handled when the input is a multiset. Since the paper emphasizes a closed algebra over multisets, the operator definitions should clarify the multiplicity semantics (e.g., that duplicates are preserved according to the Cartesian product of occurrences).
- [Section 6.3.2] The real-query example 'MATCH TRAIL p = (x)-[(likes.hasCreator)*]-(y)...' uses a Kleene star, while the corresponding abstract pattern in Table 3 is (A·B)+ (transitive closure) for the template (likes.hasCreator)+. The example appears to be for a different pattern; consider aligning it with the table or explicitly noting that it illustrates a star query.
Circularity Check
No significant circularity: PathDB's algebraic derivation is self-contained; only minor self-citations appear in non-load-bearing roles.
full rationale
PathDB's central contribution is a closed path algebra whose operators (selection, join, union, recursive join, projection) are defined in Section 4 independently of the experimental outcomes, and the RPQ-to-algebra translation in Section 5.2 is a direct syntax-directed mapping rather than a fitted or self-referential derivation. The performance comparison in Section 6 compares PathDB to two self-implemented traversal baselines, with Section 6.5 explicitly acknowledging that 'implementation choices... may still influence performance'; this is a construct-validity limitation, not a circular step, because the baselines' behavior is not derived from PathDB's equations and no parameter of PathDB is fitted to the baselines' outputs. The only identifiable self-citations are [10] (PGDF, used as an input file format in Section 2.3) and the co-authored survey [3]; neither carries a load-bearing argument, and the paper does not lean on a uniqueness theorem or prior work by its authors to force its design. The apparent inconsistency in Table 4 for ((A·B)·C) on G3, where PathDB (4.027 s) is slower than BFS+A (3.918 s), undermines the 'consistently outperforms' phrasing in Section 6.4.1 and the abstract, but contradiction with a table entry is a factual/correctness issue rather than circularity. Overall, there is no step in the paper that reduces, by its own equations or definitions, to its own inputs.
Assumptions & free parameters
free parameters (3)
- Result limit =
100 paths
- Query timeout =
120 seconds
- Source-node selection =
median out-degree node
assumptions (4)
- domain assumption Property graph model G=(N,E,rho,lambda,nu) as defined in Section 3.1
- domain assumption Path restrictor semantics for Walk, Trail, Acyclic, and Simple follow GQL (Section 4.1.2)
- domain assumption Recursive join reaches a fixed point for Trail, Acyclic, and Simple restrictors (Section 4.2)
- ad hoc to paper The translation functions T_M, T_W, T_R from path queries to algebra expressions exist and are correct (Section 5.2)
Cite this review
Pith. "Pith review of PathDB: A system for evaluating regular path queries." pith.science (2026). https://pith.science/paper/HIR6YXHL
@misc{pith2026250701755,
author = {Pith},
title = {Pith review of: PathDB: A system for evaluating regular path queries},
year = {2026},
howpublished = {\url{https://pith.science/paper/HIR6YXHL}},
note = {Machine review of arXiv:2507.01755}
}
read the original abstract
Regular Path Queries (RPQs) are a core mechanism for expressing recursion and reachability in graph databases. However, most systems evaluate RPQs with traversal-based algorithms that repeatedly explore overlapping subpaths and offer limited control over path semantics. We present PathDB, an algebraic query engine for RPQs based on a closed path algebra over multisets of paths with five operators: selection, join, union, recursive join, and projection. PathDB provides (i) a GQL-inspired declarative language that supports RPQs with multiple semantics (walk, trail, simple, and acyclic), (ii) an operator-at-a-time execution procedure analogous to relational query processing, and (iii) result formats that include full paths, not only endpoint pairs. The experimental evaluation, based on four LDBC Social Network Benchmark property graphs and a workload of 142 queries derived from 26 path patterns, showed that PathDB outperforms two automaton-guided traversal baselines (DFS and BFS), often by more than an order of magnitude.
Figures
Figures from the paper (6 more)
Forward citations
Cited by 1 Pith paper
-
Efficient Path Query Processing in Relational Database Systems
ReCAP enables relational DBMS like DuckDB to push property constraints deep into path query plans for speedups up to 400,000x over state-of-the-art graph and relational systems.
Reference graph
Works this paper leans on
-
[1]
The future is big graphs: a community view on graph processing systems,
S. Sakr, A. Bonifati, H. Voigt, A. Iosup, K. Ammar, R. Angles, W. Aref, M. Arenas, M. Besta, P. A. Boncz, K. Daudjee, E. D. Valle, S. Dumbrava, O. Hartig, B. Haslhofer, T. Hegeman, J. Hidders, K. Hose, A. Iamnitchi, V. Kalavri, H. Kapp, W. Martens, M. T. ¨Ozsu, E. Peukert, S. Plantikow, M. Ragab, M. R. Ripeanu, S. Salihoglu, C. Schulz, P. Selmer, J. F. Se...
work page 2021
-
[2]
A. Bonifati, G. Fletcher, H. Voigt, and N. Yakovets,Querying Graphs. San Rafael, CA, USA: Morgan & Claypool, oct 2018, vol. 10, no. 3. [Online]. Available: https://doi.org/10.2200/s00873ed1v01y201808dtm051
-
[3]
Foundations of modern query languages for graph databases,
R. Angles, M. Arenas, P. Barcel´ o, A. Hogan, J. L. Reutter, and D. Vrgoc, “Foundations of modern query languages for graph databases,”ACM Comput. Surv., vol. 50, no. 5, pp. 68:1–68:40, 2017. [Online]. Available: https://doi.org/10.1145/3104031
doi:10.1145/3104031 2017
-
[4]
SPARQL 1.1 Query Language (W3C Recommendation),
S. Harris and A. Seaborne, “SPARQL 1.1 Query Language (W3C Recommendation),” Mar
-
[5]
Cypher: An evolving query language for property graphs,
N. Francis, A. Green, P. Guagliardo, L. Libkin, T. Lindaaker, V. Marsault, S. Plantikow, M. Rydberg, P. Selmer, and A. Taylor, “Cypher: An evolving query language for property graphs,” inProc. of the International Conference on Management of Data (SIGMOD). New York, NY, USA: ACM, 2018, pp. 1433–1445. [Online]. Available: https://doi.org/10.1145/3183713.3190657
arXiv 2018
-
[6]
ISO/IEC 39075:2024 Information technology — Database languages — GQL,
ISO, “ISO/IEC 39075:2024 Information technology — Database languages — GQL,” Apr
work page 2024
-
[7]
——, “ISO/IEC 9075-16:2023 Information technology — Database languages SQL - Part 16: Property Graph Queries (SQL/PGQ),” Jun. 2023. [Online]. Available: https://www.iso.org/standard/79473.html
work page 2023
-
[8]
Evaluating Regular Path Queries in GQL and SQL/PGQ: How Far Can the Classical Algorithms Take Us?
B. Far ´ ıas, C. Rojas, and D. Vrgoˇ c, “Evaluating Regular Path Queries in GQL and SQL/PGQ: How Far Can the Classical Algorithms Take Us?”arXiv, no. 2306.02194, 2023. [Online]. Available: http://arxiv.org/abs/2306.02194
arXiv 2023
Show all 29 references
-
[9]
Architecture of a database system,
J. M. Hellerstein, M. Stonebraker, and J. Hamilton, “Architecture of a database system,” Foundations and Trends in Databases, vol. 1, no. 2, pp. 141–259, Feb. 2007. [Online]. Available: https://doi.org/10.1561/1900000002
2007 doi
-
[10]
The Property Graph Data Format (PGDF),
R. Angles, S. Ferrada, and I. Burgos, “The Property Graph Data Format (PGDF),”IEEE Access, vol. 12, pp. 159 267–159 279, 2024. [Online]. Available: https://doi.org/10.1109/ ACCESS.2024.3485685
2024
-
[11]
On the optimal time/space tradeoff for hash tables,
M. A. Bender, M. Farach-Colton, J. Kuszmaul, W. Kuszmaul, and M. Liu, “On the optimal time/space tradeoff for hash tables,” inProceedings of the Annual Symposium on Theory of Computing. New York, NY, USA: ACM, 2022, pp. 1284–1297. [Online]. Available: https://doi.org/10.1145/3...
2022
-
[12]
Finding regular simple paths in graph databases,
A. O. Mendelzon and P. T. Wood, “Finding regular simple paths in graph databases,” SIAM J. Comput., vol. 24, no. 6, pp. 1235–1258, Dec. 1995. [Online]. Available: https://doi.org/10.1137/S009753979122370X
1995 doi
-
[13]
LDBC Social Network Benchmark (LDBC SNB)
Graph Data Council, “LDBC Social Network Benchmark (LDBC SNB).” [Online]. Available: https://www.ldbcouncil.org/benchmarks/snb/
-
[14]
The LDBC Social Network Benchmark: Interactive Workload,
O. Erling, A. Averbuch, J. Larriba-Pey, H. Chafi, A. Gubichev, A. Prat, M.-D. Pham, and P. Boncz, “The LDBC Social Network Benchmark: Interactive Workload,” inProc. of the International Conference on Management of Data (SIGMOD). New York, NY, USA: ACM, 2015, pp. 619–630. [Onli...
2015
-
[15]
The LDBC social network benchmark: Business intelligence workload,
G. Sz´ arnyas, J. Waudby, B. A. Steer, D. Szak´ allas, A. Birler, M. Wu, Y. Zhang, and P. A. Boncz, “The LDBC social network benchmark: Business intelligence workload,”Proc. VLDB Endow., vol. 16, no. 4, pp. 877–890, 2022. [Online]. Available: https://www.vldb.org/pvldb/vol16/p...
2022
-
[16]
Efficient regular path query evaluation using path indexes,
G. H. Fletcher, J. Peters, and A. Poulovassilis, “Efficient regular path query evaluation using path indexes,” inAdvances in Database Technology – EDBT, vol. 2016-March, 2016, pp. 636– 639
2016
-
[17]
Grid-aware evaluation of regular path queries on spatial networks,
Z. Miao, D. Stefanescu, and A. Thomo, “Grid-aware evaluation of regular path queries on spatial networks,” inAINA 2007. IEEE, 2007, pp. 158–165
2007
-
[18]
Fine-grained complexity of regular path queries,
K. Casel and M. L. Schmid, “Fine-grained complexity of regular path queries,”LMCS, vol. 19, no. 4, pp. 1–15, 2023
2023
-
[19]
Evaluating regular path queries on com- pressed adjacency matrices,
D. Arroyuelo, A. G´ omez-Brand´ on, and G. Navarro, “Evaluating regular path queries on com- pressed adjacency matrices,”The VLDB Journal, vol. 34, no. 1, p. 28, nov 2024
2024
-
[20]
Regular path query evaluation on streaming graphs,
A. Pacaci, A. Bonifati, and M. T. ¨Ozsu, “Regular path query evaluation on streaming graphs,” inSIGMOD 2020. New York, NY, USA: ACM, 2020, pp. 1415–1430
2020
-
[21]
On the optimization of recursive relational queries: Application to graph queries,
L. Jachiet, P. Genev` es, N. Gesbert, and N. Layaida, “On the optimization of recursive relational queries: Application to graph queries,” inSIGMOD 2020. New York, NY, USA: ACM, 2020, pp. 681–697
2020
-
[22]
Pathfinder: Returning paths in graph queries,
B. Far ´ ıas, W. Martens, C. Rojas, and D. Vrgoˇ c, “Pathfinder: Returning paths in graph queries,” inISWC 2024. Berlin, Heidelberg: Springer, 2024, pp. 135–154
2024
-
[23]
G-core: A core for fu- ture graph query languages,
R. Angles, M. Arenas, P. Barcel´ o, P. Boncz, G. Fletcher, C. Gutierrez, T. Lindaaker, M. Paradies, S. Plantikow, J. Sequeda, O. van Rest, and H. Voigt, “G-core: A core for fu- ture graph query languages,” inSIGMOD 2018. New York, NY, USA: ACM, 2018, pp. 1421–1432
2018
-
[24]
Path algebra and algorithms,
M. Gondran, “Path algebra and algorithms,” inCombinatorial Programming: Methods and Applications. Dordrecht: Springer, 1975, pp. 137–148
1975
-
[25]
A new path algebra for finding paths in graphs,
R. Manger, “A new path algebra for finding paths in graphs,” inInt. Conf. on Information Technology Interfaces (ITI), 2004, pp. 657–662
2004
-
[26]
A path algebra for multi-relational graphs,
M. A. Rodriguez and P. Neubauer, “A path algebra for multi-relational graphs,” inInt. Conf. on Data Engineering Workshops (ICDEW). IEEE, 2011, pp. 128–131. 24
2011
-
[27]
Neo4j graph platform – the leader in graph databases,
Neo4j, “Neo4j graph platform – the leader in graph databases,” 2022, accessed: 2021-03-21. [Online]. Available: https://neo4j.com/ A PathDB Declarative Query Language Grammar. <pathQuery> ::= <matchClause> <whereClause> <returnClause> <matchClause> ::= "MATCH" <restrictor>? <p...
2022
-
[2013]
Available: https://www.w3.org/TR/sparql11-query/
[Online]. Available: https://www.w3.org/TR/sparql11-query/
-
[2024]
Available: https://www.iso.org/standard/76120.html
[Online]. Available: https://www.iso.org/standard/76120.html
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.