Rewriting of visibly pushdown languages for xml data integration