Gabriel M. Kuper Leonid Libkin Jan Paredaens Constraint Databases Springer 2000 3-540-66151-4 db/conf/cdb/cdb2000.html