回答工作流谱系上的正则路径查询

本文提出了一种新方法，用于高效评估可能包含递归的工作流谱系图上的正则路径查询。该方法假设工作流 $G$ 的执行 $g$ 已使用现有技术标记了与查询无关的可达性标签。在查询时，给定 $g$、$G$ 和正则路径查询 $R$，该方法将 $R$ 分解为一组对 $G$ 安全的子查询 $R_1, ..., R_k$。对于每个安全子查询 $R_i$，重写 $G$ 使得利用 $g$ 中节点的可达性标签，可以在常数时间内判定两个节点之间是否存在匹配 $R_i$ 的路径。然后将每个安全子查询的结果进行组合（可能包含一些小的不安全剩余部分），以生成 $R$ 的答案。该方法产生的算法通过增加子查询的大小和复杂度，显著减少了现有技术的子查询数量 $k$，并且评估每个子查询的时间受其输入和输出大小的限制。实验结果证明了该方法的优势。