Véronique Benzaken Anne Doucet Xavier Schaefer Integrity constraint checking optimization based on abstract interpretation. 1994 conf/bda/1994 BDA db/conf/bda/bda1994.html#BenzakenDS94