Correctness of ISA Hierarchies in Object-Oriented Database Schemas.

@inproceedings{DBLP:conf/edbt/FormicaM94,
  author    = {Anna Formica and
               Michele Missikoff},
  editor    = {Matthias Jarke and
               Janis A. Bubenko Jr. and
               Keith G. Jeffery},
  title     = {Correctness of ISA Hierarchies in Object-Oriented Database Schemas},
  booktitle = {Advances in Database Technology - EDBT'94. 4th International
               Conference on Extending Database Technology, Cambridge, United
               Kingdom, March 28-31, 1994, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {779},
  year      = {1994},
  isbn      = {3-540-57818-8},
  pages     = {231-244},
  ee        = {db/conf/edbt/FormicaM94.html},
  crossref  = {DBLP:conf/edbt/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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/An2-2 or /cdrom

• 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

References

[1]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX

[2]

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

[3]

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

[4]

...

[5]

Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 BibTeX

[6]

...

[7]

...

[8]

...

[9]

Corine Cauvet, C. Proix, Colette Rolland: Information System Design: An Expert System Approach. EDBT 1988: 113-133 BibTeX

[10]

...

[11]

...

[12]

...

[13]

...

[14]

Won Kim: Object-Oriented Databases: Definition and Research Directions. IEEE Trans. Knowl. Data Eng. 2(3): 327-341(1990) BibTeX

[15]

...

[16]

...

[17]

Christophe Lécluse, Philippe Richard: The O2 Database Programming Language. VLDB 1989: 411-422 BibTeX

[18]

...

Referenced by

1. Anna Formica, Hans Dietmar Gröger, Michele Missikoff: An Efficient Method for Checking Object-Oriented Database Schema Correctness. ACM Trans. Database Syst. 23(3): 333-369(1998)
2. Ernesto Damiani, Anna Formica, Maria Grazia Fugini, Michele Missikoff, R. Pizzicannella: Reusing Analysis Schemas in ODB Applications: a Chart Based Approach. ADBIS 1997: 406-415
3. Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon: Type-safe Relaxing of Schema Consistency Rules for Flexible Modeling in OODBMS. VLDB J. 5(2): 133-155(1996)
4. 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
5. Leonid A. Kalinichenko, Vladimir Zadorozhny: Type Inferencing Based on Complete Type Specifications. ADBIS 1995: 207-219
6. Alain Pirotte, Esteban Zimányi, David Massart, Tatiana Yakusheva: Materialization: A Powerful and Ubiquitous Abstraction Pattern. VLDB 1994: 630-641
7. Xian Ye, Christine Parent, Stefano Spaccapietra: Cardinality Consistency of Derived Objects in DOOD Systems. ER 1994: 278-295