Weidong Chen Declarative Specification and Evaluation of Database Updates. 147-166 1991 DOOD db/conf/dood/dood91.html#Chen91 http://dx.doi.org/10.1007/3-540-55015-1_8