ALGRES Prototype of Reusable Software Modules based on Algebraic Specifications

  • Hanna Oktaba
  • Concepción Pérez de Célis
  • Roberto Zicari


A catalog of software components designed using an advanced relational system is described.


Rapid Prototype Software Component Specification Language Relational Algebra Type Constructor 
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. [BG 81]
    Burstall R. M., and J. A. Goguen, “An Informal Introduction to Specifications Using CLEAR”, in “The Correctness Problem in Computer Science”, (R.S. Boyer and J. Stothers Moore eds.), Academic Press, pp. 185–213, 1981.Google Scholar
  2. [BHK 87]
    Bergstra J.A., J. Heering, and P. Klint, “ASF - An Algebraic Specification Formalism”, Center for Mathematics and Computer Science, Amsterdam, Report CS-R8705, 1987.Google Scholar
  3. [Cac* 89]
    Cacace F. et al., “ALGRES: and Extended Relational Database System for the Specification and Prototyping of Complex Applications”, in Proc. CASE 89, Kista, Sweden, May 1989.Google Scholar
  4. [Ceri* 88]
    Ceri S., Crespi-Reghizzi, G. Gottlob, G. Lamperti, L.Lavazza, L.Tanca, R. Zicari,“The ALGRES Project”, in Proc. EDBT 88, Lectures Notes in Computer Science No. 303, Springer-Verlag, Venice, 1988.Google Scholar
  5. [Ceri* 88a]
    Ceri S., Crespi-Reghizzi, G. Lamperti, L. Lavazza, R. Zicari, “ALGRES: An Advanced Database System for Complex Applications”, IEEE Software, July 1990 (to appear).Google Scholar
  6. [Okt 89]
    Oktaba H., “Tipos de datos abstractos y estruturas de datos”, Lecture Notes in Spanish, IIMAS-UNAM, 1989.Google Scholar
  7. [OPZ 90]
    Oktaba H., C. Perez de Celis, R. Zicari, “ALGRES prototype of reusable software modules based on algebraic specifications”, IIMAS report, 1990.Google Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • Hanna Oktaba
    • 1
  • Concepción Pérez de Célis
    • 1
  • Roberto Zicari
    • 2
  1. 1.IIMASUniversidad Nacional Autonoma de MéxicoMexico
  2. 2.Dipartimento di ElettronicaPolitecnico di MilanoMilanoItaly

Personalised recommendations