Advertisement

ROL2: A Real Deductive Object-Oriented Database Language

  • Mengchi Liu
  • Min Guo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1507)

Abstract

ROL is a strongly typed deductive object-oriented database language. It integrates many important features of deductive databases and object-oriented databases. However, it is only a structurally object-oriented language. In this paper, we describe our extension of ROL called ROL2. ROL2 keeps all the important features of ROL. In addition, it incorporates important behaviorally object-oriented features such as rule-based methods and encapsulation so that it is a real deductive object-oriented database language. It supports object identity, complex objects, class hierarchy, methods, non-monotonic multiple structural and behavioral inheritance with overriding and blocking.

Keywords

Class Hierarchy Object Query Deductive Database Class Person Schema Query 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Kanellakis, P.C.: Object Identity as a Query Language Primitive. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Portland, Oregon, pp. 159–173 (1989)Google Scholar
  2. 2.
    Abiteboul, S., Lausen, G., Uphoff, H., Waller, E.: Methods and Rules. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Washington, D.C., pp. 32–41 (1993)Google Scholar
  3. 3.
    Barja, M.L., Fernandes, A.A.A., Paton, N.W., Williams, M.H., Dinn, A., Abdelmoty, A.I.: Design and implementation of ROCK & ROLL: a deductive object-oriented database system. Information Systems 20(3), 185–211 (1995)CrossRefGoogle Scholar
  4. 4.
    Bertino, E., Montesi, D.: Towards a Logical Object-oriented Programming Lan- guage for Databases. In: Proceedings of the International Conference on Extending Database Technology, Vienna, Austria, pp. 168–183. Springer, Austria (1992)Google Scholar
  5. 5.
    Bonner, A.J., Kifer, M.: Transaction Logic Programming. In: Proceedings of the International Conference on Logic Programming, Budapest, Hungary, pp. 257–279. MIT Press, Cambridge (1993)Google Scholar
  6. 6.
    Butterworth, P., Otis, A., Stein, J.: The Gemstone Object Database Management System. Communications of the ACM 34(10), 64–77 (1991)CrossRefGoogle Scholar
  7. 7.
    Cacace, F., Ceri, S., Crepi-Reghizzi, S., Tanca, L., Zicari, R.: Integrating Object- Oriented Data Modelling with a Rule-Based Programming Paradigm. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 225–236 (1990)Google Scholar
  8. 8.
    Cattell, R.G.G. (ed.): The Object Database Standard: ODMG- 1993, Release 1.2. Morgan Kaufmann, San Francisco (1996)Google Scholar
  9. 9.
    Deux, O., et al.: The O2 System. Communications of the ACM 34(10), 35–48 (1991)CrossRefGoogle Scholar
  10. 10.
    Dobbie, G., Topor, R.: On the Declarative and Procedural Semantics of Deduc- tive Object-Oriented Systems. Journal of Intelligent Information System 4(2), 193–219 (1995)CrossRefGoogle Scholar
  11. 11.
    Fishman, D.H., Beech, D., Cate, H.P., Chow, E.C., Connors, T., Davis, J.W., Derrett, N., Hoch, C.G., Kent, W., Lyngbaek, P., Mahbod, B., Neimat, M.A., Ryan, T.A.: Iris: An object-Oriented Database Management System. ACM Trans. on Office Information Systems 5(1), 48–69 (1987)Google Scholar
  12. 12.
    Jamil, H.M.: Implementing Abstract Objects with Inheritance in Datalogneg. In: Proceedings of the International Conference on Very Large Data Bases, Greece, pp. 46–65. Morgan Kaufmann Publishers, Inc, San Francisco (1997)Google Scholar
  13. 13.
    Kifer, M.: Deductive and Object Data Language: A Quest for Integration. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) DOOD 1995. LNCS, vol. 1013, pp. 187–212. Springer, Heidelberg (1995)Google Scholar
  14. 14.
    Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM 42(4), 741–843 (1995)CrossRefMathSciNetzbMATHGoogle Scholar
  15. 15.
    Kifer, M., Wu, J.: A Logic for Programming with Complex Objects. J. Computer and System Sciences 47(1), 77–120 (1993)CrossRefMathSciNetzbMATHGoogle Scholar
  16. 16.
    Kim, W.: Introduction to Object-Oriented Databases. The MIT Press, Cambridge (1990)Google Scholar
  17. 17.
    Lamb, C., Landis, G., Orenstein, J., Weinreb, D.: The ObjectStore System. Communications of the ACM 34(10), 50–63 (1991)CrossRefGoogle Scholar
  18. 18.
    Liu, M.: ROL: A Deductive Object Base Language. Information Systems 21(5), 431–457 (1996)CrossRefGoogle Scholar
  19. 19.
    Liu, M.: An Overview of Rule-based Object Language. Journal of Intelligent Information Systems 10(1), 5–29 (1998)CrossRefGoogle Scholar
  20. 20.
    Liu, M.: Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages. In: Quirchmayr, G., Bench-Capon, T.J.M., Schweighofer, E. (eds.) DEXA 1998. LNCS, vol. 1460, p. 892. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  21. 21.
    Maier, D.: A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon (1986)Google Scholar
  22. 22.
    Moss, C.: Prolog++. Addison-Wesley, Reading (1994)Google Scholar
  23. 23.
    Naqvi, S., Tsur, S.: A Logical Language for Data and Knowledge Bases. Computer Science Press, Rockville (1989)Google Scholar
  24. 24.
    Ramakrishnan, R., Srivastava, D., Sudarshan, S., Seshadri, P.: Implementation of the CORAL Deductive Database System. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Washington, D.C., pp. 167–176 (1993)Google Scholar
  25. 25.
    Soloviev, V.: An Overview of Three Commercial Object-Oriented Database Management Systems: ONTOS, ObjectStore, O2. SIGMOD Record 21(1), 93–104 (1992)CrossRefMathSciNetGoogle Scholar
  26. 26.
    Srivastava, D., Ramakrishnan, R., Srivastava, D., Sudarshan, S.: CORAL++: Adding Object-Orientation to a Logic Database Language. In: Proceedings of the International Conference on Very Large Data Bases, Dublin, Ireland, pp. 158–170. Morgan Kaufmann Publishers, Inc., Dublin (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Mengchi Liu
    • 1
  • Min Guo
    • 1
  1. 1.Department of Computer ScienceUniversity of ReginaReginaCanada

Personalised recommendations