Abstract interpretation for sound approximation of database query languages