scholarly journals State Isomorphism in Model Programs with Abstract Data Structures

2007 ◽  
pp. 112-127 ◽  
Author(s):  
Margus Veanes ◽  
Juhan Ernits ◽  
Colin Campbell
Keyword(s):  
Data Structures ◽  
Abstract Data ◽  
Model Programs

Abstract Data Structures

2017 ◽  
pp. 3-23
Author(s):  
Thomas Mailund
Keyword(s):  
Data Structures ◽  
Abstract Data

Concurrent Transformations of Relational Structures

1986 ◽  
Vol 9 (1) ◽  
pp. 13-49
Author(s):  
Hartmut Ehrig ◽  
Annegret Habel ◽  
Barry K. Rosen
Keyword(s):  
Data Structures ◽  
Relational Data ◽  
Graph Grammars ◽  
Data Types ◽  
Relational Structures ◽  
Formal Framework ◽  
Common Framework ◽  
Abstract Data ◽  
Decomposition Of Transformations ◽  
Fundamental Theorems

This paper provides a common framework to study transformations of structures ranging from all kinds of graphs to relational data structures. Transformations of structures can be used as derivations of graphs in the sense of graph grammars, as update of relations in the sense of relational data bases, or even as operations on data structures in the sense of abstract data types. The main aim of the paper is to construct parallel and concurrent transformations from given sequential ones and to study sequentializability properties of complex transformations. The main results are three fundamental theorems concerning parallelism, concurrency and decomposition of transformations of structures. On one hand these results can be considered as a contribution to the study of con currency in graph grammars and on the other hand as a formal framework for consistent concurrent update of relational structures.

Sign in / Sign up

Export Citation Format

Share Document