Consistency preserving updates in deductive databases | Publicación