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.
Data di pubblicazione: | 1991 | |
Titolo: | Taxonomic Reasoning in Complex Object Data Models | |
Autore/i: | Beneventano, Domenico; Bergamaschi, Sonia; C., Sartori | |
Autore/i UNIMORE: | ||
Nome del convegno: | Adances in Data Management, Proceedings of the Third International Conference on Information Systems and Management | |
Luogo del convegno: | Bombay, India | |
Data del convegno: | December 12-14, 1991 | |
Pagina iniziale: | 64 | |
Pagina finale: | 74 | |
Citazione: | 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. | |
Tipologia | Relazione in Atti di Convegno |
File in questo prodotto:
Pubblicazioni consigliate

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