Գրեք սա: Introduction to constraint databases