Semantic Query Optimization: Correctness and Control
2006 ◽
Vol 10
(3)
◽
pp. 270-280
Keyword(s):
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.
2014 ◽
Vol 96
(6)
◽
pp. 27-32
◽
Keyword(s):
1993 ◽
Vol 02
(02)
◽
pp. 107-125
◽
2003 ◽
Vol 28
(1)
◽
pp. 1-50
◽