Peter Z. Revesz Introduction to Constraint Databases Springer 2002 0-387-98729-0