Heap-filter merge join: a new algorithm for joining medium-size inputs | IEEE Journals & Magazine | IEEE Xplore