Travel agency: A LOGIDATA+ application

  • Luca Cabibbo
  • Giansalvatore Mecca
Part II: The Model and the Language
Part of the Lecture Notes in Computer Science book series (LNCS, volume 701)


Expressive power and flexibility of the LOGIDATA+ model and language are explored. We analyze a program for travel agencies: the problem we consider is concerned with the construction of travels on the basis of the clientś specifications. The program queries the database and generates a report with all the available choices in terms of transfers and accomodations. The scheme and the clauses use a wide range of language functionalities, as complex objects, object identifiers, classes, relations, functions, is-a relationships and recursion.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Serge Abiteboul, Stephane Grumbach. A Rule-Based Language with Functions and Sets. ACM Trans. on Database Systems, 16 (1): 1–30, March 1991.Google Scholar
  2. [2]
    Serge Abiteboul, Paris C. Kanellakis. Object Identity as a Query Language Primitive. ACM SIGMOD Int. Conf. on Management of Data, 1989.Google Scholar
  3. [3]
    Serge Abiteboul, Victor Vianu. Datalog extensions for database queries and updates. Journal of Comp. and System Sc., 43 (1): 62–124, August 1991.Google Scholar
  4. [4]
    Paolo Atzeni. LOGIDATA+: Progress report. C.N.R., Technical Report No.5/29, 1990.Google Scholar
  5. [5]
    Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca, Letizia Tanca. The LOGIDATAs+ language and semantics. This volume.Google Scholar
  6. [6]
    Paolo Atzeni, Filippo Cacace, Stefano Ceri, Letizia Tanca. The LOGIDATA+ Model. C.N.R., This volume.Google Scholar
  7. [7]
    Paolo Atzeni, Letizia Tanca. The LOGIDATA+ Model and Language. Next Generation Information System Technology, Lecture Notes in Computer Science 504. Springer-Verlag, 1991.Google Scholar
  8. [8]
    Filippo Cacace, Stefano Ceri, S. Crespi Reghizzi, Letizia Tanca, Roberto Zicari. Integrating object oriented data modelling with a rule based programming paradigm. ACM SIGMOD Int. Conf. on Management of Data, 1990.Google Scholar
  9. [9]
    Stefano Ceri, Georg Gottlob, Letizia Tanca. Logic programming and data bases. Springer Verlag, 1989.Google Scholar
  10. [10]
    S. Naqvi, S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, Potomac, Maryland, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Luca Cabibbo
    • 1
  • Giansalvatore Mecca
    • 1
  1. 1.Dipartimento di Informatica e SistemisticaUniversità di Roma “La Sapienza”RomaItaly

Personalised recommendations