Query languages for data exchange: beyond unions of conjunctive queries