Skip to main content
SpringerLink
Log in

Inheritance in a Deductive Object Database Language with Updates

  • Conference paper
  • First Online:
Transactions and Database Dynamics (FoMLaDO 1999)

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

  • 158 Accesses

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. 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. A. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Computer Science, 133(2):205–265, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  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. 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. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.

    Google Scholar 

  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. 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.

    Article  Google Scholar 

  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.

    Chapter  Google Scholar 

  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. 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.

    Article  Google Scholar 

  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. 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. 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. 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. 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. 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. 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. F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988.

    Google Scholar 

  23. D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, 6(1–2):79–108, 1989.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Article  Google Scholar 

  25. S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases, Vol. 2. Computer Science Press, 1989.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università di Milano, Via Comelico 39/41, I20135, Milano, Italy

    Elisa Bertino & Danilo Montesi

  2. Dipartimento di Informatica e Scienze dell’Informazione, Università di Genova, Via Dodecaneso 35, I16146, Genova, Italy

    Giovanna Guerrini

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

Editors and Affiliations

  1. Institute of Technical and Business Information Systems, University of Magdeburg, P.O. Box 4120, 39016, Magdeburg, Germany

    Gunter Saake

  2. UBS AG, Flurstrasse 62, 8098, Zürich, Switzerland

    Kerstin Schwarz

  3. Swiss Federal Institute of Technology (ETH) Zürich Institute of Information Systems, ETH Zentrum, 8092, Zürich, Switzerland

    Can Türker

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertino, E., Guerrini, G., Montesi, D. (2000). Inheritance in a Deductive Object Database Language with Updates. In: Saake, G., Schwarz, K., Türker, C. (eds) Transactions and Database Dynamics. FoMLaDO 1999. Lecture Notes in Computer Science, vol 1773. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46466-2_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-46466-2_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67201-2

  • Online ISBN: 978-3-540-46466-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation