A data structure model is presented that is characteristic of a class of structures called data graphs. Data structures are considered to be a collection of data items together with a set of relations defined on these ...