Adding regular expressions to graph reachability and pattern queries

Abstract

发现边不同类型是的在图是逐渐地普通的，显示许多关系。为如此的图，我们建议 reachability 询问的一个类和图模式，一个边与某个形式的一个正规表达式在被指定的一个类，表示经由各种各样的类型的边的一张数据图的连接。另外，我们定义图模式基于图模拟的一个修订观点匹配。在在象社会网络那样的新兴的应用的图上，我们证明这些询问能够比他们的传统的对应物发现更理智的信息。更好静止，他们的增加的富有表达力的力量不与额外的复杂性来。确实，(1 ) 我们调查他们的抑制和最小化问题，并且证明这些基本问题在 reachability 询问的二次的时间并且在模式询问的立方的时间。(2 ) 我们为回答 reachability 询问开发一个算法，在至于他们的传统的对应物的二次的时间。(3 ) 我们为评估图模式询问提供二个立方时间的算法，与图模式经由 subgraph 同晶型匹配的 NP 完全性对比。(4 ) 这些算法的有效性和效率试验性地用真实数据和合成数据被验证。