the skyline S is the set of all points p such that there is no other point q which dominates p