A method for reasoning about deductive conceptual models of information systems

We describe a new method for reasoning about conceptual models of information systems developed in the deductive approach. The method allows checking the effect of external events on the Information Base and generating plans able to perform a transition between two states of the Information Base. Our method has the full power of the methods developed so far for the traditional, operational approach to conceptual modelling. The reasoning capabilities provided by our method are helpful and improve the validation task of conceptual models of information systems.

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

[2]  Bengt G. Lundberg.  On Correctness of Information Models , 1983, Inf. Syst..

[3]  Antonio L. Furtado,et al.  Plan and Schedule Generation over Temporal Databases , 1990, ER.

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

[5]  Antonio L. Furtado,et al.  Expert Helpers to Data-Based Information Systems , 1984, Expert Database Workshop.

[6]  Antonio L. Furtado,et al.  A software tool for modular database design , 1991, TODS.

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

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

[9]  P Loucopoulos,et al.  Business Rule Modelling: Conceptual Modelling and Object-Oriented Specifications , 1991 .

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

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

[12]  Colette Rolland,et al.  Object Oriented Approach in Information Systems , 1991 .

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

[14]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[15]  Antonio L. Furtado,et al.  Towards Simpler and Yet Complete Formal Specifications , 1986, TFAIS.

[16]  Janis A. Bubenko,et al.  Information System Methodologies - A Research View , 1986, Information Systems Design Methodologies: Improving the Practice.

[17]  Dolors Costal.  An Approach to Validation of Deductive Conceptual Models , 1991, DAISD.

[18]  H. Schneider.  Automated Tools for Information Systems Design , 1982 .