Abstract Inductive Logic Programming (ILP) is a new discipline which investigates the
inductive construction of first-order clausal theories from examples and background …

The problem of view updates in deductive databases is studied by casting this in a naturally
associated abductive framework. It is shown that this abductive approach deals successfully …

Interactive theory revision | Guide books skip to main content ACM Digital Library home ACM
Association for Computing Machinery corporate logo Google, Inc. (search) Advanced Search …

Dealing with contradiction Page 1 8. Dealing with contradiction As we've seen before, WFSX
is not defined for every program, ie some programs are contradictory and are given no …

This paper introduces an abductive framework for updating knowledge bases represented
by extended disjunctive programs. We first provide a simple transformation from abductive …

When updating a knowledge base, several problems may arise. One of the most important
problems is that of integrity constraints satisfaction. The classic approach to this problem has …

We address the problem of formalizing the evolution of a database under the effect of an
arbitrary sequence of update transactions. We do so by appealing to a first-order …

When testing database applications, in addition to creating in-memory fixtures it is also
necessary to create an initial database state that is appropriate for each test case. Current …

All methods for efficient integrity checking require all integrity constraints to be totally
satisfied, before any update is executed. However, a certain amount of inconsistency is the …

During the process of updating a database, two interrelated problems could arise. On one
hand, when an update is applied to the database, integrity constraints could become …