DIAPLAN is a language for programming with graphs representing diagrams that is currently being developed. The computational model of the languages, nested graph transformation, supports nested structuring of graphs, and graph variables, but is—hopefully—still intuitive. This paper is about structural typing of nested graphs and nested graph transformation systems by shape rules. We extend the ...

This paper describes an execution time estimating model for nested transactions running on locally distributed database systems. At rst the model of nested transactions and the model of a locally distributed database system are established. The performance evaluation model of nested transactions is then built in three steps. The rst step describes a nondeterministic algorithm that evaluates the...