Skip to main content
SpringerLink
Log in

Design and Implementation of the ROL Deductive Object-Oriented Database System

  • Published:
Journal of Intelligent Information Systems Aims and scope Submit manuscript

Abstract

ROL is a deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language for defining, manipulating and querying databases, which integrates important features of both deductive databases and object-oriented databases. It supports object identity, complex objects, classes, class hierarchies, multiple inheritance with overriding and blocking, and schema definition. It also supports structured values such as functor objects and sets, treating them as first class citizens, and providing powerful mechanisms for representing both partial and complete information about sets. This paper describes its design and implementation. An important novel feature of the implementation is that it combines top-down and bottom-up evaluation strategies and automatically selects a strategy based on the nature of the query and data in the database.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Abiteboul, S., Hull, R., and Vianu, V. (1995). Foundations of Databases. Addison Wesley.

  • Abiteboul, S. and Kanellakis, P.C. (1989). Object Identity as a Query Language Primitive. In Proceedings of the ACM SIGMOD International Conference on Management of Data, Portland, Oregon (pp. 159–173).

  • Apt, K.R.H. and van Emden, M.H. (1982). Contributions to the Theory of Logic Programming. Journal of ACM, 29(3), 841–862.

    Google Scholar 

  • Bal, R. and Balsters, H. (1993). A Deductive and Typed Object-Oriented Language. In S. Ceri, K. Tanaka, and S. Tsur (Eds.), Proceedings of the International Conference on Deductive and Object-Oriented Databases. Phoenix, Arizona, USA (pp. 340–359). Springer-Verlag, LNCS, Vol. 760.

  • Bancilhon, F., Maier, F.D., Sagiv, Y., and Ullman, J.D. (1986). Magic Sets and Other Strange Ways to Implement Logic Programs. In Proceedings of the ACM Symposium on Principles of Database Systems (pp. 1–16). Cambridge, Massachusetts.

  • Barja, M.L., Fernandes, A.A.A., Paton, N.W., Williams, M.H., Dinn, A., and Abdelmoty, A.I. (1995). Design and implementation of ROCK & ROLL: A Deductive Object-Oriented Database System. Information Systems, 20(3), 185–211.

    Google Scholar 

  • Beeri, C. and Ramakrishnan, R. (1991). On the Power of Magic. Journal of Logic Programming, 10(3, 4), 255–299.

    Google Scholar 

  • Cacace, F., Ceri, S., Crepi-Reghizzi, S., Tanca, L., and Zicari, R. (1990). 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).

  • Ceri, S., Gottlob, G., and Tanca, T. (1990). Logic Programming and Databases. Springer-Verlag.

  • Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., Tsur, S., and Zaniolo, C. (1990). The LDL System Prototype. IEEE Transactions on Knowledge and Data Engineering, 2(1), 76–90.

    Google Scholar 

  • Derr, M., Morishita, S., and Phipps, G. (1993). Design and Implementation of the Glue-Nail Database System. In Proceedings of the ACM SIGMOD International Conference on Management of Data (pp. 147–167). Washington, D.C.

  • Derr, M.A., Morishita, S., and Phipps, G. (1994). The Glue-Nail Deductive Database System: Design, Implementation, and Evaluation. The VLDB Journal, 3(2), 123–160.

    Google Scholar 

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

    Google Scholar 

  • Frohn, J., Himmeröder, R., Kandzia, P., Lausen, G., and Schlepphorst, C. (1997). Florid: A Prototype for F-logic. In Proceedings of the International Conference on Data Engineering. IEEE Computer Society.

  • Kifer, M., Lausen, G., and Wu, J. (1995). Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM, 42(4), 741–843.

    Google Scholar 

  • Kifer, M. and Wu, J. (1993). A Logic for Programming with Complex Objects. J. Computer and System Sciences, 47(1), 77–120.

    Google Scholar 

  • Krishnamurthy, R. and Naqvi, S. (1988).Towards a Real Horn Clause Language. In Proceedings of the International Conference on Very Large Data Bases (pp. 252–263). Los Angeles, California, USA: Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  • Ling, T.W. and Lee, W.B.T. (1998). DO2: A Deductive Object-Oriented Database System. In Proceedings of the 9th International Conference on Database and Expert System Applications (DEXA '98), Vienna, Austria (pp. 50–59). Springer-Verlag, LNCS, Vol. 1460.

  • Liu, M. (1996). ROL: A Deductive Object Base Language. Information Systems, 21(5), 431–457.

    Google Scholar 

  • Liu, M. (1998a). An Overview of Rule-based Object Language. Journal of Intelligent Information Systems, 10(1), 5–29.

    Google Scholar 

  • Liu, M. (1998b). Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages. In Proceedings of the 9th International Conference on Database and Expert System Applications (DEXA '98), Vienna, Austria, August 24–28 (pp. 892–902). Springer-Verlag, LNCS, Vol. 1460.

  • Liu, M. (1998c). Relationlog: ATyped Extension to Datalog with Sets and Tuples. Journal of Logic Programming, 36(3), 271–299.

    Google Scholar 

  • Liu, M. (1999). Overview of the ROL2 Deductive Object-Oriented Database System. In Proceedings of the 30 th International Conference on Technology of Object-Oriented Languages & Systems (TOOLS USA '99), Santa Barbara, CA, USA, August 1–5 (pp. 63–72). IEEE-CS Press.

  • Liu, M. and Guo, M. (1998). ROL2: A Real Deductive Object-Oriented Database Language. In Proceedings of the 17th International Conference on Conceptual Modeling (ER '98), Singapore, Nov. 16–19 (pp. 302–315). Springer-Verlag, LNCS, Vol. 1507.

  • Liu, M. and Shan, R. (1998). The Design and Implementation of the Relationlog Deductive Database System. In Proceedings of the 9th International Workshop on Database and Expert System Applications (DEXA Workshop '98), Vienna, Austria, August 24–28 (pp. 856–863). IEEE-CS Press.

  • Lou, Y. and Ozsoyoglu, M. (1991). LLO: A Deductive Language with Methods and Method Inheritance. In Proceedings of the ACM SIGMOD International Conference on Management of Data, Denver, Colorado (pp. 198–207).

  • Maier, D. (1986). A Logic for Objects. Technical Report CS/E-86–012, Oregon Graduate Institute, Beaverton, Oregon.

    Google Scholar 

  • Naqvi, S. and Tsur, S. (1989). A Logical Language for Data and Knowledge Bases. Computer Science Press.

  • Ramakrishnan, R., Srivastava, D., Sudarshan, S., and Seshadri, P. (1994). The CORAL Deductive System. The VLDB Journal, 3(2), 161–210.

    Google Scholar 

  • Sagonas, K., Swift, T., andWarren, D.S. (1994). XSB as an Efficient Deductive Database Engine. In Proceedings of the ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota (pp. 442–453).

  • Smith, J.M. and Smith, D.C.P. (1977). Database Abstraction: Aggregation and Generalization. ACM Trans. on Database Systems, 2(2), 105–133.

    Google Scholar 

  • Srivastava, D., Ramakrishnan, R., Srivastava, D., and Sudarshan, S. (1993). 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.

  • Sterling, L. and Shapiro, E. (1986). The Art of Prolog. MIT Press.

  • Ullman, J.D. (1989). Principles of Database and Knowledge-Base Systems, vols. 1 & 2. Computer Science Press.

  • Vaghani, J., Ramanohanarao, K., Kemp, D.B., Somogyi, Z., Stuckey, P.J., Leask, T.S., and Harland, J. (1994). The Aditi Deductive Database System. The VLDB Journal, 3(2), 245–288.

    Google Scholar 

  • Vahani, J., Ramamohanarao, K., Kemp, K., Somogyi, D.B., and Stucky, P.J. (1991). Design Overview of the Aditi Deductive Database System. In Proceedings of the International Conference on Data Engineering, Kobe, Japan (pp. 240–247). IEEE Computer Society.

  • Vieille, L., Bayer, P., Kuchenhoff, V., Lefebvre, A., and Manthey, R. (1992). The EKS-V1 System. In Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR '92) (pp. 504–506). Springer-Verlag, LNCS, Vol. 624.

  • Zukowski, U. and Freitag, B. (1997). The Deductive Database System LOLA. In Proceedings of the International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR '97), Dagstuhl, Germany (pp. 376–387). Springer-Verlag, LNCS, Vol. 1265.

Download references

Author information

Authors and Affiliations

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

    Mengchi Liu

Authors
  1. Mengchi Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Liu, M. Design and Implementation of the ROL Deductive Object-Oriented Database System. Journal of Intelligent Information Systems 15, 121–146 (2000). https://doi.org/10.1023/A:1008774006482

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008774006482

Search

Navigation