Elisa Bertino Barbara Catania Stéphane Bressan Integrity Constraint Checking in Chimera. 160-186 1997 conf/cdb/1997 CDB db/conf/cdb/cdb97.html#BertinoCB97