ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Towards a Formal Approach for Object Database Design.

Pascal Poncelet, Maguelonne Teisseire, Rosine Cicchetti, Lotfi Lakhal: Towards a Formal Approach for Object Database Design. VLDB 1993: 278-289
@inproceedings{DBLP:conf/vldb/PonceletTCL93,
  author    = {Pascal Poncelet and
               Maguelonne Teisseire and
               Rosine Cicchetti and
               Lotfi Lakhal},
  editor    = {Rakesh Agrawal and
               Se{\'a}n Baker and
               David A. Bell},
  title     = {Towards a Formal Approach for Object Database Design},
  booktitle = {19th International Conference on Very Large Data Bases, August
               24-27, 1993, Dublin, Ireland, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1993},
  isbn      = {1-55860-152-X},
  pages     = {278-289},
  ee        = {db/conf/vldb/PonceletTCL93.html},
  crossref  = {DBLP:conf/vldb/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

This paper focuses on a formal approach* for advanced database modeling and design. It is based on the IF02 model, an extension of the semantic model IF0 defined by S. Abiteboul and R. Hull. It preserves the acquired strengths of the semantic approaches, whilst integrating concepts of the object paradigm. To model an IF02 schema, the structural part of the model including concepts such as alternative, composition, grouping for building complex objects and semantic constraints is formally specified. Furthermore, the definitions of update facilities necessary to modify and perfect IF02 schemas are specified through change rules. Finally, in order to design a database schema, an IF02 schema is translated, in an automatical way, into an existing target (implementable) model. As an illustration, we present a translation from the IF02 model into the O2 one. The result is a new coherent and formal approach which is useful in overcoming some of the difficulties in the specification and design of object-oriented applications.

Copyright © 1993 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

Rakesh Agrawal, Seán Baker, David A. Bell (Eds.): 19th International Conference on Very Large Data Bases, August 24-27, 1993, Dublin, Ireland, Proceedings. Morgan Kaufmann 1993, ISBN 1-55860-152-X
Contents BibTeX

References

[1]
...
[2]
Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX
[3]
José Andany, Michel Léonard, Carole Palisser: Management Of Schema Evolution In Databases. VLDB 1991: 161-170 BibTeX
[4]
Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX
[5]
Jay Banerjee, Hong-Tai Chou, Jorge F. Garza, Won Kim, Darrell Woelk, Nat Ballou, Hyoung-Joo Kim: Data Model Issues for Object-Oriented Applications. ACM Trans. Inf. Syst. 5(1): 3-26(1987) BibTeX
[6]
Elisa Bertino, Lorenzo Martino: Object-Oriented Database Management Systems: Concepts and Issues. IEEE Computer 24(4): 33-47(1991) BibTeX
[7]
...
[8]
...
[9]
Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari: The ESSE Project: An Overview. Future Databases 1992: 28-37 BibTeX
[10]
José Luiz Fiadeiro, Amílcar Sernadas: Specification and Verification of Database Dynamics. Acta Inf. 25(6): 625-661(1988) BibTeX
[11]
Andreas Heuer: A Data Model for Complex Objects Based on a Semantic Database Model and Nested Relations. NF² 1987: 297-312 BibTeX
[12]
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
[13]
Richard Hull: Four Views of Complex Objects: A Sophisticate's Introduction. NF² 1987: 87-116 BibTeX
[14]
Won Kim, Elisa Bertino, Jorge F. Garza: Composite Objects Revisted. SIGMOD Conference 1989: 337-347 BibTeX
[15]
Won Kim: Object-Oriented Databases: Definition and Research Directions. IEEE Trans. Knowl. Data Eng. 2(3): 327-341(1990) BibTeX
[16]
Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433 BibTeX
[17]
Peter Lyngbæk, Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987: 132-142 BibTeX
[18]
...
[19]
Michele Missikoff, Michel Scholl: An Algorithm for Insertion into a Lattice: Application to Type Classification. FODO 1989: 64-82 BibTeX
[20]
Gia Toan Nguyen, Dominique Rieu: Schema Evolution in Object-Oriented Database Systems. Data Knowl. Eng. 4(1): 43-67(1989) BibTeX
[21]
...
[22]
D. Jason Penney, Jacob Stein: Class Modification in the GemStone Object-Oriented DBMS. OOPSLA 1987: 111-117 BibTeX
[23]
Pascal Poncelet, Lotfi Lakhal: Consistent Structural Updates for Object Database Design. CAiSE 1993: 1-21 BibTeX
[24]
Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6: 47-73(1991) BibTeX
[25]
Hirotaka Sakai: An Object Behavior Modeling Method. DEXA 1990: 42-48 BibTeX
[26]
Michael Stonebraker: Introduction to the Special Issue on Database Prototype Systems. IEEE Trans. Knowl. Data Eng. 2(1): 1-3(1990) BibTeX
[27]
...
[28]
...
[29]
Markus Tresch, Marc H. Scholl: Meta Object Management and its Application to Database Evolution. ER 1992: 299-321 BibTeX
[30]
Steven Twine: Mapping between a NIAM Conceptual Schema and KEE Frames. Data Knowl. Eng. 4: 125-155(1989) BibTeX
[31]
Rainer Unland, Gunter Schlageter: Object-Oriented Database Systems: Concepts and Perspectives. IBM Symposium: Database Systems of the 90s 1990: 154-197 BibTeX
[32]
Roberto Zicari: A Framework for Schema Updates In An Object-Oriented Database System. ICDE 1991: 2-13 BibTeX

Referenced by

  1. A. Yahia, Lotfi Lakhal, Rosine Cicchetti, Jean-Pierre Bordat: iO2 - An Algorithmic Method for Building Inheritance Graphs in Object Database Design. ER 1996: 422-437
  2. Joachim Biskup, Ralf Menzel, Torsten Polle, Yehoshua Sagiv: Decomposition of Relationships through Pivoting. ER 1996: 28-41
  3. Maguelonne Teisseire: Behavioural Constraints Using Events. OOER 1995: 123-132
  4. Joachim Biskup, Ralf Menzel, Torsten Polle: Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas. ADBIS 1995: 109-136
  5. Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti: Towards Event-Driven Modelling for Database Design. VLDB 1994: 285-296
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:56 2009