Data Compilation and Refinement