Describir: Introduction to constraint databases