Serge Abiteboul Richard Hull Update Propagation in the IFO Database Model. 319-331 1985 FODO db/conf/fodo/fodo85.html#AbiteboulH85