Arnon Rosenthal Edward Sciore Propagating Integrity Information among Interrelated Databases. 5-18 1998 conf/tc11-5/1998 IICIS db/conf/tc11-5/iic1998.html#RosenthalS98