Skip to main content
SpringerLink
Log in

Composition Approach to Systematic Development of Database Systems

  • Conference paper
Advances in Databases and Information Systems

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 59 Accesses

Abstract

In this paper we specify a composition approach to systematic database development. This approach is semantically oriented and is based on the principles of composition programming. A specification of a desired database system should be written in a specification language and then via a series of concretizations can be transformed into realization in a given programming language.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise. Admissible sets and structures. Berlin: Springer-Verlag, 394 p, 1975.

    MATH  Google Scholar 

  2. I. A. Basarab, V. N. Red’ko. A logical-functional approach to databases. Programmirovanie, (In Russian), 2:53–67, 1984.

    MathSciNet  Google Scholar 

  3. I. A. Basarab, N. S. Nikitchenko, and V. N. Red’ko. Composition databases. Kiev, Lybid’, (In Russian), 192 p, 1992.

    Google Scholar 

  4. I. A. Basarab, B. V. Gubsky, and N. S. Nikitchenko. Composition models of object-oriented databases. In Proc. of the Int. Workshop on Advances in Databases and Inf. Syst., ADBIS’94, May 23–26, Moscow, pages 136–141, 1994.

    Google Scholar 

  5. I. A. Basarab, B. V. Gubsky, N. S. Nikitchenko, and V. N. Red’ko. Composition models of databases. In Proc. Extending Inf. Syst. Technology, II Int. East-West Database Workshop, Sept. 25–28, Klagenfurt, Austria, pages 155–163, 1994.

    Google Scholar 

  6. B. V. Gubsky, V. N. Red’ko. Semantics of data manipulation languages: composition approach. In Proc. 12th international seminar on DBMS, Oct. 17–20, Suzdal, USSR, pages 65–76, 1989.

    Google Scholar 

  7. C. B. Jones. Software development: a rigorous approach. Prentice-Hall International, 382 p, 1980.

    MATH  Google Scholar 

  8. A. Mili, J. Desharnais, J. R. Gagné. Formal models of stepwise refinement of programs. ACM Computing Surveys, 18(3):231–276, September 1986.

    Article  MATH  Google Scholar 

  9. N.S. Nikitchenko. Composition semantics of programming languages. Programmirovanie, (In Russian), 6:9–18, 1982.

    MathSciNet  Google Scholar 

  10. N. S. Nikitchenko. Compositions of programs inducing monotone functions of special kind. Programmirovanie, (In Russian), 1:3–17, 1987.

    MathSciNet  Google Scholar 

  11. N. S. Nikitchenko. Construction of composition systems on a base of identified data. Kibernetika i sistemny analiz, (In Russian), to appear.

    Google Scholar 

  12. V. N. Red’ko. Compositions of programs and composition programming. Programmirovanie, (In Russian), 5:3–24, 1978.

    MathSciNet  Google Scholar 

  13. V. N. Red’ko. Fundamentals of composition programming. Programmirovanie, (In Russian), 3:3–13, 1979.

    MathSciNet  Google Scholar 

  14. V. N. Red’ko, N. S. Nikitchenko. Composition aspects of programmology. Kibernetika, (In Russian), part 1, 5:49–56, 1987,

    MathSciNet  Google Scholar 

  15. V. N. Red’ko, N. S. Nikitchenko. Composition aspects of programmology. Kibernetika, ???part 2, 1:28–34, 1988.

    MathSciNet  Google Scholar 

  16. D. Sannella. A survey of formal software development methods. In Software engineering: a European perspective. IEEE Computer Society Press, pages 281–297, 1993.

    Google Scholar 

  17. J. M. Spivey. The Z Notation. A reference manual. Prentice-Hall, 1989.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Cybernetics, Kiev State University, Vladimirskaja 64, Kiev-17, 252017, Ukraine

    Ivan A. Basarab, Bogdan V. Gubsky & Nikolaj S. Nikitchenko

Authors
  1. Ivan A. Basarab
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bogdan V. Gubsky
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nikolaj S. Nikitchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Klagenfurt, Universitätsstraße 65, A-9020, Klagenfurt, Austria

    Johann Eder

  2. Institute for Problems of Informatics, Russian Academy of Sciences, Vavilov Street 30/6, 117900, V-334, Moscow, Russian Federation

    Leonid A. Kalinichenko

Rights and permissions

Reprints and permissions

Copyright information

© 1996 British Computer Society

About this paper

Cite this paper

Basarab, I.A., Gubsky, B.V., Nikitchenko, N.S. (1996). Composition Approach to Systematic Development of Database Systems. In: Eder, J., Kalinichenko, L.A. (eds) Advances in Databases and Information Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-1486-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-1486-4_2

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76014-6

  • Online ISBN: 978-1-4471-1486-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation