Skip to main content
SpringerLink
Log in

Programmed derivations of relational structures

  • Conference paper
  • First Online:
Graph Grammars and Their Application to Computer Science (Graph Grammars 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 532))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Article  Google Scholar 

  2. A. Maggiolo-Schettini, J. Winkowski, Processes of Transforming Structures, J. Comput. System Sci. 24(1982) 245–282.

    Article  Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Article  Google Scholar 

  5. 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.

    Google Scholar 

  6. V. Railich, Dynamics of Discrete Systems and Pattern Reproduction, J. Comput. System Sci. 11 (1975) 186–202.

    Google Scholar 

  7. G.Winskel, An Event Structure Semantics for CCS and Related Languages, Springer LNCS 140, 1982, 561–576.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56100, Pisa, Italy

    Andrea Maggiolo-Schettini

  2. Instytut Podstaw Informatyki PAN, 00-901, Warszawa, PKiN, Skr.p. 22, Poland

    Józef Winkowski

Authors
  1. Andrea Maggiolo-Schettini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Józef Winkowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hartmut Ehrig Hans-Jörg Kreowski Grzegorz Rozenberg

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation