Introduction to Constraint Databases by Perter Revesz