Introduction to constraint databases : with 112 illustrations - Revesz, Peter (Springer, 2002)