The Events Method for View Updating in Deductive Databases

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 deletions induced by a database update. Using these rules, an extension of the SLDNF procedure allows us to obtain all valid translations of view update requests. The main advantages of the method are its simplicity, the uniform treatment of insert and delete requests and the integration of integrity checking during the derivation process. The method has the full power of the methods developed so far, without some of their limitations.