Integrating object-oriented data modelling with a rule-based programming paradigm

ABSTRACT

LOGRES is a new project for the development of extended database systems which is based on the integration of the object-oriented data modelling paradigm and of the rule-based approach for the specification of queries and updates. The data model supports generalization hierarchies and object sharing, the rule-based language extends Datalog to support generalized type constructors (sets, multisets, and sequences), rule-based integrity constraints are automatically produced by analyzing schema definitions. Modularization is a fundamental feature, as modules encapsulate queries and updates, when modules are applied to a LOGRES database, their side effects can be controlled. The LOGRES project is a follow-up of the ALGRES project, and takes advantage of the ALGRES programming environment for the development of a fast prototype.

REFERENCES

• ABDDMZ89: Atkmson, M, F Bancllhon, D De Wltt, K Dlttnch, D Maler, S Zdomk The Ob3ect-Omented Database System Manifesto Proc Ftrst Int Conf on Deductive and Object-Oriented Databases, Kyoto, 1989
• AbGr88: Serge Abiteboul , Stéphane Grumbach, COL: A Logic-Based Language for Complex Objects, Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology, p.271-293, March 14-18, 1988
• Abit88a: Ablteboul, S, and V Vlanu Datalog Eztenszons /or Database Qtterzes and Updates INRIA Rep n 900, September 1988
• Abit88b: S. Abiteboul, Updates, a new frontier, Lecture notes in computer science on ICDT '88, p.1-18, October 1988, Bruges, Belgium
• Abit89: Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.159-173, June 1989, Portland, Oregon, United States
• AbSi89: Ablteboul, S, E Simon Fundamental properties of determm~stzc and nondetermznzstzc estenswns o.f Datalog Proc Journdes Bases de Donndes Avancds, September 1989
• Beer88: C. Beeri, Data models and languages for databases, Lecture notes in computer science on ICDT '88, p.19-40, October 1988, Bruges, Belgium
• Ca90: Cacace, F Implementing an Ob3ect- Omented Data Model ~n Relatwnal Algebra Choices and G'omplezzty PdM Report n 90-009
• Card88: Luca Cardelli, A semantics of multiple inheritance, Information and Computation, v.76 n.2-3, p.138-164, February/March 1988 [doi>10.1016/0890-5401(88)90007-7]
• CCCTZ89: F Cacace, S Cerl, S Crespl-Reghrzzl, L Tanca, R Zmarl The LOGRES pro3ect Integrating Object-Omented Data Modelhng wzth a Rule-Based Programming Paradigm PdM Report n 89-039
• Ceri88: Stefano Ceri , Stefano Crespi-Reghizzi , Georg Gottlob , F. Lamperti , Luigi Lavazza , Letizia Tanca , Roberto Zicari, The Algres Project, Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology, p.551-555, March 14-18, 1988
• CCLLZ89: Stefano Ceri , Stefano Crespi-Reghizzi , Roberto Zicari , Gianfranco Lamperti , Luigi A. Lavazza, Algres: An Advanced Database System for Complex Applications, IEEE Software, v.7 n.4, p.68-78, July 1990 [doi>10.1109/52.56451]
• CGT89: Stefano Ceri , Georg Gottlob , Letizia Tanca, Logic programming and databases, Springer-Verlag New York, Inc., New York, NY, 1990
• ImNa88: Tomasz Imielinski , Shamim Naqvi, Explicit control of logic programs through rule algebra, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.103-116, March 1988, Austin, Texas, United States [doi>10.1145/308386.308422]
• KiWu 89: M. Kifer , J. Wu, A logic for object-oriented logic programming, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-393, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73758]
• KV84: Gabriel M. Kuper , Moshe Y. Vardi, A new approach to database logic, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada [doi>10.1145/588011.588026]
• LRV88: C. Lecluse , P. Richard , F. Velez, O2, an object-oriented data model, Proceedings of the 1988 ACM SIGMOD international conference on Management of data, p.424-433, June 01-03, 1988, Chicago, Illinois, United States
• dMS88: de Mamdrevdle, C, E Sxmon Modelhng quemes and updates tn a deductzve database Proc 1988 VLDB
• Mai86: Ma~er D A Logic for Ob3ects Proc Workshop on Foundations of Deductive Databases and Logic Programming, Washington USA, 1986
• MaWa87: Manchanda, S, D S Warren A loqtcbased laneuage for database updates In Foundations of Logic Programming and Deductive Databases, ed J Mmker (1987)
• Morr86: Katherine Morris , Jeffrey D Ullman , Allen Van Gelder, Design overview of the NAIL] system, Proceedings on Third international conference on logic programming, p.554-568, September 1986, London, United Kingdom
• Naqv89: S. Naqvi , S. Tsur, A logical language for data and knowledge bases, Computer Science Press, Inc., New York, NY, 1989
• Ull88: Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Query processing

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models
      H.2.3 Languages

          Nouns: Datalog

General Terms:
Algorithms, Design, Languages