Skip to main content

OLOG: A Deductive Object Database Language

(Extended Abstract)

  • Conference paper
  • First Online:
Next Generation Information Technologies and Systems (NGITS 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1649))

  • 243 Accesses

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.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and S. Grumbach COL: A Logic-Based Language for Complex Objects. ACM TODS, 16(1):1–30, 1991.

    Article  MathSciNet  Google Scholar 

  2. S. Abiteboul and R. Hull IFO: A Formal Semantic Database Model. ACM Trans. on Database Systems, 12(4):525–565, 1987.

    Article  MathSciNet  Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Article  Google Scholar 

  7. C. Beeri A formal approach to object-oriented databases. Data and Knowledge Engineering, 5(2):353–382, 1990.

    Article  MathSciNet  Google Scholar 

  8. 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.

    Article  MathSciNet  MATH  Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. O. Deux and others The Story of O2. IEEE Transactions on Knowledge and Data Engineering, 2(1):91–108, 1990.

    Article  Google Scholar 

  12. 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.

    Article  Google Scholar 

  13. 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.

    Article  MATH  Google Scholar 

  14. 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.

    Article  Google Scholar 

  15. 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.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  18. Won Kim Introduction to Object-Oriented Databases. The MIT Press, 1990.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

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

    Article  Google Scholar 

  23. 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.

    Google Scholar 

  24. Mengchi Liu Relationlog: A Typed Extension to Datalog with Sets and Tuples. Journal of Logic Programming, 36(3):271–299, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  25. 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.

    Google Scholar 

  26. Mengchi Liu Deductive Database Languages: Problems and Solutions. To appear in ACM Computing Surveys, 30(1), 1999. (45 pages).

    Google Scholar 

  27. 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.

    Google Scholar 

  28. D. Maier A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon, 1986.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. Shamim Naqvi and Shalom Tsur A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.

    Google Scholar 

  32. 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.

    Google Scholar 

  33. Bjarne Stroustrup. The C++ Programming Language. Addison Wesley., 2 edition, 1991.

    Google Scholar 

  34. 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.

    Google Scholar 

  35. J.D. Ullman Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988.

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics