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

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 ...

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

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

Copyright © Tue Mar 16 02:22:03 2010 by Michael Ley (ley@uni-trier.de)