Integrity Constraint Checking in U-Datalog - Ombretta Arvigo; Barbara Catania (SEBD, 1999)