On the abductive or deductive nature of database schema validation and update processing problems | Publicación