Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype

  • L. Lavazza
  • S. Crespi-Reghizzi
Part III Rapid Prototyping With Algebraic Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 394)


In this paper an algebraic specification of an extended (i.e. non first normal form) relational algebra is reported. Such specification has been written in RAP and in COLD and has been executed using RAP. In order to improve efficiency specifications were translated to Prolog.


Relational Algebra Aggregate Function Abstract Data Type Algebraic Specification Prolog Clause 
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. [Abitebou186]
    S. Abiteboul and N. Bidoit "Non First Normal Form Relations to Represent Hierarchically Organized Data", Proc. 3rd ACM SIGMOD-SIGACT Symp. on Principles of Database Systems (PODS), March 1984, and Journal of Computer and System Sciences, 33, 1986.Google Scholar
  2. [Ceri86a]
    S. Ceri, S. Crespi-Reghizzi "Formal definition of ALGRES: algebra for extended relations", Dipt. Elettronica, Politecnico di Milano, 1986.Google Scholar
  3. [Ceri86b]
    S. Ceri, G. Gottlob, L. Lavazza "Translation and optimization of logic queries: the algebraic approach" Very Large Data Bases — Kyoto 1986Google Scholar
  4. [Ceri87]
    S. Ceri, L. Tanca "Optimization of Systems of Algebraic Equations for Evaluating DATALOG Queries", Proc. Very Large Data Bases, August 1987.Google Scholar
  5. [Ceri88]
    S. Ceri, S. Crespi-Reghizzi, L. Lamperti, L. Lavazza, R. Zicari "Algres: a system for specification and prototyping of complex databases" Submitted to IEEE SoftwareGoogle Scholar
  6. [Ceri88b]
    S. Ceri, G. Gottlob, L. Tanca {"Relational Databases and Logic Programming"}, Surveys in Computer Science, Springer-Verlag (to appear).Google Scholar
  7. [Chandra81]
    Chandra A. "Programming Primitives for Database Languages" ACM POPL 1981.Google Scholar
  8. [Dadam86]
    P. Dadam et al. "A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies", Proc. ACM SIGMOD, May 1986.Google Scholar
  9. [Feijs86]
    Feijs L.M.G., Jonkers H.B.M., Obbink J.H., Koymans C.P.J., Renardel de Lavalette G.R., Rodenburg P.H. "A survey of the design language COLD", Meteor DeliverableGoogle Scholar
  10. [Feijs87]
    Feijs L.M.G., Jonkers H.B.M., Koymans C.P.J., Renardel de Lavalette G.R. "Formal definition of the design language COLD-K", Meteor DeliverableGoogle Scholar
  11. [Fisher83]
    P.C. Fisher and S.J.Thomas "Operators for Non-First-Normal-Form Relations", Proc. IEEE COMPSAC, 1983.Google Scholar
  12. [Geser85]
    Geser A., Hussmann H. "Rapid Prototyping for Algebraic Specifications — Examples for the Use of the RAP System" Report Universitaet Passau, MIP-8517, Passau, Dec. 1985.Google Scholar
  13. [Geser86]
    Geser A. "A Specification of the intel 8085 Microprocessor: A Case Study" Report Universitaet Passau, MIP-8608, Passau, May 1986.Google Scholar
  14. [Hussmann85a]
    Hussmann H. "Unification in Conditional-Equational Theories" Report Universitaet Passau, MIP-8502, Passau, Jan. 1985.Google Scholar
  15. [Hussmann85b]
    Hussmann H. "Rapid Prototyping for Algebraic Specifications — RAP System User's Manual (Second Edition)" Report Universitaet Passau, MIP-8504, Passau, Feb. 1987.Google Scholar
  16. [Jonkers86]
    Jonkers H.B.M. "Informal description of the design language COLD-K", Meteor DeliverableGoogle Scholar
  17. [Schek86]
    Schek H. Scholl M. "The relational model with relation-valued attributes" Inform. Systems vol.11 n.2 1986Google Scholar
  18. [Wirsing84]
    Wirsing M. "Structured Algebraic Specifications: A Kernel Language", Habilitation Thesis, Techn. Univ. Munchen, 1983, to apper in TCS, also Univ. Passau, Tech Rep. MIP-8511.Google Scholar
  19. [Wong86]
    Wong E. and Samson W.B. "The specification of a relational database (PRECI) as an abstract data type and its realisation in HOPE", Comp. Jour.,29, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • L. Lavazza
    • 1
  • S. Crespi-Reghizzi
    • 2
  1. 1.TXT SpAMilano
  2. 2.Dipartimento di ElettronicaPolitecnico di MilanoMilano

Personalised recommendations