%0 Journal Article %1 Cremers1977113 %A Cremers, Armin B. %A Hibbard, Thomas N. %D 1977 %J Theoretical Computer Science %K abc control_structure dataspaces dependencies information_structure toread %N 2 %P 113 - 128 %R 10.1016/0304-3975(77)90002-0 %T On the formal definition of dependencies between the control and information structure of a data space %U http://www.sciencedirect.com/science/article/pii/0304397577900020 %V 5 %X 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.

@article{Cremers1977113, 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.}, added-at = {2012-11-21T15:51:01.000+0100}, author = {Cremers, Armin B. and Hibbard, Thomas N.}, biburl = {https://www.bibsonomy.org/bibtex/283ffeaa351a24ff7e3e4a0302e362b88/schmidt2}, doi = {10.1016/0304-3975(77)90002-0}, interhash = {5cf3097a483d957b1fc1e61175a0bf5a}, intrahash = {83ffeaa351a24ff7e3e4a0302e362b88}, issn = {0304-3975}, journal = {Theoretical Computer Science}, keywords = {abc control_structure dataspaces dependencies information_structure toread}, number = 2, pages = {113 - 128}, timestamp = {2012-11-21T15:51:01.000+0100}, title = {On the formal definition of dependencies between the control and information structure of a data space}, url = {http://www.sciencedirect.com/science/article/pii/0304397577900020}, volume = 5, year = 1977 }