Skip to main content
SpringerLink
Log in

Object orientation and logic programming for databases: A season's flirt or long-term marriage?

  • Object Orientation
  • Conference paper
  • First Online:
Book cover Next Generation Information System Technology (EWDW 1990)

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

Included in the following conference series:

Abstract

A recent direction of database research has been focused on integrating logic programming and object orientation.

The rationale of such integration stems from two arguments; on one hand, object-orientation brings powerful data modeling capabilities by adding semantic and structural complexity to value-based relational databases. On the other hand, logic programming languages provide means for expressing queries and updates on a database with a declarative style; further, they provide the ideal language paradigms for expressing constraints and integrity rules.

The integration of these two worlds has been investigated theoretically; firm bases for the coexistence of value-based and identity-based concepts within a unique data model have been established, and novel features have been added to logic programming languages in order to give them full power on semantically enriched data models. Concurrent with the deepening of the theory, several prototypes are currently being designed and implemented; among them, the LOGRES system, that will be extensively described in this paper.

Theory and prototypes give evidence of a “flirt” between object orientation and logic programming; this paper attempts a critical discussion of the area, thereby anticipating the possibility of a long-term marriage.

This research is supported by the project LOGIDATA+, of the National Research Council of Italy, and by the Esprit project STRETCH, sponsored by the EEC. A version of the paper has already been published in the Proceedings of ”Sixiemes Journees Bases de Donnees Avancees”, Montpellier, 25–28 September 1990

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albano, A.: Type Hierarchies and Semantic Data Models. ACM SIGPLAN 83: Symposium on Programming Language Issues in Software Systems, San Francisco, 1983.

    Google Scholar 

  2. Atkinson, M., F. Bancilhon, D. De Witt, K. Dittrich, D. Maier, S. Zdonik: The Object-Oriented Database System Manifesto. Proc. First Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, 1989.

    Google Scholar 

  3. Abiteboul, S., S. Grumbach: COL: a Logic-based Language for Complex Objects. Proc. 1988 EDBT.

    Google Scholar 

  4. Abiteboul, S.: Updates, a New Frontier. Proc. 1988 ICDT.

    Google Scholar 

  5. Abiteboul, S., P.C. Kanellakis: Object Identity as a Query Language Primitive. Proc. 1989 SIGMOD.

    Google Scholar 

  6. Abiteboul, S., E. Simon, V. Vianu: Non-deterministic Languages to Express Deterministic Transformations. Proc. 1990 PODS.

    Google Scholar 

  7. Abiteboul, S. Towards a Deductive Object-Oriented Database Language. To appear in Data and Knowledge Engineering.

    Google Scholar 

  8. Atkinson, M.P., P. Buneman, R. Morrison: Data Types and Persistence. Springer-Verlag, 1989.

    Google Scholar 

  9. Batini, C., S. Ceri, S.B. Navathe: Database Design using the Entity-Relationship Approach. Benjamin-Cummings, 1991 (forthcoming).

    Google Scholar 

  10. Beeri, C.: Data Models and Languages for Databases. Proc. 1988 ICDT.

    Google Scholar 

  11. Cardelli, L.: A semantics of multiple inheritance. Information and Computation, 76:138–164, 1988.

    Google Scholar 

  12. Cacace, F.: Implementing an Object-Oriented Data Model in Relational Algebra: Choices and Complexity. PdM Report n. 90-009.

    Google Scholar 

  13. Cacace F., S. Ceri, S. Crespi-Reghizzi, L. Tanca, R. Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.Proc. 1990 SIGMOD.

    Google Scholar 

  14. Cacace F., S. Ceri, L. Tanca: Updates and consistency in the Logres language, PdM Report 90-008.

    Google Scholar 

  15. Ceri, S., S. Crespi-Reghizzi, G. Lamperti, L. Lavazza, R. Zicari: ALGRES: An advanced database system for complex applications, to appear in IEEE-Software, July 1990.

    Google Scholar 

  16. Ceri, S.(ed.): Methodology and Tools for Data Base Design. North-Holland, 1983.

    Google Scholar 

  17. Ceri, S., G. Gottlob, L. Tanca: What you always wanted to know about Datalog and never dared to ask. IEEE Transactions on Data and Knowledge Engineering, September 1989.

    Google Scholar 

  18. Ceri, S., G. Gottlob, L. Tanca: Logic Programming and Databases, Springer Verlag, Berlin, 1990.

    Google Scholar 

  19. Ceri, S., J. Widom: Deriving Production Rules for Constraint Maintenance. Proc. VLDB, Sydney, August 1990.

    Google Scholar 

  20. Colmeraeur, A.: Prolog in 10 Figures. Communications of the ACM, 28:12, 1985.

    Google Scholar 

  21. Fisher, P.C., S.J. Thomas: Operators for Non First Normal Form Relations. Proc. of the IEEE Computer Software and Applications Conf. 1983, 464–475.

    Google Scholar 

  22. Imielinski, T., S. Naqvi: Explicit control of Logic Programs through Rule Algebra. Proc. 1988 PODS.

    Google Scholar 

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

    Google Scholar 

  24. Kifer, M., J. Wu: A Logic for Object Oriented Programming (Maier's O-Logic Revisited). Proc. 1989 PODS.

    Google Scholar 

  25. Kowalski, R.A.: Logic for Data Description. In Logic and Databases, Gallaire, H., Minker, J., (eds.) pp. 77–103. Plenum Press, 1978.

    Google Scholar 

  26. Krishnamurthy, R., C. Zaniolo: Optimization in a Logic Based Language for Knowledge and Data Intensive Application, in Advances in Database Technology, Proc. 1988 EDBT, Springer Verlag.

    Google Scholar 

  27. Kuper, G.M., M.Y. Vardi: A New Approach to Database Logic. Proc. 1984 PODS.

    Google Scholar 

  28. Lambrichts, E., P. Nees, J. Paredaens, P. Peelman, L. Tanca:Integration of Functions in Logic Database Systems, Data and Knowledge Engineering, 1990.

    Google Scholar 

  29. Laenens, E., D. Sacca', and D. Vermeir:Extending Logic Programming, Proc. ACM 1990 SIGMOD

    Google Scholar 

  30. LLoyd, J.: Foundations of Logic Programming, Second Extended Edition, Springer Verlag, 1987.

    Google Scholar 

  31. Lecluse, C., P. Richard and F. Velez: O2, an Object-Oriented Data Model. Proc. 1988 SIGMOD.

    Google Scholar 

  32. de Maindreville, C., E. Simon: Modelling queries and updates in a deductive database. Proc. 1988 VLDB.

    Google Scholar 

  33. Maier D.: A Logic for Objects. Proc. Workshop on Foundations of Deductive Databases and Logic Programming, Washington USA, 1986.

    Google Scholar 

  34. The Committee for Advanced DBMS Functions: Third-Generation Data Base System Manifesto. Mem. UCB/ERL M90/28, April 1990.

    Google Scholar 

  35. Manchanda, S., D.S. Warren: A logic-based language for database updates. In Foundations of Logic Programming and Deductive Databases, ed. J. Minker (1987).

    Google Scholar 

  36. Mylopulos, J., P.A. Bernstein, H.K.T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Transactions on Database Systems, 5:2, June 1980, pp. 185–207.

    Google Scholar 

  37. Morris, K., J.D.Ullman, A. Van Gelder: Design overview of the NAIL! system. Proc. ICLP, 1986.

    Google Scholar 

  38. Naqvi, S., S. Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989.

    Google Scholar 

  39. Schmidt, J.W.; Type Concepts for Database Definition. In Database: Improving their usability and responsiveness, Academic Press, 1978.

    Google Scholar 

  40. Smith, J.M., S.A. Fox, T. Landers: ADAPLEX: Rationale and Reference Manual. Tech. Report CCA-83-03, Computer Corporation of America, Cambridge, MA, May 1983.

    Google Scholar 

  41. Sheck, H.J., P. Pistor: Data Structures for an Integrated Data Base Management and Information Retrieval System. Proc. VLDB 1982, 197–207.

    Google Scholar 

  42. Ullman, J.D.: Principles of Databases and Knowledge-Base Systems. Volume I, Computer Science Press, Potomac, MD, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica, Politecnico di Milano, Piazza L. Da Vinci 32, 20133, Milano

    S. Ceri, F. Cacace & L. Tanca

Authors
  1. S. Ceri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Cacace
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Tanca
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joachim W. Schmidt Anatoly A. Stogny

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ceri, S., Cacace, F., Tanca, L. (1991). Object orientation and logic programming for databases: A season's flirt or long-term marriage?. In: Schmidt, J.W., Stogny, A.A. (eds) Next Generation Information System Technology. EWDW 1990. Lecture Notes in Computer Science, vol 504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54141-1_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-54141-1_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54141-7

  • Online ISBN: 978-3-540-47444-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation