Skip to main content
SpringerLink
Log in

Bridging objects with logical rules: towards object oriented deductive databases

  • Part I: The Framework
  • Chapter
  • First Online:
LOGIDATA+: Deductive Databases with Complex Objects

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

  • 125 Accesses

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. However, while structural and semantic complexity have been introduced without difficulty in the deductive context, the object oriented concepts that are more related to the data abstraction notion are more difficult to introduce. Therefore, the introduction of structurally and semantically complex objects in the logic programming area is the first step towards full object orientation. Concurrent with the deepening of the theory, several prototypes are currently being designed and implemented; the LOGIDATA+ project is one of these attempts, and the research efforts within this projects will be extensively described in this book.

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

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  5. Abiteboul, S., E. Simon, V. Vianu: Non-deterministic Languages to Express Deterministic Transformations. Proc. 1990 PODS. Bases de Données Avancés, September 1989.

    Google Scholar 

  6. Abiteboul, S. Towards a Deductive Object-Oriented Database Language. Data and Knowledge Engineering, 1991.

    Google Scholar 

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

    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.

    Google Scholar 

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

    Google Scholar 

  11. Bertino, E. and M. Montesi: Towards a logical object oriented programming language for databases, Proc. EDBT '92, Vienna, 1992.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  14. F. Cacace, 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 

  15. Ceri, S., F. Cacace, S. Danforth, E. Simon, L. Tanca The language RL and its semantics Report of Esprit Project STRETCH, 1990.

    Google Scholar 

  16. F. Cacace, S. Ceri, L. Tanca: Consistency and non-determinism in the Logres language, MFDBS 1991, Lecture Notes in Computer Science, Springer Verlag.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  19. Cacace, F. and L. Tanca: Concurrency in Deductive Object Oriented Databases, Internal Report, Politecnico di Milano, 1991.

    Google Scholar 

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

    Google Scholar 

  21. Proc. DOOD 89, Kyoto, Lecture Notes in Computer Science, Springer Verlag, 1989.

    Google Scholar 

  22. Proc. DOOD 91, Munich, Lecture Notes in Computer Science n. 566, Springer Verlag, 1991.

    Google Scholar 

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

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

    Google Scholar 

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

    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 SIGMOD 1990, Atlantic City, NJ, May 1990.

    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. Maier D.: A Logic for Objects. Proc. Workshop on Foundations of Deductive Databases and Logic Programming, Washington USA, 1986.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  36. Ramakhrishnan, R. and S. Sudarshan, Aggregation and Relevance in Deductive Databases, Proceedings of the VLDB 1991, Barcelona, Sept. 1991.

    Google Scholar 

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

    Google Scholar 

  38. Tanca, L.; (Re-)Action in Deductive Databases, Proc. 2nd International Workshop on Intelligent and Cooperative Information Systems, Como, Italy, 1991.

    Google Scholar 

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

    Google Scholar 

  40. Ullman, J.D.: A comparison between deductive and object oriented database systems, Proc. DOOD 91, Munich, Lecture Notes in Computer Science m. 566, Springer Verlag, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32 I-20133, Milano, Italy

    S. Ceri & L. Tanca

Authors
  1. S. Ceri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Tanca
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Paolo Atzeni

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Ceri, S., Tanca, L. (1993). Bridging objects with logical rules: towards object oriented deductive databases. In: Atzeni, P. (eds) LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science, vol 701. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021886

Download citation

  • DOI: https://doi.org/10.1007/BFb0021886

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56974-9

  • Online ISBN: 978-3-540-47844-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation