Semantic Query Optimization: Correctness and Control
Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse · Journal of Advanced Computational Intelligence and Intelligent Informatics · 2006
We developed a semantic query optimization framework for deductive databases based on equivalent transformation (ET) rules. ET rules, prepared from the semantic knowledge of databases, such as integrity constraints, transform given queries into syntactically different but semantically equivalent and more efficient forms. We formally prove the correctness of query transformations by ET rules. For efficiency, we propose a two-phase heuristic-based strategy to guide query transformations and introduce a condition-based control strategy to prevent unwanted, unnecessary transformations. We give examples demonstrating the possible optimization.