Skip to main content
SpringerLink
Log in

Specification of data restructuring software based on the attribute method

  • Published:
International Journal of Computer & Information Sciences Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Abstract

The idea that abstract software specification is an essential phase in developing large and complex software has been widely accepted. In this paper, we specify in an abstract, but precise way, software for restructuring data structures based on the flat file and hierarchical data models. Our specification contains also the case that a target data structure is constructed from many source data structures. In data restructuring data structures are transformed. We propose the use of the attribute method for these kinds of translation oriented specification situations in the data base area. We apply the attribute method in the context of abstract syntax instead of a concrete one.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. B. Navathe, Methodology for generalized data base restructuring. Ph.D. Dissertation, University of Michigan (1976).

  2. T. Niemi, Formal restructuring functions for hierarchical data bases,Intl. J. of Comp. and Infor. Sci. 12(6):385–411 (1983).

    Google Scholar 

  3. G. H. Sockut and R. P. Goldberg, Database reorganization principles and practice,ACM Computing Surveys pp. 371–395 (December 1979).

  4. M. L. Brodie, Research Issues in data base specification,ACM Sigmod Record 13(3):42–45 (1983).

    Google Scholar 

  5. D. Bjørner, Formalization of database models, in Abstract Software Specifications, Springer Lecture Notes in Computer Science 86, (1980).

  6. E. J. Neuhold and Th. Olnhoff, The Vienna Development Method (VDM) and its use for the specification of a relational data base system, inProc. IFIP 1980, North-Holland Publishing Company, pp. 3–16 (1980).

  7. M. H. Emden and T. S. E. Maibaum, Equations compared with clauses for specification of abstract data types, inProc. Formal Bases for Data Bases, Toulouse (December 1979).

  8. F. W. Tompa, Practical example of specification of abstract data types,Acta Informatica 13:205–224 (1980).

    Google Scholar 

  9. A. L. Furtado, An informal approach to formal specifications,ACM Sigmod Record 13(3):32–41 (1983).

    Google Scholar 

  10. P. A. S. Veloso, J. M. V. De Castilho, and A. L. Furtado, Systematic derivation of complementary specifications, inProc. 7th Intl. Conf. on Very Large Data Bases, Mexico City, pp. 409–421 (1981).

  11. D. E. Knuth, Semantics of context-free languages,Mathematical Systems Theory (2):127–145 (1968).

  12. D. Ridjanovic and L. Brodie, Defining data base dynamics with attribute grammars,Infor. Processing Letters 14(6):132–138 (1982).

    Google Scholar 

  13. C. M. R. Kintala, Attributed grammars for query language translations, inProc. 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Atlanta, Georgia, pp. 137–148 (March 1983).

  14. E. Gansner, T. R. Horgan, C. M. R. Kintala, D. J. Moore, and P. Surko, Semantics and correctness of a query language translation,Conf. Record of the Ninth Symp. on Principles of Programming Language, pp. 289–298 (1982).

  15. T. Niemi, Specification of a query language by the attribute method, BIT24:171–186 (1984).

    Google Scholar 

  16. H. Kangassalo, H. Jaakkola, K. Järvelin, T. Lehtonen, and T. Niemi, System D-An integrated tool for systems design, implementation and data base management, inProc. the IFIP WG 8.1 Working Conference on Automated Tools for Information Systems Design, Implementation, New Orleans, pp. 67–83 (January 1982).

  17. R. Kurki-Suonio, Towards better structured definitions of programming languages, Stanford University, STAN-CS-75-500 (1975).

  18. T. Niemi, A formal description of data structures based on flat file and hierarchical data models, inProc. The First Scandinavian Research Seminar on Data Modelling and Data Management, Tampere, pp. 345–363 (January 1982).

  19. T. Niemi, A seven-tuple representation for hierarchical data structures,Infor. Syst. 8(3):151–157 (1983).

    Google Scholar 

  20. B. C. Housel and N. C. Shu, A high-level data manipulation language for hierarchical data structures, inProc. Conf. on Data: Abstraction, Definition and Structure, ACM Sigplan, FDT, pp. 155–168 (1976).

  21. N. C. Shu, B. C. Housel, and V. Y. Lum, Convert: A high-level translation definition language for data conversion,Comm. ACM pp. 557–567 (October 1975).

  22. N. C. Shu, B. C. Housel, R. W. Taylor, S. P. Gosh, and V. Y. Lum, Express: A data extraction, processing, and restructuring system,ACM Trans. Database System 2(2):134–174 (1977).

    Google Scholar 

  23. G. Jaeschke and H. J. Scheck, Remark on the algebra of non first normal form relations, inProc. ACM Symposium on Principles of Database Systems, Los Angeles, pp. 124–138 (March 1982).

  24. G. Jaeschke, An algebra of power set type relations, Heidelberg Scientific Centre, TR 82.12.002 (December 1982).

  25. D. C. Tsichritzis and F. H. Lochovsky, Data base management systems, Academic Press (1977).

  26. T. Niemi, A relational algebra for manipulating relations and their schemas together, inProc. The Second Scandinavian Research Seminar on Information Modelling and Data Base Management, Tampere, pp. 441–462 (January 1983).

  27. T. Niemi and K. Järvelin, A straightforward formalization of the relational model. (To appear in Infor. Syst., 1984.)

  28. C. Date, A formal definition of the relational model,ACM Sigmod Record 13(1):18–29 (1982).

    Google Scholar 

  29. P. Naur, Formalization in program development,BIT 22(4):437–453 (1982).

    Google Scholar 

  30. T. Niemi, A comparative study of two formal specification methods in data base environment, inProc. The Third Scandinavian Research Seminar on Data Modelling and Data Management, Tampere, pp. 331–357 (January 1984).

  31. B. C. Housel, Pipelining: A technique for implementing data restructures,ACM Trans. Database System 4(4):470–492 (1979).

    Google Scholar 

  32. A. Shoshani, A logical-level approach to data base conversion, inProc. ACM Sigmod, San Jose, pp. 112–122 (May 1975).

  33. K. Lewis, B. Driver, and M. Deppe, A translation definition language for the version II translator, Report of Data Translation Project of Michigan (1975).

  34. K. Lewis, Kendal, and J. P. Fry, A comparison of tree translation definition languages, Working paper Dt 5.1, Data Translation Project University of Michigan (1976).

  35. J. P. Fry (panel chairman), Conversion technology, an assessment, Data Base,13(1):39–61 (1981); also inSigmod Record 12(2), (1982).

    Google Scholar 

  36. S. B. Navathe and J. P. Fry, Restructuring for large data bases: Three levels of abstraction,ACM Trans. Database System 1(2):138–158 (1976).

    Google Scholar 

  37. S. B. Navathe, Schema analysis for data base restructuring,ACM Trans. Database System 5(2):157–184 (1980).

    Google Scholar 

  38. B. Shneiderman and G. Thomas, An architecture for automatic relational data base system conversion,ACM Trans. Database System 7(2):235–257 (1982).

    Google Scholar 

  39. V. Y. Lum, N. C. Shu, and B. C. Housel, A general methodology for data conversion and restructuring,IBM J. Res. Develop. 20(5):483–497 (1976).

    Google Scholar 

  40. K. Yamaguchi and A. G. Merten, Methodology for transferring programs and data, inProc. ACM Sigmod, Michigan, pp. 141–155 (May 1974).

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical Sciences Computer Science, University of Tampere, P.O. Box 607, SF-33101, Tampere 10, Finland

    Timo Niemi

Authors
  1. Timo Niemi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Niemi, T. Specification of data restructuring software based on the attribute method. International Journal of Computer and Information Sciences 13, 425–460 (1984). https://doi.org/10.1007/BF00985822

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00985822

Key words

Search

Navigation