SMS dit: Introduction to constraint databases