Consistency preserving updates in deductive databases
Document typeExternal research report
Rights accessOpen Access
Several problems may arise when a deductive database is updated. The problems that are addressed in this paper are those of integrity constraint maintenance and view updating. In this sense, we define a method that tackles both problems in an integrated way and that it is sound and complete. We also propose an architecture for our method to deal with both problems efficiently. Improvement of efficiency during the integrity constraint maintenance is based on a technique that determines the order in which integrity constraints should be handled. This technique is based on the generation of a graph that states the relationships between potential violations and potential repairs of integrity constraints. This order reduces significantly the number of times that each integrity constraint has to be considered after any integrity constraint repair. To improve efficiency during view updating, we propose to perform an initial analysis of the update request to reduce the number of database accesses and to explore only the relevant alternatives that may lead to valid solutions of an update request. Furthermore, a detailed comparison considering effectiveness and efficiency issues is also provided with respect to other methods that also deal with integrity constraint maintenance and view updating.
CitationMayol, E., Teniente, E. "Consistency preserving updates in deductive databases". 2001.
Is part ofLSI-01-28-R
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder