Database Updates through Abduction

: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, in a simple yet powerful way, with the difficulties related to the presence of negation in the databaseand provides a uniform common procedurefor insert and delete update requests. This procedure is formally definedandits correctnessandcompletenessis investigated. The abductiveformalization of theupdateproblemallows for anatural generalization of the basicupdateprocedure in various ways. Oneimportant suchextension is the fact the integrity checking asssociatedwith any updaterequest canbedynamically incorporatedinto the updateprocedure so that potential inconsistent solutions to the requestare trapped and rejected during their generation. It is also possible to extend the abductive approach to handle generalnon ground requestsusing constructive abduction andanassociatedform of constructivenegation.

• Type: Conference
• Year: 1990
• Where: VLDB
• Authors: Antonis C. Kakas, Paolo Mancarella
• Keywords: Common Procedurefor Insert, Database, Delete Update Requests, Updatesin Deductive Databasesis, VLDB 1990