| Optimization Project home page. | 
ODB Tools |
Semantic Query Optimizer
- Two queries are semantically equivalent
if they return the same answer for any database state
satisfying a given set of integrity constraints.
- A semantic transformation transforms a given query
into a semantically equivalent one.
- Semantic query optimization is the process of determining
the set of semantic transformations that results in a semantically
equivalent query with a lower execution cost.
- ODB-QOptimizer determines more specialized classes to be accessed
and reduces the number of factors by applying the Integrity Constraint Rules.