On implicate discovery and query optimization | IEEE Conference Publication | IEEE Xplore