Skip to main content
SpringerLink
Log in

Norman's database modularised in COLD-K

  • Part III Cold
  • Conference paper
  • First Online:
Algebraic Methods II: Theory, Tools and Applications (Algebraic Methods 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 490))

Included in the following conference series:

  • 133 Accesses

Abstract

In this paper we present a COLD specification of a database, originally presented in VDM, discussing various aspects of modularisation.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.S. Fitzgerald, C.B. Jones. Modularizing the Formal Description of a Database System. In: D. Bjorner, C.A.R. Hoare, H. Langmaack (eds), VDM '90 VDM and Z, — Formal Methods in Software Development, Springer Verlag LNCS 428 pp. 189–210.

    Google Scholar 

  2. C.B. Jones. Systematic software development using VDM, Prentice-Hall International, ISBN 0-13-880725-6 (1986).

    Google Scholar 

  3. J.S. Fitzgerald, C.B. Jones. Modularizing the Formal Description of a Database System. University of Manchester, Technical Report UMCS-90-1-1.

    Google Scholar 

  4. 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 

  5. IBM. Data Mapping Program: User's Guide. SB11-5340.

    Google Scholar 

  6. H.B.M. Jonkers. An Introduction to COLD-K, in: M. Wirsing, J.A. Bergstra (eds), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer Verlag pp. 139–205 (1989).

    Google Scholar 

  7. J.A. Bergstra, J. Heering, P. Klint. Module algebra. JACM Vol. 37 (1990) 335–372.

    Google Scholar 

  8. L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette. Formal definition of the design language COLD-K. Preliminary Edition, April 1987, ESPRIT document METEOR/t7/PRLE/7.

    Google Scholar 

  9. L.M.G. Feijs. The calculus λπ, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer-Verlag pp. 307–328 (1989).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories Eindhoven, The Netherlands

    L. M. G. Feijs

Authors
  1. L. M. G. Feijs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. Bergstra L. M. G. Feijs

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Feijs, L.M.G. (1991). Norman's database modularised in COLD-K. In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-53912-3_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53912-4

  • Online ISBN: 978-3-540-46351-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation