˜Aœ logical framework for the specification of transactions

Abstract: "In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definitio...

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 2000
Schriftenreihe:Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 2000,02
Schlagworte:
Logic programming > Transaction systems (Computer systems)
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Abstract: "In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definition of the syntax and semantics of the ULTRA language based on concepts of logic databases. A natural candidate for an instantiation of the ULTRA framework is a database update language which we discuss in this paper as one example. However, the framework is not tied to database applications and can also deal with states and actions of other external systems such as robot control systems or workflow engines. The semantics of an update goal is defined as a structured transition. Depending on the selected execution model, the materialization of a transition can be either deferred or performed immediately."
Beschreibung:46, 3 S.
graph. Darst.