Skip to main content
SpringerLink
Log in

Deductive object databases

  • Conference paper
  • First Online:
Object-Oriented Programming (ECOOP 1994)

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

Included in the following conference series:

Abstract

This paper proposes a new approach to model deductive object databases. Each object database is described by means of a Datalog language extended with extensional updates, called U-Datalog. Each object can change its state and cooperate with other objects. We introduce an extension of U-Datalog to approach the problem of composition among object databases. It can be used for modular database design and for cooperation among databases. The resulting language has a clear semantics for the evolution of objects and for modeling the transactional behavior of the resulting database. Finally, we describe some architectural issues of the prototype which has been developed.

The work of D. Montesi has been partly supported by the ERCIM fellowship Information and Knowledge Systems.

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. Updates, a New Frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proc. Second Int'l Conf. on Database Theory, volume 326 of Lecture Notes in Computer Science, pages 1–18. Springer-Verlag, Berlin, 1988.

    Google Scholar 

  2. S. Abiteboul and P. Kanellakis. Object Identity as a Query Language Primitive. In Proc. Int'l ACM Conf. on Management of Data, pages 159–173, 1989.

    Google Scholar 

  3. S. Abiteboul and V. Vianu. Procedural and Declarative Database Update Languages. In Proc. of the ACM Symposium on Principles of Database Systems, pages 240–251. ACM, New York, USA, 1988.

    Google Scholar 

  4. S. Abiteboul et al. Methods and Rules. In P. Buneman and S. Jajodia, editors, Proc. Int'l ACM Conf. on Management of Data, pages 32–41, 1993.

    Google Scholar 

  5. J. M. Andreoli and R. Pareschi. LO and behold! Concurrent Structured Processes. In N. Meyrowitz, editor, Proc. Int'l Conf. on Object-Oriented Programming: Systems, Languages, and Applications, pages 1–13, 1990.

    Google Scholar 

  6. F. Bancilhon and R. Ramakrishnan. Performance Evaluation of Data Intensive Logic Programs. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 439–519. Morgan-Kaufmann, 1987.

    Google Scholar 

  7. E. Bertino, B. Catania, G. Guerrini. An Overview of LOL: A Deductive Language for Object Bases. Invited paper in A. Makinouchi, editor, Proc. International Symposium on Next Generation Database Systems, pages 69–76, 1993.

    Google Scholar 

  8. E. Bertino, B. Catania, G. Guerrini, and D. Montesi. A Bottom-Up Interpreter for a Database Language with Updates and Transactions. Submitted for pubblication, 1993.

    Google Scholar 

  9. E. Bertino, B. Catania, G. Guerrini, and D. Montesi. Transaction Optimization in Rule Databases. In J. Widom and S. Chakravarthy, editors, Proc. Research Issues in Data Engineering — Active Database Systems Workshop, 1994.

    Google Scholar 

  10. E. Bertino, M. Martelli, D. Montesi. Modeling Database Updates with Constraint Logic Programming. In Proc. 4th Int'l Workshop on Foundations of Models and Languages for Data and Objects: Modeling Database Dynamics, 1992.

    Google Scholar 

  11. E. Bertino and D. Montesi. Towards a Logical-Object Oriented Programming Language for Databases. In A. Pirotte, C. Delobel, and G. Gottlob, editors, Proc. Third Int'l Conf. on Extending Database Technology, pages 168–183, 1992.

    Google Scholar 

  12. A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Contributions to the Semantics of Open Logic Programs. In Proc. Int'l Conf. on Fifth Generation Computer Systems, pages 570–580. Institute for New Generation Computer Technology, 1992.

    Google Scholar 

  13. M. L. Brodie. The Promise of Distributed Computing and the Challanges of Legacy Systems. In P. M. Gray and R. J. Lucas, editors, Proc. BNCOD 10, volume 618 of Lecture Notes in Computer Science, pages 1–28. Springer-Verlag, Berlin, 1992.

    Google Scholar 

  14. M. Bugliesi. A Declarative View of Inheritance in Logic Programming. In K.R. Apt, editor, Proc. Joint Int'l Conf. and Symp. on Logic Programming, pages 113–127, 1992.

    Google Scholar 

  15. M. Bugliesi, P. Mello, and E. Lamma. Modularity in Logic Programming. Technical Report P/4/242, CNR, 1993.

    Google Scholar 

  16. F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. The Logres project: Integrating Object-Oriented Data Modelling with a Rule-Based Programming Paradigm. Technical Report TR 89-039, Politecnico di Milano, 1989.

    Google Scholar 

  17. S. Ceri, P. Fraternali, D. Montesi, and S. Paraboschi. Active Rule Management in Chimera. Technical Report, Unpublished, 1993.

    Google Scholar 

  18. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990.

    Google Scholar 

  19. B. Freitag. A Deductive Database Language Supporting Modules. In Proc. Second Int'l Computer Science Conference, 1992.

    Google Scholar 

  20. M. Gabbrielli, R. Giacobazzi, and D. Montesi. Modular Logic Programs on Finite Domain. GULP Conference on Logic Programming, 663–678, 1993.

    Google Scholar 

  21. S. Greco, N. Leone, and P. Rullo. COMPLEX: An Object-Oriented Logic Programming System. IEEE Transactions on Knowledge and Data Eng., 4(4):344–359, August 1990.

    Article  Google Scholar 

  22. R. Jungclaus, G. Saake, and C. Sernadas. Using Active Objects for Query Processing. In Proc. Object-Oriented Database: Analysis, Design and Construction, 4th IFIP Working Conference DS-4, 1990.

    Google Scholar 

  23. Y. Lou and Z. M. Ozsoyoglu. LLO: An Object-Oriented Deductive Language with Methods and Methods Inheritance. In Proc. Int'l ACM Conf. on Management of Data, pages 198–207, 1991.

    Google Scholar 

  24. P. Mancarella and D. Pedreschi. An Algebra of Logic Programs. In R.A. Kowalski and K.A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 1006–1023. The MIT Press, Cambridge, Mass., 1988.

    Google Scholar 

  25. S. Manchanda and D. S. Warren. A Logic-based Language for Database Updates. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 363–394. Morgan-Kaufmann, 1987.

    Google Scholar 

  26. J. Mantley, A. Cox, K. Harrison, M. Syrett, and D. Wells. KBMS1 A User Manual. Information System Centre Hewlett-Packard Laboratories, 1990.

    Google Scholar 

  27. F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988.

    Google Scholar 

  28. L. Monteiro and A. Porto. Contextual Logic Programming. In G. Levi and M. Martelli, editors, Proc. Sixth Int'l Conf. on Logic Programming, pages 284–302. The MIT Press, Cambridge, Mass., 1989.

    Google Scholar 

  29. D. Montesi. A Model for Updates and Transactions in Deductive Databases. PhD thesis, Dipartimento di Informatica, Università di Pisa, March 1993.

    Google Scholar 

  30. S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989.

    Google Scholar 

  31. J. D. Ullman. Database and Knowledge-Base Systems. Computer Science Press, 1989.

    Google Scholar 

  32. P. Wegner. Dimensions of Object-Based Language Design. Proc. Int'l Conf. on Object-Oriented Programming: Systems, Languages, and Applications, pages 181–192, 1987.

    Google Scholar 

  33. M. Zloof. Query-by-example: a Data Base Language. IBM Systems Journal, 16(4):324–343, 1977.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell'Informazione, Università di Milano, Italy

    Elisa Bertino

  2. Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Italy

    Giovanna Guerrini

  3. Departamento de Informatica, Universidade de Lisboa, Portugal

    Danilo Montesi

Authors
  1. Elisa Bertino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanna Guerrini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Danilo Montesi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mario Tokoro Remo Pareschi

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertino, E., Guerrini, G., Montesi, D. (1994). Deductive object databases. In: Tokoro, M., Pareschi, R. (eds) Object-Oriented Programming. ECOOP 1994. Lecture Notes in Computer Science, vol 821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052185

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58202-1

  • Online ISBN: 978-3-540-48567-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation