Relational structures and their partial morphisms in view of single pushout rewriting

Yasuo Kawahara, Yoshihiro Mizoguchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Abstract

In this paper we present a basic notion of relational structures which includes simple graphs, labelled graphs and hypergraphs, and introduce a notion of partial morphisms between them. An existence theorem of pushouts in the category of relational structures and their partial morphisms is proved under a certian functorial condition, and it enables us to discuss single pushout rewritings of relational structures.

Original languageEnglish
Title of host publicationGraph Transformations in Computer Science - International Workshop, Proceedings
Editors Hans Jurgen Schneider, Hartmut Ehrig
PublisherSpringer Verlag
Pages218-233
Number of pages16
ISBN (Print)9783540577874
DOIs
Publication statusPublished - Jan 1 1994
Externally publishedYes
EventInternational Workshop on Graph Transformations in Computer Science, 1993 - Dagstuhl Castle, Germany
Duration: Jan 4 1993Jan 8 1993

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume776 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Workshop on Graph Transformations in Computer Science, 1993
CountryGermany
CityDagstuhl Castle
Period1/4/931/8/93

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Relational structures and their partial morphisms in view of single pushout rewriting'. Together they form a unique fingerprint.

  • Cite this

    Kawahara, Y., & Mizoguchi, Y. (1994). Relational structures and their partial morphisms in view of single pushout rewriting. In H. J. Schneider, & H. Ehrig (Eds.), Graph Transformations in Computer Science - International Workshop, Proceedings (pp. 218-233). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 776 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-57787-4_14