Constraint Databases and Applications