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
Publication statusPublished - Jan 1 1994
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

Fingerprint

Rewriting
Morphisms
Partial
Simple Graph
Hypergraph
Existence Theorem
Graph in graph theory

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

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.

Relational structures and their partial morphisms in view of single pushout rewriting. / Kawahara, Yasuo; Mizoguchi, Yoshihiro.

Graph Transformations in Computer Science - International Workshop, Proceedings. ed. / Hans Jurgen Schneider; Hartmut Ehrig. Springer Verlag, 1994. p. 218-233 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 776 LNCS).

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

Kawahara, Y & Mizoguchi, Y 1994, Relational structures and their partial morphisms in view of single pushout rewriting. in HJ Schneider & H Ehrig (eds), Graph Transformations in Computer Science - International Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 776 LNCS, Springer Verlag, pp. 218-233, International Workshop on Graph Transformations in Computer Science, 1993, Dagstuhl Castle, Germany, 1/4/93.
Kawahara Y, Mizoguchi Y. Relational structures and their partial morphisms in view of single pushout rewriting. In Schneider HJ, Ehrig H, editors, Graph Transformations in Computer Science - International Workshop, Proceedings. Springer Verlag. 1994. p. 218-233. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Kawahara, Yasuo ; Mizoguchi, Yoshihiro. / Relational structures and their partial morphisms in view of single pushout rewriting. Graph Transformations in Computer Science - International Workshop, Proceedings. editor / Hans Jurgen Schneider ; Hartmut Ehrig. Springer Verlag, 1994. pp. 218-233 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{abb77e496fac48268d83156a8be7d707,
title = "Relational structures and their partial morphisms in view of single pushout rewriting",
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.",
author = "Yasuo Kawahara and Yoshihiro Mizoguchi",
year = "1994",
month = "1",
day = "1",
language = "English",
isbn = "9783540577874",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "218--233",
editor = "Schneider, { Hans Jurgen} and Hartmut Ehrig",
booktitle = "Graph Transformations in Computer Science - International Workshop, Proceedings",
address = "Germany",

}

TY - GEN

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

AU - Kawahara, Yasuo

AU - Mizoguchi, Yoshihiro

PY - 1994/1/1

Y1 - 1994/1/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=21744445346&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=21744445346&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:21744445346

SN - 9783540577874

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 218

EP - 233

BT - Graph Transformations in Computer Science - International Workshop, Proceedings

A2 - Schneider, Hans Jurgen

A2 - Ehrig, Hartmut

PB - Springer Verlag

ER -