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.
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
