CDOL: a declarative platform for developing OODB applications

The authors present a rule-based database language known as CDOL (comprehensive declarative object language). CDOL provides sublanguages for the expression of derived data, constraints, updates, and integrity rules. The basic rule language provides an expressive approach to extending the stored database with virtual attributes and classes. The constraint sublanguage of CDOL allows explicit declarative specification of integrity constraints. The update sublanguage of CDOL enables ad-hoc declarative update requests, where the end-user is relieved from database consistency considerations. Integrity rules in CDOL are designed as active, user-transparent agents that supplement the declarative updates to complete update methods that preserve database consistency. An important contribution of CDOL is the active, integrity rule framework it establishes for integrating derived data, constraints and updates in a coherent and easy to use application-development platform for OODBs.<<ETX>>

[1]  Stefano Ceri,et al.  A declarative approach to active databases , 1992, [1992] Eighth International Conference on Data Engineering.

[2]  Hamid Pirahesh,et al.  Alert: An Architecture for Transforming a Passive DBMS into an Active DBMS , 1991, VLDB.

[3]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[4]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS '89.

[5]  Fernando Vélez,et al.  O2, an object-oriented data model , 1988, SIGMOD '88.

[6]  Lois M. L. Delcambre,et al.  Constraint Analysis: A Design Process for Specifying Operations on Objects , 1990, IEEE Trans. Knowl. Data Eng..

[7]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

[8]  Richard Hull,et al.  Language Constructs for Programming Active Databases , 1991, VLDB.

[9]  Christophe Lécluse,et al.  O2, an object-oriented data model , 1988, SIGMOD '88.

[10]  Letizia Tanca,et al.  Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.

[11]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[12]  Masatoshi Yoshikawa,et al.  ILOG: Declarative Creation and Manipulation of Object Identifiers , 1990, VLDB.

[13]  Serge Abiteboul,et al.  Objects and views , 1991, SIGMOD '91.

[14]  Michael Stonebraker,et al.  The Implementation of Postgres , 1990, IEEE Trans. Knowl. Data Eng..

[15]  Z. Meral Özsoyoglu,et al.  LLO: an object-oriented deductive language with methods and method inheritance , 1991, SIGMOD '91.

[16]  Susan Darling Urban,et al.  CONTEXT: A CONstrainT EXplanation Tool , 1992, Data Knowl. Eng..