Mark Wallace Stéphane Bressan Thierry Le Provost Magic Checking: Constraint Checking for Database Query Optimization. 148-166 1995 conf/cdb/1995 CDB db/conf/cdb/cdb95.html#WallaceBP95