Integrating object-oriented data modelling with a rule-based programming paradigm
- 1 May 1990
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 19 (2) , 225-236
- https://doi.org/10.1145/93597.98732
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 prototypeKeywords
This publication has 8 references indexed in Scilit:
- Algres: an advanced database system for complex applicationsIEEE Software, 1990
- A logic for object-oriented logic programmingPublished by Association for Computing Machinery (ACM) ,1989
- Object identity as a query language primitivePublished by Association for Computing Machinery (ACM) ,1989
- Explicit control of logic programs through rule algebraPublished by Association for Computing Machinery (ACM) ,1988
- A semantics of multiple inheritanceInformation and Computation, 1988
- O2, an object-oriented data modelPublished by Association for Computing Machinery (ACM) ,1988
- A Logic-based Language for Database UpdatesPublished by Elsevier ,1988
- A new approach to database logicPublished by Association for Computing Machinery (ACM) ,1984