Constraint Databases and Data Interpolation. - Li, Lixin (2008)