Inheritance in a Deductive Object Database Language with Updates

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

Abstract

In this paper we introduce inheritance in deductive object databases and define an operator for hierarchically composing deductive objects with state evolution capabilities. Evolution of such objects models the expected transactional behavior while preserving many important features of deductive databases. Deductive objects can be organized in ISA schemas where each object may inherit or redefine the rules defined in other objects. The resulting inheritance mechanism handles both the deductive and the update/transactional issues. Our framework accommodates several types of inheritance such as overriding, extension, and refinement. Besides presenting the language, this paper defines its semantics and provides a description of the interpreter for the language that has been implemented.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    S. Abiteboul and P. Kanellakis. Object Identity as a Query Language Primitive. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 159–173, 1989.Google Scholar
  2. 2.
    S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller. Methods and Rules. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 32–41, 1993.Google Scholar
  3. 3.
    M. Baldoni, L. Giordano, and A. Martelli. Translating a Modal Language with Embedded Implication into Horn Clause Logic. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. Fifth Int’l Workshop on Extensions of Logic Programming, Lecture Notes in Computer Science No. 1050, pages 19–33, 1996.Google Scholar
  4. 4.
    E. Bertino and B. Catania. Static Analysis of Intensional Databases in U-Datalog. In Proc. of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 202–212, 1996.Google Scholar
  5. 5.
    E. Bertino, G. Guerrini, and D. Montesi. Towards Deductive Object Databases. Theory and Practice of Object Systems, 1(1):19–39, Spring 1995. Special Issue: Selected Papers from ECOOP’ 94.Google Scholar
  6. 6.
    A. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Computer Science, 133(2):205–265, 1994.MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    M. Bugliesi and H. M. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. In Proc. Fifth Int. Conf. on Database Theory, pages 222–237, 1995.Google Scholar
  8. 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 Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 225–236, 1989.Google Scholar
  9. 9.
    S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.Google Scholar
  10. 10.
    W. Chen and D. S. Warren. Objects as Intensions. In Proc. Fifth Int. Conf. on Logic Programming, pages 404–419, The MIT Press, 1988.Google Scholar
  11. 11.
    G. Dobbie and R. W. Topor. A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems. Journal of Intelligent Information Systems, 4(2):193–219, 1995.CrossRefGoogle Scholar
  12. 12.
    B. Freitag. Extending Deductive Database Languages by Embedded Implications. In A. Voronkov, editor, Proc. Int’l Conf. on Logic Programming and Automated Reasoning, Lecture Notes in Computer Science No. 642, pages 84–95, 1992.CrossRefGoogle Scholar
  13. 13.
    B. Freitag. Representing Objects as Modules in Deductive Databases. In U. Geske and D. Seipel, editors, Proc. Second ICLP-Workshop on Deductive Databases and Logic Programming, pages 41–56, 1994.Google Scholar
  14. 14.
    S. Greco, N. Leone, and P. Rullo. COMPLEX: An Object-Oriented Logic Programming System. IEEE Transactions on Knowledge and Data Engineering, 4(4):344–359, August 1990.CrossRefGoogle Scholar
  15. 15.
    H. M. Jamil and L.V.S. Lakshmanan. A Declarative Semantics of Behavioral Inheritance and Conflict Resolution. In Proc. Int. Logic Programming Symposium, pages 130–144, 1995.Google Scholar
  16. 16.
    M. Kifer. Deductive and Object Data Languages: A Quest for Integration. In Proc. Fourth Int. Conf. on Deductive and Object-Oriented Databases, Lecture Notes in Computer Science No. 1013, pages 187–212, 1995.Google Scholar
  17. 17.
    M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 134–146, 1990.Google Scholar
  18. 18.
    G. Leavens and W. Weihl. Reasoning about Object-Oriented Programs that use Subtypes. In Proc. Fifth Int. Conf. on Object-Oriented Programming: Systems, Languages, and Applications joint with Fourth European Conference on Object-Oriented Programming, pages 212–223, 1990.Google Scholar
  19. 19.
    Y. Lou and Z. M. Ozsoyoglu. LLO: An Object-Oriented Deductive Language with Methods and Methods Inheritance. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 198–207, 1991.Google Scholar
  20. 20.
    S. Manchanda and D. S. Warren. A Logic-based Language for Database Updates. In J. Minker, editor, Deductive Databases and Logic Programming, pages 363–394, Morgan-Kaufmann Publishers, 1987.Google Scholar
  21. 21.
    J. Manley, A. Cox, K. Harrison, M. Syrett, and D. Wells. KBMS1 A User Manual. Information System Centre Hewlett-Packard Laboratories, March 1990.Google Scholar
  22. 22.
    F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988.Google Scholar
  23. 23.
    D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, 6(1–2):79–108, 1989.CrossRefMATHMathSciNetGoogle Scholar
  24. 24.
    D. Montesi, E. Bertino, and M. Martelli. Transactions and Updates in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 9(5):784–797, 1997.CrossRefGoogle Scholar
  25. 25.
    S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases, Vol. 2. Computer Science Press, 1989.Google Scholar
  26. 26.
    R. Smith, M. Lentczner, W. Smith, A. Taivalsaari, and D. Ungar. Prototype-Based Languages: Object Lessons from Class-Free Programming (Panel). In Proc. Ninth Int. Conf. on Object-Oriented Programming: Systems, Languages, and Applications, pages 102–112, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Elisa Bertino
    • 1
  • Giovanna Guerrini
    • 2
  • Danilo Montesi
    • 1
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di MilanoMilanoItaly
  2. 2.Dipartimento di Informatica e Scienze dell’InformazioneUniversità di GenovaGenovaItaly

Personalised recommendations