ODB-QOPTIMIZER is a ODMG 93 compliant tool for the schema validation and semantic query optimization.The approach is based on two fundamental ingredients. The first one is the OCDL description logics (DLs) proposed as a common formalism to express class descriptions, a relevant set of integrity constraints rules (IC rules) and queries.The second one are DLs inference techniques, exploited to evaluate the logical implications expressed by IC rules and thus to produce the semantic expansion of a given query.
ODB-QOptimizer: a tool for semantic query optimization in OODB / Beneventano, Domenico; Bergamaschi, Sonia; Sartori, Claudio; Vincini, Maurizio. - ELETTRONICO. - (1997).
Titolo: | ODB-QOptimizer: a tool for semantic query optimization in OODB |
Autore/i: | Beneventano, Domenico; Bergamaschi, Sonia; Sartori, Claudio; Vincini, Maurizio |
Autore/i UNIMORE: | |
Data di pubblicazione: | 1997 |
Handle: | http://hdl.handle.net/11380/646432 |
Tipologia | Software |
File in questo prodotto:

I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris