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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Barwise. Admissible sets and structures. Berlin: Springer-Verlag, 394 p, 1975.
I. A. Basarab, V. N. Red’ko. A logical-functional approach to databases. Programmirovanie, (In Russian), 2:53–67, 1984.
I. A. Basarab, N. S. Nikitchenko, and V. N. Red’ko. Composition databases. Kiev, Lybid’, (In Russian), 192 p, 1992.
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.
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.
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.
C. B. Jones. Software development: a rigorous approach. Prentice-Hall International, 382 p, 1980.
A. Mili, J. Desharnais, J. R. Gagné. Formal models of stepwise refinement of programs. ACM Computing Surveys, 18(3):231–276, September 1986.
N.S. Nikitchenko. Composition semantics of programming languages. Programmirovanie, (In Russian), 6:9–18, 1982.
N. S. Nikitchenko. Compositions of programs inducing monotone functions of special kind. Programmirovanie, (In Russian), 1:3–17, 1987.
N. S. Nikitchenko. Construction of composition systems on a base of identified data. Kibernetika i sistemny analiz, (In Russian), to appear.
V. N. Red’ko. Compositions of programs and composition programming. Programmirovanie, (In Russian), 5:3–24, 1978.
V. N. Red’ko. Fundamentals of composition programming. Programmirovanie, (In Russian), 3:3–13, 1979.
V. N. Red’ko, N. S. Nikitchenko. Composition aspects of programmology. Kibernetika, (In Russian), part 1, 5:49–56, 1987,
V. N. Red’ko, N. S. Nikitchenko. Composition aspects of programmology. Kibernetika, ???part 2, 1:28–34, 1988.
D. Sannella. A survey of formal software development methods. In Software engineering: a European perspective. IEEE Computer Society Press, pages 281–297, 1993.
J. M. Spivey. The Z Notation. A reference manual. Prentice-Hall, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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