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 |
AbstractWir 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.
|