Definition of deductive conceptual models of OODBs

The definition of deductive conceptual models (DCMs) using Prolog in order to specify different aspects of OODBs is proposed. The result of the specification process using this technique is an executable prototype of the system. Having a prototype directly available, along with the system specifications, is particularly useful in order to define additional elements in the context of OODBs (e.g. schema evolution, definition of derived classes definition of external schemas). The use of this technique is proposed mainly due to the difficulty of building prototypes of the mentioned elements over commercial OODBs. A brief example of a practical application of this technique-the specification of a conceptual schema definition system and its associated data model-is presented