Constraint Databases: A Survey