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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.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.
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.
Beeri, C. and Ramakrishnan, R. (1991). On the Power of Magic. Journal of Logic Programming, 10(3, 4), 255–299.
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.
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.
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.
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.
Kifer, M. and Wu, J. (1993). A Logic for Programming with Complex Objects. J. Computer and System Sciences, 47(1), 77–120.
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.
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.
Liu, M. (1998a). An Overview of Rule-based Object Language. Journal of Intelligent Information Systems, 10(1), 5–29.
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.
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.
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.
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.
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.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1008774006482