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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Butterworth, P., Otis, A., Stein, J.: The Gemstone Object Database Management System. Communications of the ACM 34(10), 64–77 (1991)
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)
Cattell, R.G.G. (ed.): The Object Database Standard: ODMG- 1993, Release 1.2. Morgan Kaufmann, San Francisco (1996)
Deux, O., et al.: The O2 System. Communications of the ACM 34(10), 35–48 (1991)
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)
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)
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)
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)
Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM 42(4), 741–843 (1995)
Kifer, M., Wu, J.: A Logic for Programming with Complex Objects. J. Computer and System Sciences 47(1), 77–120 (1993)
Kim, W.: Introduction to Object-Oriented Databases. The MIT Press, Cambridge (1990)
Lamb, C., Landis, G., Orenstein, J., Weinreb, D.: The ObjectStore System. Communications of the ACM 34(10), 50–63 (1991)
Liu, M.: ROL: A Deductive Object Base Language. Information Systems 21(5), 431–457 (1996)
Liu, M.: An Overview of Rule-based Object Language. Journal of Intelligent Information Systems 10(1), 5–29 (1998)
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)
Maier, D.: A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon (1986)
Moss, C.: Prolog++. Addison-Wesley, Reading (1994)
Naqvi, S., Tsur, S.: A Logical Language for Data and Knowledge Bases. Computer Science Press, Rockville (1989)
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)
Soloviev, V.: An Overview of Three Commercial Object-Oriented Database Management Systems: ONTOS, ObjectStore, O2. SIGMOD Record 21(1), 93–104 (1992)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, M., Guo, M. (1998). ROL2: A Real Deductive Object-Oriented Database Language. In: Ling, TW., Ram, S., Li Lee, M. (eds) Conceptual Modeling – ER ’98. ER 1998. Lecture Notes in Computer Science, vol 1507. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49524-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-49524-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65189-5
Online ISBN: 978-3-540-49524-6
eBook Packages: Springer Book Archive