The Odissea Project: An Environment for the Development of Information Systems from DCM

The main purpose of this paper is to present the ODISSEA project, which aims at exploring the issues involved in the specification, design and implementation of Information Systems by means of Deductive Conceptual Models. We describe a specialized language to define DCM, the ODISSEA Language, the Internal Events Model and a detailed description of the development and run-time environments.

[1]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..

[2]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[3]  Jaume Sistac.  The DADES/GP approach to automatic generation of Information System prototypes from a deductive conceptual model , 1992, Inf. Syst..

[4]  Dolors Costal,et al.  A method for reasoning about deductive conceptual models of information systems , 1992, CNKBS.

[5]  Henk Sol,et al.  Information Systems Design Methodologies: A Comparative Review , 1983 .

[6]  Maria-Ribera Sancho.  Deriving an Internal Events Model from a Deductive Conceptual Model , 1990, DAISD.

[7]  Antoni Olivé,et al.  A Method for Change Computation in Deductive Databases , 1992, VLDB.

[8]  Antoni Olivé,et al.  On the design and implementation of information systems from deductive conceptual models , 1989, VLDB.

[9]  Antoni Olivé.  A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling , 1986, IFIP Congress.

[10]  Antoni Olivé.  Integrity Constraints Checking In Deductive Databases , 1991, VLDB.

[11]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[12]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[13]  J. A. Bubenko,et al.  A declarative approach to conceptual information modeling , 1986, Trends in Information Systems.

[14]  Joan Antoni Pastor.  The Internal Events Method for Integrity Constraints Enforcement in Deductive Databases , 1990, DAISD.

[15]  Carme Quer,et al.  ODISSEA: A Language for Deductive Information Systems , 1991, DAISD.

[16]  Antoni Olivé,et al.  The Events Method for View Updating in Deductive Databases , 1992, EDBT.