ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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}
}
BibTeX

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

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

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
BibTeX

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

Referenced by

  1. Dolors Costal, Maria-Ribera Sancho, Antoni Olivé, Miguel Barceló, Pablo Costa, Carme Quer, Anna Roselló: The Cause-Effect Rules of ROSES. ADBIS 1997: 399-405
  2. Petia Assenova, Paul Johannesson: Improving Quality in Conceptual Modelling by the Use of Schema Transformations. ER 1996: 277-291
  3. Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian: The PARK Semantics for Active Rules. EDBT 1996: 35-55
  4. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
  5. Toni Urpí, Antoni Olivé: A Method for Change Computation in Deductive Databases. VLDB 1992: 225-237
  6. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
  7. Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260
  8. Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523
  9. Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modeling of Object Oriented Databases. VLDB 1991: 3-14
  10. Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modelling and Object-Oriented Modelling: Two Complementary Paradigms. ER 1991: 325-348
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
 ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:39 2009