David R. Sutton Carol Small Extending Functional Database Languages to Update Completeness. 47-63 1995 conf/bncod/1995 BNCOD db/conf/bncod/bncod95.html#SuttonS95 http://dx.doi.org/10.1007/BFb0000540