We adopt a formalism, similar to terminological logic languages developed in AI knowledge representation systems, to express the semantics of complex objects data models. Two main extensions are proposed with respect to previous proposed models: the conjunction operator, which permits the expression multiple inheritance between types (classes) as a semantic property and the introduction in the schema of derived (classes), similar to views. Then we introduce the notion of subsumption between classes.

Taxonomic Reasoning in Complex Object Data Models / Beneventano, Domenico; Bergamaschi, Sonia; C., Sartori. - STAMPA. - (1991), pp. 64-74. ((Intervento presentato al convegno Adances in Data Management, Proceedings of the Third International Conference on Information Systems and Management tenutosi a Bombay, India nel December 12-14, 1991.

Taxonomic Reasoning in Complex Object Data Models

BENEVENTANO, Domenico;BERGAMASCHI, Sonia;
1991

Abstract

We adopt a formalism, similar to terminological logic languages developed in AI knowledge representation systems, to express the semantics of complex objects data models. Two main extensions are proposed with respect to previous proposed models: the conjunction operator, which permits the expression multiple inheritance between types (classes) as a semantic property and the introduction in the schema of derived (classes), similar to views. Then we introduce the notion of subsumption between classes.
Adances in Data Management, Proceedings of the Third International Conference on Information Systems and Management
Bombay, India
December 12-14, 1991
64
74
Beneventano, Domenico; Bergamaschi, Sonia; C., Sartori
Taxonomic Reasoning in Complex Object Data Models / Beneventano, Domenico; Bergamaschi, Sonia; C., Sartori. - STAMPA. - (1991), pp. 64-74. ((Intervento presentato al convegno Adances in Data Management, Proceedings of the Third International Conference on Information Systems and Management tenutosi a Bombay, India nel December 12-14, 1991.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11380/464068
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact