Semantic Query Optimization by Subsumption in OODB