Introduction to constraint databases - Revesz, Peter (Peter Z.) (Texts in computer science, 2002)