Paolo Atzeni Riccardo Torlone Updating intensional predicates in Datalog. 1-17 1992 8 Data Knowl. Eng. db/journals/dke/dke8.html#AtzeniT92 http://dx.doi.org/10.1016/0169-023X(92)90002-S