About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
SIGMOD/PODS 1982
Conference paper
ON THE SEMANTICS OF UPDATES IN DATABASES.
Abstract
A methodology is suggested for updating databases with integrity constraints and rules for deriving inexplicit information. First considered is the problem of updating arbitrary theories by inserting into them or deleting from them arbitrary sentences. The solution involves two key ideas: when replacing an old theory by a new one to minimize the change in the theory, and when there are several theories that involve minimal changes, one looks for a new theory that reflects that ambiguity. The methodology is also adapted to updating databases, where different facts can carry different priorities, and to updating user views. Refs.