The algres project

  • S. Geri
  • S. Crespi-Reghizzi
  • G. Gottlob
  • F. Lamperti
  • L. Lavazza
  • L. Tanca
  • R. Zicari
Support For Data-And Knowledge-Based Applications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)


This short paper briefly describes the ALGRES project, an advanced relational programming environment for the specification and rapid prototyping of data-intensive applications. ALGRES is a vehicle for the integration of two research areas: the extension of the relational model to deal with complex objects and operations, and the integration of databases with logic programming. The ALGRES system is intended for the needs of the novel applications in the areas of deductive, engineering, and CAD-CAM databases and of office automation.


Logic Programming Horn Clause Type Constructor Attribute Grammar Relational Database System 
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. [Abi 84]
    Abiteboul, S. and N. Bidoit “Non First Normal Form Relations to Represent Hierarchically Organized Data”, Proc. of the 3rd ACM PODS, Waterloo, Ontario, Canada, 1984, and also in Journal of Computer and System Sciences 33, 1986.Google Scholar
  2. [Aho 79]
    Aho, A. and J. Ullman “Universality of Data Retrieval Languages”, Proc. of the 6th ACM SIGMOD, 1979.Google Scholar
  3. [Ban 86]
    Bancilhon F. and R. Ramakrishnan “An Amateur's Introduction to Recursive Query Processing” Proc. of the ACM SIGMOD, Washington, D.C., May 1986.Google Scholar
  4. [Cer 86]
    Ceri, S., G. Gottlob and L. Lavazza “Translation and optimization of Logic Queries: the Algebraic Approach” Proc. of VLDB 86, Kyoto, Japan, 1986.Google Scholar
  5. [Cer 87]
    Ceri, S. and L. Tanca “Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries”, Proc. of VLDB 87, Brighton, U.K., 1987.Google Scholar
  6. [Cer 87b]
    Ceri, S., S. Crespi Reghizzi, L. Lavazza and R. Zicari “ALGRES: A System for the Specification and Prototyping of Complex Databases” Politecnico di Milano, Res. Rep. no. 87-018, 1987 (submitted for publication).Google Scholar
  7. [Dad 86]
    Dadam, P. et al. “A DBMS Prototype to Support Extended NF2 Relations: an Integrated View on Flat Tables and Hierarchies”, Proc. of ACM SIGMOD, Washington, D.C., May 1986.Google Scholar
  8. [Fer 87]
    Ferrario, M. and R. Zicari “Extending the ALGRES Datamodel and Algebra to Handle Null Values” Politecnico di Milano, Res. Rep. n. 88-001, Nov 1987.Google Scholar
  9. [Fis 83]
    Fisher, P. C., and S. J. Thomas “Operators for Non-First-Normal-Form Relations” Proc. of the IEEE COMPSAC, 1983.Google Scholar
  10. [Gue 87]
    Gueting, R.H., R. Zicari and D.M. Choy “An Algebra for Structured Office Documents”, Res. Rep. RJ 5559 (56648), IBM Almaden, S. Jose, March 1987 (submitted for publication).Google Scholar
  11. [Lav 87]
    Lavazza, L., S. Crespi Reghizzi, A. Geser “Algebraic ADT Specification of an Extended Relational Algebra and their Conversion into a Running Prototype” Workshop on Algebraic Methods, Theory, Tools and Applications, Passau, West Germany, 9–11 June 1987 (Springer-Verlag, to appear).Google Scholar
  12. [Pis 86]
    Pistor, P. and R. Traunmuller “A Database Language for Sets, Lists, and Tables” Information Systems, vol.11, no. 4, 1986.Google Scholar
  13. [Rot 85]
    Roth, M. A., H. F. Korth, and A. Silberschatz “Extended Algebra and Calculus for Non-1NF Relational Databases” Techn. Rep. TR-84-36, University of Texas at Austin, revised version 1985.Google Scholar
  14. [Rot 85b]
    Roth, M. A., H. F. Korth, and D.S. Batory “The SQL/NF Query Language”, Techn. Rep. TR-85-19 University of Texas at Austin, 1985 (also in Information Systems).Google Scholar
  15. [Sch 86]
    Schek, H.J., and M.H. Scholl “The Relational Model with Relation-Valued Attributes” Information Systems, vol.11:2, 1986Google Scholar
  16. [Ull 85]
    Ullman, J., “Implementation of Logical Query languages for Databases” ACM TODS, 10:3, 1985.Google Scholar
  17. [Wir 83]
    Wirsing, M. “Structured Algebraic Specifications: a Kernel Language” Habilitation Thesis, Techn. Univ. of Munchen, 1983, (to appear in TCS, also Univ. of Passau, Techn. Rep. MIP-8511.)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • S. Geri
    • 1
  • S. Crespi-Reghizzi
    • 2
  • G. Gottlob
    • 4
  • F. Lamperti
    • 3
  • L. Lavazza
    • 3
  • L. Tanca
    • 2
  • R. Zicari
    • 2
  1. 1.Dipartimento di MatematicaUniversita' di ModenaItaly
  2. 2.Dipartimento di ElettronicaPolitecnico di MilanoItaly
  3. 3.TXT-SpAMilano
  4. 4.Istituto per la Matematica Applicata, CNR di GenovaItaly

Personalised recommendations