Introduction to Constraint Databases - Revesz, Peter Z. (Springer New York, 2002)