Composition Approach to Systematic Development of Database Systems

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.

[1]  Jules Desharnais,et al.  Formal models of stepwise refinements of programs , 1986, CSUR.

[2]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[3]  Ivan A. Basarab,et al.  Composition Models of Object-Oriented Databases , 1994, ADBIS.

[4]  Richard H. Thayer,et al.  Software Engineering: A European Perspective , 1993 .

[5]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[6]  Johann Eder,et al.  East/West Database Workshop , 1995, Workshops in Computing.

[7]  Vladimir N. Red'ko,et al.  Composition Models of Databases , 1994, East/West Database Workshop.

[8]  V. N. Red'ko,et al.  Composition aspects of programmology. II , 1988 .

[9]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[10]  Jon Barwise,et al.  Admissible sets and structures , 1975 .