Read Introduction To Constraint Databases 2002