Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Extended directed graphs, a formalism for structured data and data structures

  • 22 Accesses

Summary

This paper concerns the problem of definition and description of structured data. A formalism based on the notion of the extended directed graph is developed. Operations and data structure classes are defined. Properties of data structures are studied; in particular, the definition of a data structure by means of its operations is investigated.

This is a preview of subscription content, log in to check access.

References

  1. 1.

    Adelson-Velskii, G. M., Landis, E. M.: An algorithm for the organization of information. Doklady Akademii Nauk USSR 16, 263–266 (1962)

  2. 2.

    Bayer, R.: Organization and maintenance of large ordered indexes. Acta Informatica 1, 173–189 (1972)

  3. 3.

    Bayer, R.: Symmetric binary B-trees: data structure and maintenance algorithms. Acta Informatica 1, 290–306 (1972)

  4. 4.

    Early, J.: Towards an understanding of data structures. Comm. ACM 14, 617–627 (1971)

  5. 5.

    Harary, F.: Graph theory. Reading (Mass.): Addison-Wesley 1969

  6. 6.

    Hoare, C. A. R.: Notes on data structuring. In: Structured programming (O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare, eds.), APIC studies in data processing, No. 8. London-New York: Academic Press

  7. 7.

    Knuth, D. E.: The art of computer programming, Vol. 1. Reading (Mass.): Addison-Wesley 1972

  8. 8.

    Knuth, D. E.: The art of computer programming, Vol. 3. Reading (Mass.): Addison-Wesley 1973

  9. 9.

    Liskov, B., Zilles, S.: Programming with abstract data types. Proceedings of ACM Conference on Very High Level Languages. SIGPLAN Notices 9, 4, 50–59 (1974)

  10. 10.

    Liskov, B., Zilles, S.: Specification techniques for data abstractions. Proceedings of ACM SIGPLAN Conference on Reliable Software. SIGPLAN Notices 10, 4, 72–88 (975)

  11. 11.

    Majster, M.: Erweiterte gerichtete Graphen, ein Modell für Datenstrukturen und Datenstrukturklassen. Technische Universität München, Dissertation (1975)

  12. 12.

    Majster, M.: Realizations of data structures. To be published

  13. 13.

    Rosenberg, A. L.: Data graphs and addressing schemes. J. Computer and System Sciences 5, 193–238 (1971)

  14. 14.

    Shoenfield, J. R.: Mathematical logic. Reading (Mass.): Addison-Wesley 1967

  15. 15.

    Spitzen, J., Wegbreit, B.: The verification and synthesis of data structures. Acta Informatica 4, 127–144 (1975)

  16. 16.

    Turski, W. M.: A model for data structures and its applications. Acta Informatica 1, 26–34 (1971)

Download references

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Majster, M.E. Extended directed graphs, a formalism for structured data and data structures. Acta Informatica 8, 37–59 (1977). https://doi.org/10.1007/BF00276183

Download citation

Keywords

  • Information System
  • Operating System
  • Data Structure
  • Communication Network
  • Information Theory