Logical Specification of Bulk Updates and Sequential Updates

Most current deductive database systems offer only limited support for updates. We present a logical framework that allows to combine procedural update methods with setoriented updates. The conventional database update operations are subsumed by our approach