Incorporating Modification Requests in Updating Consistent Knowledge Bases.
Enric Mayol, Ernest Teniente · 1993
An important problem that arises when updating a knowledge base is related to integrity constraints maintenance. That is, given a consistent knowledge base and an update request, to obtain all possible ways of updating the base facts such that the request is satisfied and consistency is maintained. In this paper we present a new method for providing automatic support in these situations. Our method takes into account information about the keys of the predicates and it is able to handle updates which consist of a set of insertions, deletions and/or modifications of base and derived predicates. KEYWORDS: knowledge base updating, integrity constraints maintenance, modification requests July 1 Introduction A knowledge base is called consistent if it satisfies the set of its integrity constraints. When performing an update, knowledge base consistency may be violated. That is, the update, together with the current contents of the knowledge base, may falsify some integrity constraint. One ...