In this paper we present an abductive framework for handling requests for updating a deductive database. Updates are tackled in a consistency-preserving.
Title: An abductive framework to handle consistency-preserving updates in deductive databases. Authors: Teniente, E.,. Researchers (PRC):, Teniente, E.
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases · Ernest Teniente. Computer Science. Deductive Databases / Abduction in ...
We deal with view updating and integrity constraint maintenance. View updating is concerned with translating a request to update derived facts into updates ...
Several problems may arise when a deductive database is updated. The problems that are addressed in this paper are those of integrity constraint maintenance ...
We propose a new method for view updating in deductive databases. The method is based on events and transition rules, which explicitly define the insertions and ...
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 ...
Missing: preserving | Show results with:preserving
This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple ...
Integrity constraint maintenance is aimed to perform the necessary repairs to guarantee that a set of base fact updates does not violate database consistency.
People also ask
What is a deductive database system?
How are rules interpreted in a deductive database?
What is the difference between active and deductive databases?
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. Deductive Databases / Abduction in Deductive Databases 1995: 111-125.