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. Our approach is exemplified using Viatra2.
This work was partially supported by the SENSORIA European IP (IST-3-016004), the Hungarian National Research Fund and the National Office for Research and Technology (grant No. 67651, OTKA), and the János Bolyai scholarship.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)
Kreowski, H.J., Kuske, S.: Graph transformation units and modules. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2, pp. 607–638. World Scientific, Singapore (1999)
Heckel, R., Ehrig, H., Engels, G., Taentzer, G.: Classification and comparison of module concepts for graph transformation systems (1999)
Zündorf, A.: Graph pattern-matching in PROGRES. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 454–468. Springer, Heidelberg (1996)
Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: Proc. of the 22nd International Conference on Software Engineering, pp. 742–745. ACM Press, New York (2000)
Balogh, A., Varró, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: Proc. of the 21st ACM Symposium on Applied Computing, Dijon, France, pp. 1280–1287. ACM Press, New York (2006)
Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: Bézivin, J., Rumpe, B., Schürr, A., Tratt, L. (eds.) Proc. of the International Workshop on Model Transformation in Practice (MTiP 2005), October 3rd (2005)
Horváth, Á., Varró, G., Varró, D.: Generic search plans for matching advanced graph patterns. In: Proc. of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007). March 31- April 1 2007, Braga, Portugal, March 31- April 1 2007. Electornic Communications of the EASST, pp. 57–68 (2007)
Guerra, E., de Lara, J.: Adding recursion to graph transformation. In: Proc. of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), Braga, Portugal, March 31- April 1 2007. Electornic Communications of the EASST, pp. 107–120 (2007)
Lindqvist, J., Lundkvist, T., Porres, I.: A query language with the star operator. In: Proc. of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), Braga, Portugal, March 31- April 1 2007. Electornic Communications of the EASST, pp. 69–80 (2007)
Ullman, J.D.: Principles of database and knowledge-base systems, vol. II. Computer Science Press, Inc., New York (1989)
Varró, G., Varró, D., Friedl, K.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. In: Karsai, G., Taentzer, G. (eds.) Proc. of Int. Workshop on Graph and Model Transformation (GraMoT 2005), Tallinn, Estonia. ENTCS, vol. 152, pp. 191–205 (September 2005)
Bézivin, J., Rumpe, B., Schürr, A., Tratt, L.: Challenge of the model transformations in practice workshop (October 3rd 2005)
Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varró, D., Varró-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005) (2005)
Ullman, J.D.: Principles of Database and Knowledge-Base Systems. The New Technologies, vol. II. Computer Science Press (1989)
Agrawal, A., Vizhanyo, A., Kalmar, Z., Shi, F., Narayanan, A., Karsai, G.: Reusable idioms and patterns in graph transformation languages. In: Mens, T., Schürr, A., Taentzer, G. (eds.) Proc. of the International Workshop on Graph-Based Tools, Rome, Italy. ENTCS, vol. 127, pp. 181–192. Elsevier, Amsterdam (2004), http://tfs.cs.tu-berlin.de/grabats/
Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: Model transformation with a visual control flow language. International Journal of Computer Science 1(1), 45–53 (2006)
Kalnins, A., Celms, E., Sostaks, A.: Model transformation approach based on MOLA. In: Bézivin, J., Rumpe, B., Schürr, A., Tratt, L. (eds.) Proc. of the International Workshop on Model Transformation in Practice (MTiP 2005) (October 2005), http://sosym.dcs.kcl.ac.uk/events/mtip05/
Weinell, E.: Adaptable support for queries and transformations for the DRAGOS graph-database. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Proc. of the 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, Kassel, Germany (October 2007)
Fuss, C., Tuttlies, V.E.: Simulating set-valued transformations with algorithmic graph transformation languages. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Proc. of the 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, Kassel, Germany (October 2007)
Körtgen, A.T.: Modeling successively connected repetitive subgraphs. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Proc. of the 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, Kassel, Germany (October 2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Varró, G., Horváth, Á., Varró, D. (2008). Recursive Graph Pattern Matching. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-89020-1_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89019-5
Online ISBN: 978-3-540-89020-1
eBook Packages: Computer ScienceComputer Science (R0)