An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases

摘要

In this paper we present an abductive framework for handling requests for updating a deductive database. Updates are tackled in a consistency-preserving manner so that it is guaranteed that the database state resulting of applying the update is consistent; that is, it satisfies the set of its integrity constraints. Moreover, if view updates are requested, they are appropriately translated into updates of the underlying base facts. We also show how the Events Method [TO95] can be formulated in terms of this abductive framework.