Skip to main content
SpringerLink
Log in

Deductive object-oriented programming for knowledge-base independence

  • Applications and Languages
  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1995)

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

Included in the following conference series:

Abstract

In developing intellectual software using object-oriented programming languages (OOPLs), knowledge-base (KB) technologies should be incorporated. However, it is difficult because there are mutual dependencies between OOPLs and KBs concerning their algorithms, their programs, and their maintenance. Therefore in this paper, we first emphasize the concept of knowledge-base independence, which means that knowledge-base should be independent of the schema of application software. Then, we propose the methodology to construct intellectual application programs, called deductive object-oriented programming (DOOP), in which two definite mechanisms, namely dynamic inheritance deduction mechanism and dynamic multicast deduction mechanism, play central roles. We have implemented these mechanisms for the Objective-C, Smalltalk-80, CLOS, and C++ object-oriented programming languages and for the DOT, Prolog, and KR knowledge-bases by which we intend to show that knowledge-base independence is realized in our DOOP schema.

This research was supported in part by the Science Research Grant-in-Aid from Ministry of Education, Science, Sports and Culture of Japan.

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. Abiteboul, S., Lausen, G., Uphoff, H. and Waller, E., “Methods and Rules,” in Proc. of ACM SIGMOD Intl. Conf. on Management of Data, pp. 32–41(1993).

    Google Scholar 

  2. Aït-Kaci, H., “An Algebraic Semantics Approach to the Effective Resolution of Type Equations,” Theoretical Computer Science, vol. 45, pp 293–351(1986).

    Google Scholar 

  3. Andé, P. and Royer, J., “Optimizing Method Search with Lookup Cashe and Incremental Coloring,” in Proc. of 7th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications, pp. 110–126(1992).

    Google Scholar 

  4. Atzeni, P., Cabibbo, L., and Mecca, G., “ISALOG-: A Deductive Language with Negation for Complex-Object Databases with Hierarchies,” in Proc. of 3rd Intl. Conf. on Deductive and Object-Oriented Databases, pp. 204–221(1993).

    Google Scholar 

  5. Caseau, Y., “Efficient Handling of Multiple Inheritance Hierarchies,” in Proc. of 8th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications, pp. 271–287(1993).

    Google Scholar 

  6. Chen, W. and Warren, D. S., “C-Logic for Complex Objects,” in Proc. of 8th ACM SIGACT-SIGMOD-SIGART Symp. on Principle of Database Systems, pp. 134–145(1989).

    Google Scholar 

  7. Chimenti, D. et al., “The LDL System Prototype,” IEEE Journal on Data and Knowledge Engineering, vol. 2, no. 1, pp. 76–90(1990).

    Google Scholar 

  8. Cox, B. J., “Object Oriented Programming — An Evolutionary Approach,” Addison-Wesley(1986).

    Google Scholar 

  9. Driesen, K., “Selector Table Indexing & Sparse Arrays,” in Proc. of 8th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications, pp. 259–270(1993).

    Google Scholar 

  10. ISO 9075, “Database Language SQL” (1989).

    Google Scholar 

  11. Kifer, M. and Lausen, G., “A Higher-Order Language for Reasoning About Objects, Inheritance and Scheme,” in Proc. of ACM Intl. Conf. on Management on Data, pp. 134–146(1989).

    Google Scholar 

  12. Lab, A., “KR: Constraint-Based Knowledge Representation,” KR Online Manual (1992).

    Google Scholar 

  13. Liu, B., Tsukamoto, M., Nishio, S., and Miyahara, H., “Design and implementation of an object-base system based on DOT expression,” Information Modelling and Knowledge Bases: Foundations, Theory, and Applications, Ohsuga, S., et al. (Eds.), IOS Press, pp. 586–601(1991).

    Google Scholar 

  14. Lou, Y. and Ozsoyoglu, Z. M., “LLO: An Object-oriented Deductive Language with Methods and Method Inheritance,” in Proc. of 1991 ACM SIGMOD Intl. Conf. on Management of Data, pp. 198–207 (1991).

    Google Scholar 

  15. Maier, D., “A Logic for Objects,” in Proc. of Workshop on Foundation of Deductive Databases and Logic Programming, pp. 6–26(1986).

    Google Scholar 

  16. McAffer, J., “Reasoning in Object-oriented Systems,” Manuscript for Workshop on Object-Oriented Computing'93, Japan Society for Software Science and Technology (1993).

    Google Scholar 

  17. Miyamoto, M., Hanada, K., Yoshikawa, K., and Sato, R., “EASY: A Model For Representing Computer Animation,” in Proc. of Conf. on Multimedia Information Systems'91, pp. 321–332(1991).

    Google Scholar 

  18. NeXT Computer Inc., “NeXTSTEP Online Manual”(1992).

    Google Scholar 

  19. Pascoe, G. A., “Encapsulators: A New Software Paradigm in Smalltalk-80,” in Proc. of 1st Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications, pp. 341–346(1986).

    Google Scholar 

  20. Pinson, L. J. and Wiener, R. S., “Objective-C: Object-oriented Programming Techniques,” Addison-Wesley(1992).

    Google Scholar 

  21. Tsukamoto, M., Nishio, S., and Fujio, M. “DOT: A Term Representation using DOT Algebra for Knowledge-bases, ” in Proc. of 2nd Intl. Conf. on Deductive and Object-Oriented Databases, pp. 391–410(1991).

    Google Scholar 

  22. Tsukamoto, M. and Nishio, S., “Inheritance Reasoning by Regular Sets in Knowledge-bases with Dot Notation, ” in Proc. of 4th Intl. Conf. on Deductive and Object-Oriented Databases(1995).

    Google Scholar 

  23. Vieille, L., “Applications on DOOD Technology,” Manuscript for the Panel on 3rd Intl. Conf. on Deductive and Object-Oriented Databases(1993).

    Google Scholar 

  24. Yasukawa, H., Tsuda, H., and Yokota, K., “Objects, Properties, and Modules in Quixote,” in Proc. of Intl. Conf. on 5th Generation Computer Systems, pp. 257–268(1992).

    Google Scholar 

  25. Zaniolo, C., Arni, N., and Ong, K., “Negation and Aggregates in Recursive Rules: the LDL++ Approach,” in Proc. of 3rd Intl. Conf. on Deductive and Object-Oriented Databases, pp. 204–221(1993).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Systems Engineering Faculty of Engineering, Osaka University, 2-1 Yamadaoka, Suita, 565, Osaka, Japan

    Yutaka Yanagisawa, Masahiko Tsukamoto & Shojiro Nishio

Authors
  1. Yutaka Yanagisawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Masahiko Tsukamoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shojiro Nishio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tok Wang Ling Alberto O. Mendelzon Laurent Vieille

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yanagisawa, Y., Tsukamoto, M., Nishio, S. (1995). Deductive object-oriented programming for knowledge-base independence. In: Ling, T.W., Mendelzon, A.O., Vieille, L. (eds) Deductive and Object-Oriented Databases. DOOD 1995. Lecture Notes in Computer Science, vol 1013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60608-4_49

Download citation

  • DOI: https://doi.org/10.1007/3-540-60608-4_49

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60608-6

  • Online ISBN: 978-3-540-48460-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation