Reformulating XQuery queries using GLAV mapping and complex unification