Skip to main content
SpringerLink
Log in

A formal specification of INGRES

  • Part II The Design Language COLD
  • Conference paper
  • First Online:
Algebraic Methods: Theory, Tools and Applications (Algebraic Methods 1987)

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

Included in the following conference series:

  • 139 Accesses

Abstract

This paper describes a case study in the application of COLD-K as a specification language. The subject of the case study is the INGRES relational data base system.

This work has been performed within the ESPRIT project 432: METEOR

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. R. Epstein, A Tutorial On INGRES, Memorandum No. ERL-M77 25, December 15, 1977 (Revised), Electronics Research Laboratory, College Of Engineering, University Of California, Berkeley, 94720.

    Google Scholar 

  2. H.B.M. Jonkers, Introduction to COLD-K. this volume.

    Google Scholar 

  3. J.D. Ullman, Principles Of Database Systems, ISBN 0-273-08476-3, Computer Science Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories Eindhoven, P.O. Box 80000, 5600 JA, Eindhoven, The Netherlands

    W. E. Baats, L. M. G. Feijs & J. H. A. Gelissen

Authors
  1. W. E. Baats
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. M. G. Feijs
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. H. A. Gelissen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baats, W.E., Feijs, L.M.G., Gelissen, J.H.A. (1989). A formal specification of INGRES. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015040

Download citation

  • DOI: https://doi.org/10.1007/BFb0015040

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51698-9

  • Online ISBN: 978-3-540-46758-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation