An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases

We present SLDAI, an SLD-based proof procedure extended by Abduction and Integrity maintenance. Its purpose is to solve the view update problem in deductive databases. For an update request in a database which satisfies its integrity theory, SLDAI computes updates (hypothetical insertions or deletions of facts about base predicates) which satisfy the request while maintaining integrity. We argue to have improved the state of the art.