Static analysis of queries as a tool for static optimization | IEEE Conference Publication | IEEE Xplore