Modularizing the formal description of a database system

  • J. S. Fitzgerald
  • C. B. Jones
Part of the Lecture Notes in Computer Science book series (LNCS, volume 428)


Specification languages have been proposed, and are being developed, which offer ways of splitting specifications into separate components or modules. It is important that such languages are able to cope with modularizations which are required by realistic specification tasks. This paper offers a challenge problem in modularization based on a description is of an existing database system. The chosen modularization is motivated by the need to separate coherent units about which useful properties can be deduced.


Database System Specification Language Relation Module Parameter Type Relational Algebra 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [And88]
    D.J. Andrews. Report from the BSI panel for the standardisation of VDM (IST/5/50). In [BJM88], pages 74–78, 1988.Google Scholar
  2. [Bea88]
    S. Bear. Structuring for the VDM specification language. In [BJM88], 1988.Google Scholar
  3. [Bea89]
    S. Bear. Private communication. e-mail, December 1989.Google Scholar
  4. [BJ82]
    Dines Bjørner and Cliff B. Jones. Formal Specification and Software Development. Prentice Hall International, 1982.Google Scholar
  5. [BJM88]
    R. Bloomfield, R. B. Jones, and L. S. Marshall, editors. VDM '88: VDM — The Way Ahead, volume 328 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1988.Google Scholar
  6. [BSI]
    BSI. VDM Specification Language — Proto-Standard. BSI Working Document: BSI IST/5/50 Document No. 40.Google Scholar
  7. [Dat86]
    C. J. Date. An Introduction to Database Systems. Addison-Wesley, 1986.Google Scholar
  8. [Fei89]
    L. Feijs. Private communication. e-mail, September 1989.Google Scholar
  9. [Geo89]
    C. George. Private communication. e-mail, December 1989.Google Scholar
  10. [Haf89]
    P. Haff. RSL Syntax Summary. Technical Report RAISE/DDC/PH/98/V3, Dansk Datamatik Center, October 1989.Google Scholar
  11. [HJ89]
    I. J. Hayes and C.B. Jones. Specifications are not (necessarily) executable. Software Engineering Journal, 4(6):320–338, November 1989.Google Scholar
  12. [IBM]
    IBM. Data Mapping Program: User's Guide. SB11-5340.Google Scholar
  13. [Jon80]
    C.B. Jones. Software Development: A Rigorous Approach. Prentice Hall International, 1980.Google Scholar
  14. [Jon88]
    H.B.M. Jonkers. An introduction to COLD-K. Technical Report METEOR/t8/PRLE/8, Philips Research Labs, Eindhoven, July 1988.Google Scholar
  15. [Jon90]
    C.B. Jones. Systematic Software Development Using VDM (2nd Edition). Prentice Hall International, 1990.Google Scholar
  16. [JS90]
    C.B. Jones and R.C.F. Shaw, editors. Case Studies in Systematic Software Development. Prentice Hall International, 1990.Google Scholar
  17. [Mor90]
    J. M. Morris. A methodology for designing and refining specifications. In J. Woodcock, editor, Proceedings of the 3rd Workshop on Refinement. Springer-Verlag (BCS Workshop Series), 1990.Google Scholar
  18. [Sha90]
    R. C. F. Shaw. The ISTAR database. In [JS90], 1990.Google Scholar
  19. [Wal90]
    A. Walshe. NDB: The formal specification and rigorous design of a single-user database system. In [JS90], 1990.Google Scholar
  20. [WS79]
    N. Winterbottom and G. C. H. Sharman. NDB: Non-programmer database facility. Technical Report IBM TR.12.179, IBM Hursley Laboratory, England, September 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • J. S. Fitzgerald
    • 1
  • C. B. Jones
    • 1
  1. 1.The UniversityManchesterUnited Kingdom

Personalised recommendations