Abstract
Derivations of relational structures by applying productions are considered. The corresponding concepts are taken from the existing algebraic (category theory) approach to transformations of relational structures. An idea of programs for defining sets of derivations is introduced. A number of programming constructs is introduced to specify applications of productions in a controlled way. These constructs are given together with two mathematical semantics which allow a rigorous reasoning about programs.
Research supported in part by Esprit Basic Research Working Group No. 3299.
Preview
Unable to display preview. Download preview PDF.
References
H. Ehrig, H.J. Kreowski, A. Maggiolo-Schettini, B.K. Rosen, J. Winkowski, Transformations of Structures: An Algebraic Approach, Math. Systems Theory 14 (1981) 305–334.
A. Maggiolo-Schettini, J. Winkowski, Processes of Transforming Structures, J. Comput. System Sci. 24(1982) 245–282.
A. Maggiolo-Schettini, J. Winkowski, Towards a Programming Language for Manipulating Relational Data Bases, in: D. Bjorner (ed.), Formal Description of Programming Concepts II, North-Holland, Amsterdam, 1983, 265–280.
A. Maggiolo-Schettini, M. Napoli, G. Tortora, Web Structures: A Tool for Representing and Manipulating Programs, IEEE Trans. on Soft. Eng.14 (1988) 1621–1639.
B. Mayoh, A Uniform Model for the Growth of Biological Organisms: Cooperating Sequential Processes, in: G. Rozenberg, A. Salomaa (eds.): The Book of L, Springer, Berlin, 1986, 291–301.
V. Railich, Dynamics of Discrete Systems and Pattern Reproduction, J. Comput. System Sci. 11 (1975) 186–202.
G.Winskel, An Event Structure Semantics for CCS and Related Languages, Springer LNCS 140, 1982, 561–576.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maggiolo-Schettini, A., Winkowski, J. (1991). Programmed derivations of relational structures. In: Ehrig, H., Kreowski, HJ., Rozenberg, G. (eds) Graph Grammars and Their Application to Computer Science. Graph Grammars 1990. Lecture Notes in Computer Science, vol 532. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017414
Download citation
DOI: https://doi.org/10.1007/BFb0017414
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54478-4
Online ISBN: 978-3-540-38395-6
eBook Packages: Springer Book Archive