Advertisement

A formal specification of INGRES

  • W. E. Baats
  • L. M. G. Feijs
  • J. H. A. Gelissen
Part II The Design Language COLD
Part of the Lecture Notes in Computer Science book series (LNCS, volume 394)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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. [2]
    H.B.M. Jonkers, Introduction to COLD-K. this volume.Google Scholar
  3. [3]
    J.D. Ullman, Principles Of Database Systems, ISBN 0-273-08476-3, Computer Science Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • W. E. Baats
    • 1
  • L. M. G. Feijs
    • 1
  • J. H. A. Gelissen
    • 1
  1. 1.Philips Research Laboratories EindhovenEindhovenThe Netherlands

Personalised recommendations