On the design and implementation of information systems from deductive conceptual models.

Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11

@inproceedings{DBLP:conf/vldb/Olive89,
  author    = {Antoni Oliv{\'e}},
  editor    = {Peter M. G. Apers and
               Gio Wiederhold},
  title     = {On the design and implementation of information systems from
               deductive conceptual models},
  booktitle = {Proceedings of the Fifteenth International Conference on Very
               Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-101-5},
  pages     = {3-11},
  ee        = {db/conf/vldb/Olive89.html},
  crossref  = {DBLP:conf/vldb/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Deductive conceptual models (DCMs) aim at providing a complete specification ofinformation systems, expressing only its logic component. It has been shown that DCMs have some advantages with respect to traditional, operational conceptual models, but they are more difficult to implement. We present a new approach to the design and implementation from a DCM. It consists in deriving from the DCM a new model, which we call the internal events model. This model describes the actions the information system must perform in terms of the inputs. The use of this model for data base and transactions design is discussed.

Copyright © 1989 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb8997 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Peter M. G. Apers, Gio Wiederhold (Eds.): Proceedings of the Fifteenth International Conference on Very Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands. Morgan Kaufmann 1989, ISBN 1-55860-101-5

References

[1]: ...
[2]: François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505
[3]: ...
[4]: Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
[5]: ...
[6]: Isamu Kobayashi: Temporal Aspect of Databases: Interaction between State and Event Relations. DS-1 1985: 223-232
[7]: ...
[8]: Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95(1986)
[9]: Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69
[10]: Shamkant B. Navathe, Rafi Ahmed: TSQL: A Language Interface for History Databases. Temporal Aspects in Information Systems 1987: 109-122
[11]: Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717
[12]: ...
[13]: ...
[14]: ...
[15]: ...
[16]: ...
[17]: Hans Weigand: Conceptual Models in Prolog. DS-1 1985: 59-69