Abstract
Deductive object-oriented databases are intended to combine the best of the deductive and object-oriented approaches. However, some important object-oriented features are not properly supported in the existing proposals. This paper proposes a novel deductive language that supports important structurally object-oriented features such as object identity, complex objects, typing, classes, class hierarchies, multiple property inheritance with overriding, conflict-handling, and blocking, and schema definitions in a uniform framework. The language effectively integrates useful features in deductive and object-oriented database languages. The main novel feature is the logical semantics that cleanly accounts for those structurally object-oriented features that are missing in object-oriented database languages. Therefore it establishes a theoretical foundation for a practical deductive object-oriented database system for advanced database applications.
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
S. Abiteboul and S. Grumbach COL: A Logic-Based Language for Complex Objects. ACM TODS, 16(1):1–30, 1991.
S. Abiteboul and R. Hull IFO: A Formal Semantic Database Model. ACM Trans. on Database Systems, 12(4):525–565, 1987.
S. Abiteboul and P.C. Kanellakis Object Identity as a Query Language Primitive. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 159–173, Portland, Oregon, 1989.
K.R. Apt, H.A. Blair, and A. Walker Towards a theory of declarative knowledge. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann Publishers, 1988.
R. Bal and H. Balsters A Deductive and Typed Object-Oriented Language. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 340–359, Phoenix, Arizona, USA, 1993. Springer-Verlag LNCS 760.
M.L. Barja, A.A.A. Fernandes, N.W. Paton, M.H. Williams, A. Dinn, and A.I. Abdelmoty Design and implementation of ROCK & ROLL: a deductive object-oriented database system. Information Systems, 20(3):185–211, 1995.
C. Beeri A formal approach to object-oriented databases. Data and Knowledge Engineering, 5(2):353–382, 1990.
C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur Set Construction in a Logic Database Language. J. Logic Programming, 10(3,4):181–232, 1991.
F. Cacace, S. Ceri, S. Crepi-Reghizzi, L. Tanca, and R. Zicari Integrating Object-Oriented Data Modelling with a Rule-Based Programming Paradigm. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 225–236, 1990.
Q. Chen and W. Chu HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases. In W. Kim, J.M. Nicolas, and S. Nishio, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 431–452, Kyoto, Japan, 1989. North-Holland.
O. Deux and others The Story of O2. IEEE Transactions on Knowledge and Data Engineering, 2(1):91–108, 1990.
G. Dobbie and R. Topor On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems. Journal of Intelligent Information System, 4(2):193–219, 1995.
A.V. Gelder, K.A. Ross, and J.S. Schlipf The Well-Founded Semantics for General Logic Programs. Journal of ACM, 38(3):620–650, 1991.
Sergio Greco, Nicola Leone, and Pasquale Rullo COMPLEX: An Object-Oriented Logic Programming System. IEEE Transactions on Knowledge and Data Engineering, 4(4):344–359, 1992.
R. Hull and M. Yoshikawa ILOG: Declarative Creation and Manipulation of Object Identifiers. In Proceedings of the International Conference on Very Large Data Bases, pages 455–468, Brisbane, Queensland, Australia, 1990. Morgan Kaufmann Publishers, Inc.
M. Kifer, G. Lausen, and J. Wu Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM, 42(4):741–843, 1995.
M. Kifer and J. Wu A Logic for Programming with Complex Objects. J. Computer and System Sciences, 47(1):77–120, 1993.
Won Kim Introduction to Object-Oriented Databases. The MIT Press, 1990.
T.W. Ling and W.B.T. Lee DO2: A Deductive Object-Oriented Database System. In Proceedings of the 9th International Conference on Database and Expert System Applications (DEXA’ 98), pages 50–59, Vienna, Austria, 1998. Springer-Verlag LNCS 1460.
M. Liu and M. Guo ROL2: A Real Deductive Object-Oriented Database Language. In Proceedings of the 17th International Conference on Conceptual Modeling (ER’ 98), pages 302–315, Singapore, Nov. 16–19 1998. Springer-Verlag LNCS 1507.
M. Liu and R. Shan 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), pages 856–863, Vienna, Austria, August 24–28 1998. IEEE-CS Press.
Mengchi Liu ROL: A Deductive Object Base Language. Information Systems, 21(5):431–457, 1996.
Mengchi Liu 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), pages 892–902, Vienna, Austria, August 24–28 1998. Springer-Verlag LNCS 1460.
Mengchi Liu Relationlog: A Typed Extension to Datalog with Sets and Tuples. Journal of Logic Programming, 36(3):271–299, 1998.
Mengchi Liu Overview of the ROL2_Deductive Object-Oriented Database System. In Proceedings of the 30th International Conference on Technology of Object-Oriented Languages & Systems (TOOLS USA’ 99), Santa Barbara, CA, USA, August 1–5 1999. IEEE-CS Press.
Mengchi Liu Deductive Database Languages: Problems and Solutions. To appear in ACM Computing Surveys, 30(1), 1999. (45 pages).
Y. Lou and M. Ozsoyoglu LLO: A Deductive Language with Methods and Method Inheritance. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 198–207, Denver, Colorado, 1991.
D. Maier A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon, 1986.
W. May, B. Ludascher, and G. Lausen Well-Founded Semantics for Deductive Object-Oriented Database Languages. In Proceedings of the International Conference on Deductive and Object-Oriented Databases, Switzerland, 1997. Springer-Verlag LNCS.
I.S. Mumick and K.A. Ross Noodle: A Language for Declarative Querying in an Object-Oriented Database. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 360–378, Phoenix, Arizona, USA, 1993. Springer-Verlag LNCS 760.
Shamim Naqvi and Shalom Tsur A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
D. Srivastava, R. Ramakrishnan, D. Srivastava, and S. Sudarshan CORAL++: Adding Object-Orientation to a Logic Database Language. In Proceedings of the International Conference on Very Large Data Bases, pages 158–170, Dublin, Ireland, 1993. Morgan Kaufmann Publishers, Inc.
Bjarne Stroustrup. The C++ Programming Language. Addison Wesley., 2 edition, 1991.
J. Ullman A Comparison between Deductive and Object-Oriented Databases Systems. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 263–277, Munich, Germany, 1991. Springer-Verlag LNCS 566.
J.D. Ullman Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, M. (1999). OLOG: A Deductive Object Database Language. In: Pinter, R.Y., Tsur, S. (eds) Next Generation Information Technologies and Systems. NGITS 1999. Lecture Notes in Computer Science, vol 1649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48521-X_10
Download citation
DOI: https://doi.org/10.1007/3-540-48521-X_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66225-9
Online ISBN: 978-3-540-48521-6
eBook Packages: Springer Book Archive