<テクニカルレポート>
Relational Graph Rewritings

作成者
本文言語
出版者
発行日
収録物名
出版タイプ
アクセス権
関連DOI
関連URI
関連情報
概要 Relational Graph Rewritings: This note presents a new formalization of graph rewritings which generalizes traditional graph rewritings. Relational notions of graphs and their rewritings are introduced... and several properties about graph rewritings are discussed using relational calculus (theory of binary relations). Single pushout approaches to graph rewritings proposed by Raoult and Kennaway are compared with our rewritings of relational (labeled) graph. Moreover a more general sufficient condition for two rewritings to commute and a theorem concerning critical pairs useful to demonstrate the confluency of graph rewriting systems are also given.
Graph Rewritings without Gluing Conditions: This note presents a new formalization of graph rewritings which generalizes Ehrig's graph derivations and Raoult's graph rewritings. The graph rewritings, based on a primitive pushout construction in the category of graphs and partial functions preserving graph structures, can be alivays applied without gluing colditions only if a graph has a matching to a given rewriting rule. A more general suffincient condition for two rewritings to commute is also proved. The simplicity of our discussion cornes from the usage of relational calculus (theory of binary relations).
続きを見る

本文ファイル

pdf 42.ps.tar pdf 215 KB 235 Relational Graph Rewritings
tgz 42.ps tgz 104 KB 26 Relational Graph Rewritings
pdf rifis-tr-42 pdf 1.26 MB 266 Graph Rewritings without Gluing Conditions

詳細

レコードID
査読有無
注記
タイプ
登録日 2009.04.22
更新日 2018.08.31

この資料を見た人はこんな資料も見ています