ODB-Tools: A description logics based tool for schema validation and semantic query optimization in object oriented databases

ODB-Tools is a integrated environment for the object oriented database (OODB) validation, preserving taxonomy coherence and performing taxonomic inferences, and semantic query optimization. Semantic query optimization uses problem-specific knowledge (e.g. integrity constraints) for transforming a query into an equivalent one (i.e. with the same answer set) that may be answered more efficiently. The approach of the tool is based on two fundamental ingredients. The first one is the OCDL description logics proposed as a common formalism to express class descriptions, a relevant set of integrity constraints rules (IC rules) and queries. The second one are Description Logics inference techniques, exploited to evaluate the logical implications expressed by IC rules and thus to produce the semantic expansion of a given query. The optimizer tentatively applies all the possible transformations and delays the choice of beneficial transformation till the end. ODB-Tools is a ODMG 93 [1] compliant tool, both for the schema definition (ODL language) and for the query language (OQL), The tool is available in internet at http://sparc20.dsi.unimo.it and supports an on-line graphical interface developed in Java language.