Text this: Constraint databases and applications :