Skip to main content
Springer Nature Link
Log in

Incorporating methods and encapsulation into deductive object-oriented database languages

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1998)

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

Included in the following conference series:

  • 100 Accesses

Abstract

This paper presents an approach to incorporating rule-based methods and encapsulation of such methods into DOOD languages. The main novel feature of this approach is the simple and intuitive logic-based semantics that cleanly accounts for all important object-oriented features such as object identity, complex objects, typing, methods, encapsulation, class hierarchy, multiple structural and behavioral inheritance with overridden, and schema definition. Besides, the set-at-a-time semantics that is natural for database updates is also novel.

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. ACM TODS, 16(1):1–30, 1991.

    Article  MathSciNet  Google Scholar 

  2. S. Abiteboul and P.C. Kanellakis. Object identity as a query language primitive. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 159–173, Portland, Oregon, 1989.

    Google Scholar 

  3. S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller. Methods and rules. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 32–41, Washington, D.C., 1993.

    Google Scholar 

  4. K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann Publishers, 1988.

    Google Scholar 

  5. R. Bal and H. Balsters. A deductive and typed object-oriented language. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 340–359, Phoenix, Arizona, USA, 1993. Springer-Verlag LNCS 760.

    Google Scholar 

  6. M. L. Barja, A. A. A. Fernandes, N. W. Paton, M. H. Williams, A. Dinn, and A. I. Abdelmoty. Design and implementation of ROCK & ROLL: a deductive object-oriented database system. Information Systems, 20(3):185–211, 1995.

    Article  Google Scholar 

  7. C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur. Set construction in a logic database language. J. Logic Programming, 10(3,4):181–232, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  8. E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In Proceedings of the International Conference on Extending Database Technology, pages 168–183, Vienna, Austria, 1992. Springer-Verlag.

    Google Scholar 

  9. A.J. Bonner and M. Kifer. Transaction logic programming. In Proceedings of the International Conference on Logic Programming, pages 257–279, Budapest, Hungary, 1993. MIT Press.

    Google Scholar 

  10. A. Borgida. Modeling class hierarchies with contradictions. In Proceedings of the A CM SIGMOD International Conference on Management of Data, pages 433–443, Chicago, Illinois, 1988.

    Google Scholar 

  11. F. Cacace, S. Ceri, S. Crepi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modelling with a rule-based programming paradigm. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 225–236, 1990.

    Google Scholar 

  12. O. Deux et al. The O2 system. Communications of the ACM, 34(10):35–48, 1991.

    Article  Google Scholar 

  13. G. Dobbie and R. Topor. On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems. Journal of Intelligent Information System, 4(2):193–219, 1995.

    Article  Google Scholar 

  14. M. Kifer. Deductive and object data language: A quest for integration. In T. W. Ling, A. O. Mendelzon, and L. Vieille, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 187–212, Singapore, 1995. Springer-Verlag LNCS 1013.

    Google Scholar 

  15. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of ACM, 42(4):741–843, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  16. M. Kifer and J. Wu. A logic for programming with complex objects. J. Computer and System Sciences, 47(1):77–120, 1993.

    Article  MATH  MathSciNet  Google Scholar 

  17. M. Liu. ROL: A deductive object base language. Information Systems, 21(5):431–457, 1996.

    Article  Google Scholar 

  18. Y. Lou and M. Ozsoyoglu. LLO: A deductive language with methods and method inheritance. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 198–207, Denver, Colorado, 1991.

    Google Scholar 

  19. D. Maier. A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon, 1986.

    Google Scholar 

  20. C. Moss. Prolog++. Addison-Wesley, 1994.

    Google Scholar 

  21. Shamim Naqvi and Shalom Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.

    Google Scholar 

  22. D. Srivastava, R. Ramakrishnan, D. Srivastava, and S. Sudarshan. Coral++: Adding object-orientation to a logic database language. In Proceedings of the International Conference on Very Large Data Bases, pages 158–170, Dublin, Ireland, 1993. Morgan Kaufmann Publishers, Inc.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Regina, S4S 0A2, Regina, Saskatchewan, Canada

    Mengchi Liu

Authors
  1. Mengchi Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerald Quirchmayr Erich Schweighofer Trevor J.M. Bench-Capon

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, M. (1998). Incorporating methods and encapsulation into deductive object-oriented database languages. In: Quirchmayr, G., Schweighofer, E., Bench-Capon, T.J. (eds) Database and Expert Systems Applications. DEXA 1998. Lecture Notes in Computer Science, vol 1460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054544

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics