Reakkreditierung der Studienrichtung Wirtschaftsinformatik

Alle Neuigkeiten ansehen.



Unser Standort befindet sich hier.

Temporally Faithful Execution of Business Transactions

Autoren: W. Obermair, M. Schrefl
Technischer Bericht: TRE0002 (Mai, 2000)
Zitat: Research Report ACRC-00-010, University of South Australia, Advanced Computing Research Centre, School of Computer and Information Science, Mai 2000
Ressourcen: Kopie  (Senden Sie ein Email mit  TRE0002  als Betreff an dke.win@jku.at um diese Kopie zu erhalten)


Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurrent transactions corresponds to some serial execution of the same transactions. Many important business applications, however, require the system to impose a partial serialization order between transactions pinned to a specific point in time and conventional transactions that attempt to commit before, at, or after that point in time. This report introduces temporal faithfulness as a new correctness criterion for such cases. Temporal faithfulness does not require real-time capabilities but ensures that the serialization order of a set of business transactions is not in conflict with precedence requirements between them. The report also shows how a temporally faithful transaction scheduler can be built by extending proven scheduling techniques.