Subsumption for Complex Object Data Models.

@inproceedings{DBLP:conf/icdt/BeneventanoB92,
  author    = {Domenico Beneventano and
               Sonia Bergamaschi},
  editor    = {Joachim Biskup and
               Richard Hull},
  title     = {Subsumption for Complex Object Data Models},
  booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin,
               Germany, October 14-16, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {646},
  year      = {1992},
  isbn      = {3-540-56039-4},
  pages     = {357-375},
  ee        = {db/conf/icdt/BeneventanoB92.html},
  crossref  = {DBLP:conf/icdt/92},
  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

[ACCT90]

...

[AG88]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX

[AK89]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[AH87]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX

[AitK86]

Hassan Aït-Kaci: Type Subsumption as a Model of Computation. Expert Database Workshop 1984: 115-139 BibTeX

[Baa90]

Franz Baader: Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 1990: 621-626 BibTeX

[Bee90]

Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382(1990) BibTeX

[BGN89]

Howard W. Beck, Sunit K. Gala, Shamkant B. Navathe: Classification as a Query Processing Technique in the CANDIDE Semantic Data Model. ICDE 1989: 572-581 BibTeX

[BCST88]

Sonia Bergamaschi, Lorenzo Cavedoni, Claudio Sartori, Paolo Tiberio: On Taxonomic Reasoning in E/R Environment. ER 1988: 443-454 BibTeX

[BN91]

...

[BS91]

Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) BibTeX

[BBMR89]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX

[BrSc85]

Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX

[CCCTZ90]

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236 BibTeX

[Card84]

...

[GJ79]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[LP81]

...

[LR89a]

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

[LR89b]

Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX

[Llo87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[Neb90]

Bernhard Nebel: Terminological Reasoning is Inherently Intractable. Artif. Intell. 43(2): 235-249(1990) BibTeX

[Neb91]

...

[Sch86]

...

Referenced by

1. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
2. Alessandro Artale, Francesca Cesarini, Giovanni Soda: Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. 8(2): 345-351(1996)
3. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. DBPL 1995: 4
4. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents