Title :
Taxonomic reasoning in LOGIDATA+
Author :
Beneventano, Domenico ; Bergamaschi, Sonia ; Sartori, Chudio
Author_Institution :
Dipartimento di Elettronica, Inf. e Sistemistica, Bologna Univ., Italy
Abstract :
The applicability of the inference technique named taxonomic reasoning to LOGIDATA+ schemas is demonstrated. The LOGIDATA + model is enhanced with defied classes and set cardinalities. In particular, the problem of determining subsumption between classes with cyclic descriptions is addressed. Since recursive definitions are allowed, it is necessary to choose a strategy for determining fixpoints. The subsumption algorithm presented uses greatest fixpoint semantics, and this choice is compared to some alternative approaches, such as least fixpoint and descriptive
Keywords :
deductive databases; inference mechanisms; object-oriented databases; LOGIDATA plus; LOGIDATA+; classes; cyclic descriptions; encapsulated values; greatest fixpoint semantics; inference technique; legal instances; recursive definitions; set cardinalities; subsumption algorithm; syntactic characterisation; taxonomic reasoning; types; Artificial intelligence; Data models; Data structures; Instruction sets; Logic; Marine vehicles; Object oriented databases; Object oriented modeling; Sufficient conditions; Tiles;
Conference_Titel :
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
Conference_Location :
Bologna
Print_ISBN :
0-8186-2141-9
DOI :
10.1109/CMPEUR.1991.257511
