On the Formal Definiton of Dependencies between the Control and Information Structure of a Data Space

Abstract A data space is a general mathematical model for data types with a dynamic component (procedures). It consists of a set of objects (states), a set of functions for describing the information aspects of these objects, together with a control, i.e. a function mapping objects into objects. A set of properties is given which specify the formal relationship among the constituent components of a data space. The results of this paper especially concern the dependency between information structuring and control structuring. The mathematical analysis of this relationship is enhanced by focussing on the structure of so-called dependency sets, i.e. sets of objects which reflect the underlying control structure. The paper develops techniques for constructing meaningful dependency sets.