Serge Abiteboul Richard Hull Update Propagation in a Formal Semantic Model. 3-12 1988 http://sites.computer.org/debull/88JUN-CD.pdf 11 IEEE Data Eng. Bull. 2 db/journals/debu/debu11.html#AbiteboulH88