Data Validation and Migration-A Theoretical Perspective | IEEE Conference Publication | IEEE Xplore