PathDB: A system for evaluating regular path queries. - Roberto García; Renzo Angles; Vicente Rojas; Sebastián Ferrada (CoRR, 2025)