Peter Z. Revesz Datalog and Constraints. 155-170 2000 Constraint Databases db/conf/cdb/cdb2000.html#Revesz00