Representation and deduction of provenance knowledge for XML queries | IEEE Conference Publication | IEEE Xplore