A Static-Based Approach To Detect Sql Semantic Bugs