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 IF0₂ 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 IF0₂ 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 IF0₂ schemas are specified through change rules. Finally, in order to design a database schema, an IF0₂ schema is translated, in an automatical way, into an existing target (implementable) model. As an illustration, we present a translation from the IF0₂ model into the O₂ 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

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

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

References

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