Abstract
Given a sequence of manipulation rules together with dependence relations (allowing later rules to depend on the effects of earlier rules), we construct a single "concurrent manipulation rule" with the following property: Each application of the sequence of rules to a multidimensional information structure — such that the dependence relations are respected — can be performed in a single step applying the concurrent manipulation rule to the same structure. Moreover this becomes a bijective correspondence between such manipulation sequences and "concurrent manipulations". This "Concurrency Theorem" is formulated and proved in the framework of the algebraic theory of graph grammars using new pushout and pullback lemmas for the 3- and 4-dimensional cube. As corollaries we obtain a recently published Church-Rosser-Theorem for graph derivations and a theorem reducing the strong to the weak Church-Rosser-property.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ehrig, H. — Rosen, B.K.: Concurrency of Manipulations in Multidimensional Information Structures (long version), Technical Report TU Berlin, FB 20, No. 78-13 (1978)
Arbib, M.A. — Manes, E.G.: Arrows, Structures, and Functors, Academic Press, New York, 1975
Ehrig, H. — Kreowski, H.-J.: Parallelism of Manipulations in Multidimensional Information Structures, Springer Lecture Notes Comp. Sci. 45 (1976), 284–293
—: Contributions to the Algebraic Theory of Graph Grammars, Technical Report TU Berlin, FB 20, No. 76-22 (1976), Part 1, to appear in Math. Nachr.
Ehrig, H. — Kreowski, H.-J. — Maggiolo-Schettini, A. — Rosen, B.K. — Winkowski, J.: Deriving Structures from Structures, this volume
Ehrig H. — Pfender, M. — Schneider, H.J.: Graph Grammars: An Algebraic Approach, Proc. IEEE Conf. on Automata and Switching Theory, Iowa City 1973, 167–180
Ehrig, H. — Rosen, B.K.: Commutativity of Independent Transformations of Complex Objects, IBM Research Report RC 6251 (Oct 1976)
—: The Mathematics of Record Handling, Springer Lect. Notes Comp. Sci. 52 (1977), 206–220
Farrow, R. — Kennedy, K. — Zucconi, L.: Graph Grammars and Global Program Data Flow Analysis, Proc. 17th Ann. IEEE Symp. on Foundations of Comp. Sci., Houston, Oct. 1976, pp. 42–56
Kreowski, H.-J.: Transformations of Derivation Sequences, Springer Lect. Not. Comp. Sci. 56 (1977), 275–286
Rajlich, V.: Dynamics of Discrete Systems..., J. Comp. and Syst. Sci., 11 (1975), pp. 186–202
Rosen, B.K.: Deriving Graphs from Graphs by Applying a Production, Acta Informatica 4, 337–357 (1975)
Schneider, H.J. — Ehrig, H.: Grammars on partial graphs, Acta Informatica, 6 (1976), pp. 297–316
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Rosen, B.K. (1978). Concurrency of manipulations in multidimensional information structures. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_65
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_65
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive