Skip to main content

The LOGIDATA+ model

  • Part II: The Model and the Language
  • Chapter
  • First Online:
LOGIDATA+: Deductive Databases with Complex Objects

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 701))

Abstract

The LOGIDATA+ data model is presented. It is value-based, object-based, and functional at the same: it involves classes (with object-identity), relations (value based), and functions. Classes can be referred to in relations and functions. Is-a relationships can be defined on classes. Complex values can be built by means of the recursive use of set, tuple, and sequence constructors. As usual in database frameworks, the model has an intensional level (with the notion of scheme) and an extensional level, (with the notion of instance). A data definition language for the description of LOGIDATA+ schemes is also presented.

Work supported by CNR, “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo.” The first author is now with Terza Università di Roma.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and S. Grumbach. A rule-based language with functions and sets. ACM Trans. on Database Syst., 16(1):1–31, March 1991.

    Google Scholar 

  2. S. Abiteboul and R. Hull. IFO: A formal semantics database model. ACM Trans. on Database Syst., 12(4):297–314, December 1987.

    Google Scholar 

  3. S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD International Conf. on Management of Data, pages 159–173, 1989.

    Google Scholar 

  4. P. Atzeni, L. Cabibbo, G. Mecca, and L. Tanca. The LOGIDATA+ language and semantics. This volume.

    Google Scholar 

  5. F. Bancilhon, C. Delobel, and P. Kanellakis, editors. Building an Object-Oriented Database System. Morgan Kaufmann, San Mateo, California, 1992.

    Google Scholar 

  6. P. Buneman and R.E. Frankel. FQL — a functional query language. In ACM SIGMOD International Conf. on Management of Data, pages 52–58, 1979.

    Google Scholar 

  7. L. Cabibbo and G. Mecca. Travel agency: a LOGIDATA+ application. This volume.

    Google Scholar 

  8. F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object oriented data modelling with a rule-based programming paradigm. In ACM SIGMOD International Conf. on Management of Data, pages 225–236, 1990.

    Google Scholar 

  9. P.P. Chen. The entity-relationship model: Toward a unified view of data. ACM Trans. on Database Syst., 1(1):9–36, March 1976.

    Google Scholar 

  10. S. Khoshafian and G. Copeland. Object identity. In ACM Symp. on Object Oriented Programming Systems, Languages and Applications, 1986.

    Google Scholar 

  11. G.M. Kuper. The Logical Data Model: A New Approach to Database Logic. PhD thesis, Stanford University, 1985.

    Google Scholar 

  12. D. Maier. Why isn't there an object-oriented data model. Technical Report CS/E-89-002, Oregon Graduate Center, 1989. A condensed version was an invited paper at the IFIP 11th World Computer Congress, San Francisco, August-September 1989.

    Google Scholar 

  13. J. Mylopoulos, P.A. Bernstein, and E. Wong. A language facility for designing database-intensive applications. ACM Trans. on Database Syst., 5(2):185–207, June 1980.

    Google Scholar 

  14. D.W. Shipman. The functional data model and the data language DAPLEX. ACM Trans. on Database Syst., 6(1):140–173, March 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Paolo Atzeni

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Atzeni, P., Cacace, F., Ceri, S., Tanca, L. (1993). The LOGIDATA+ model. In: Atzeni, P. (eds) LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science, vol 701. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021887

Download citation

  • DOI: https://doi.org/10.1007/BFb0021887

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56974-9

  • Online ISBN: 978-3-540-47844-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics