Logical transactions and serializability

Abstract: "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. Fo...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Wichert, Carl-Alexander (VerfasserIn)
Weitere Verfasser: Freitag, Burkhard (VerfasserIn), Fent, Alfred (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Passau 1998
Schriftenreihe:Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1998,07
Schlagworte:
Databases > Logic programming > Rule-based programming > Transaction systems (Computer systems) > Theoretische Informatik > Informatik > Mathematik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Abstract: "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 proposed, among them [AHV95, BK94, BK96, Che97, LHL95, MW88, MBM97, WF97a], which allow to specify complex transitions from one database state to another. From the evaluation point of view, a complex state transition can and should be considered as a transaction. Up to now, the isolation property of transactions has been poorly addressed in the context of logic update languages, although it is an important problem even for classical, sequential transactions (see [BHG87] for instance). In this paper we present the ULTRA approach and describe how isolation of independent transactions can be supported. We illustrate the results using an extended example."
Beschreibung:47, 5 S.