Skip to main content
SpringerLink
Log in

LOGIDATA+: Overview

  • Part I: The Framework
  • Chapter
  • First Online:
LOGIDATA+: Deductive Databases with Complex Objects

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

  • 120 Accesses

Abstract

LOGIDATA+ is part of the subproject “Advanced Database Systems” of the project “Information Systems and Parallel Computation”, of the Italian research council. The aim of LOGIDATA+ is the definition of advanced database systems, which significatively extend the functionalities of the current systems, with specific reference to the application areas for which relational systems are not considered satisfactory. These new systems will allow the definition of data with complex structures, the representation of semantic relationships between objects, and the use of powerful query and update languages. They will be based on the combination of techniques originating from relational databases and logic programming, with contributions from object-oriented programming. Attention will be devoted to the representation of isa-hierarchies and to taxonomic reasoning. The specific goal of LOGIDATA+ is the definition, design, and prototypal implementation of a database management system with a complex structure and a class hierarchy, to be accessed through a rule-based language. Extensions of the core are also considered, in various directions: management of various forms of negation, both in the body and in the head of the rules; management of updates, especially with respect to intensionally defined predicates or to rules; modularization; constraints; taxonomic reasoning.

Work supported by CNR, “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo.” The 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

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and S. Grumbach. Col: A logic-based language for complex objects. In EDBT'88 (Int. Conf. on Extending Database Technology), Venezia, Lecture Notes in Computer Science 303, pages 271–293. Springer-Verlag, 1988.

    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. A. Albano, L. Cardelli, and R. Orsini. Galileo: a strongly typed interactive conceptual language. ACM Trans. on Database Syst., 10(2), June 1985.

    Google Scholar 

  5. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Data Bases. Springer-Verlag, 1989.

    Google Scholar 

  6. D. Chimenti, R. Gamboa, R. Krishnamurti, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL system prototype. IEEE Trans. on Knowledge and Data Eng., 2(1):76–90, March 1990.

    Google Scholar 

  7. R. Hull. A survey of theoretical research on typed complex database objects. In J. Paredaens, editor, Databases, pages 193–256. Academic Press, 1988.

    Google Scholar 

  8. R.B. Hull and R. King. Semantic database modelling: Survey, applications and research issues. ACM Computing Surveys, 19(3):201–260, September 1987.

    Google Scholar 

  9. G. Jaeschke and H.-J. Schek. Remarks on the algebra for non first normal form relations. In ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 124–138, 1982.

    Google Scholar 

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

    Google Scholar 

  11. G.M. Kuper and M.Y. Vardi. A new approach to database logic. In Third ACM SIGACT SIGMOD Symp. on Principles of Database Systems, 1984.

    Google Scholar 

  12. A. Makinouchi. A consideration on normal form of not necessarily normalized relations. In Third International Conf. on Very Large Data Bases, Tokyo, 1977.

    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. S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, Potomac, Maryland, 1989.

    Google Scholar 

  15. J.D. Ullman. Implementation of logical query languages for databases. ACM Trans. on Database Syst., 10(3):289–321, September 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza,”, Via Salaria 113, 00198, Roma, Italy

    Paolo Atzeni

Authors
  1. Paolo Atzeni
    View author publications

    You can also search for this author in PubMed Google Scholar

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. (1993). LOGIDATA+: Overview. 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/BFb0021885

Download citation

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

  • 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

Search

Navigation