Deductive object databases

  • Elisa Bertino
  • Giovanna Guerrini
  • Danilo Montesi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 821)


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.


Logic languages object based paradigm composite databases transactional behavior 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [15]
    M. Bugliesi, P. Mello, and E. Lamma. Modularity in Logic Programming. Technical Report P/4/242, CNR, 1993.Google Scholar
  16. [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. [17]
    S. Ceri, P. Fraternali, D. Montesi, and S. Paraboschi. Active Rule Management in Chimera. Technical Report, Unpublished, 1993.Google Scholar
  18. [18]
    S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990.Google Scholar
  19. [19]
    B. Freitag. A Deductive Database Language Supporting Modules. In Proc. Second Int'l Computer Science Conference, 1992.Google Scholar
  20. [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. [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.CrossRefGoogle Scholar
  22. [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. [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. [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. [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. [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. [27]
    F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988.Google Scholar
  28. [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. [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. [30]
    S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989.Google Scholar
  31. [31]
    J. D. Ullman. Database and Knowledge-Base Systems. Computer Science Press, 1989.Google Scholar
  32. [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. [33]
    M. Zloof. Query-by-example: a Data Base Language. IBM Systems Journal, 16(4):324–343, 1977.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Elisa Bertino
    • 1
  • Giovanna Guerrini
    • 2
  • Danilo Montesi
    • 3
  1. 1.Dipartimento di Scienze dell'InformazioneUniversità di MilanoItaly
  2. 2.Dipartimento di Informatica e Scienze dell'InformazioneUniversità di GenovaItaly
  3. 3.Departamento de InformaticaUniversidade de LisboaPortugal

Personalised recommendations