In this paper we address the explicit construction of (complex) update programs from basic update operations like \insert tuple" and \delete tuple". The main contribution is the deenition of a semantics that is based on sets of deferred update requests. We propose a logic in which besides the concurrent and sequential composition of update operations also… (More)
The concept of logic databases can serve as a clear and expressive foundation of various kinds of information systems. However, classical logic languages refer to a single database state, whereas in modern information systems it is necessary to take dynamic behaviour into account. For this purpose, several update languages have been pro-which allow to… (More)
The rule-based update language ULTRA has been designed for the specification of complex database updates in a modular fashion. The logical semantics of update goals is based on update request sets, which correspond to deferred basic updates in the database. The declarative character of the logical semantics leaves much freedom for various evaluation… (More)
Most current deductive database systems ooer only limited support for updates. We present a logical framework that allows to combine procedural update methods with set-oriented updates. The conventional database update operations are subsumed by our approach.