Kombination von aktiven Mechanismen und Transaktionen im TRAMs-Projekt

Title Kombination von aktiven Mechanismen und Transaktionen im TRAMs-Projekt
Author(s) C. Hagen
Type inproceedings
Booktitle 8. Workshop "Grundlagen von Datenbanken"
Friedrichsbrunn, Germany
Organization
Month May
Year 1996

Abstract

Wir stellen ein neues Spezifikationsmodell fuer ECA-Regeln vor, das es dem Programmierer einer Regel erlaubt, die gewuenschte Ausfuhrungssemantik - insbesondere das Verhaeltnis der Regelausfuhrung zu anderen Transaktionen - detailliert zu beschreiben. Es basiert auf der deskriptiven Spezifikation von notwendigen Eigenschaften der Ausfuehrung - im Gegensatz zu traditionellen Ansatzen, (z.B. den HiPAC-coupling modes), die die praeskriptive Angabe eines Ausfuehrungszeitpunktes erfordern. Die deskriptive Spezifikation erlaubt dem Regelprogrammierer eine genauere Beschreibung der gewuenschten Semantik. Darueberhinaus gibt sie dem Laufzeitsystem mehr Flexibilitat bei der Ausfuehrung von Regeln, wodurch die Effizienz des Systems verbessert werden kann.

!!! Dieses Dokument stammt aus dem ETH Web-Archiv und wird nicht mehr gepflegt !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!