Enric Mayol Ernest Teniente Consistency preserving updates in deductive databases. 61-103 2003 47 Data Knowl. Eng. 1 http://dx.doi.org/10.1016/S0169-023X(03)00061-2 db/journals/dke/dke47.html#MayolT03