Zaslat SMS: Introduction to constraint databases