Cheney, James and Missier, Paolo and Moreau, Luc Constraints of the Provenance Data Model. Technical Report. UNSPECIFIED.