PDF:
Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans
| Title | Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Varró, G., Horváth, Á., and Varró, D. |
| Editor | Schürr, A., Nagl, M., and Zündorf, A. |
| Conference Name | Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007) |
| Publisher | Springer |
| Keywords | Pattern matching, recursive pattern matching, Viatra |
| Abstract | We present core data structures and algorithms for matching graph patterns with general recursion. Our approach uses magic sets, a well-known technique from deductive databases, which combines fixpoint-based bottom-up query evaluation with top-down handling of input parameters. Furthermore, this technique is enhanced with the global search plans, thus non-recursive calls are always flattened before elementary pattern matching operations are initiated in order to improve performance. |
