Relational division: four algorithms and their performance | IEEE Conference Publication | IEEE Xplore