GraphMini: 加速グラフパターンマッチングにおける補助グラフの活用

グラフパターンマッチングを高速化するために、補助グラフを使用する新しいシステムGraphMiniが他のシステムよりも優れた性能を示す。