News

Student tutors for the course Data Modelling wanted (winter term 2021/22)


IT-Project Data Souvereignty in winter termin 2021/22


Business Intelligence: Washing Gold in Times of Information Overload


See all news.


Campusplan

campusplan_image

You can find us here.




Temporally Faithful Execution of Business Transactions

Authors: W. Obermair, M. Schrefl
Paper: Ober00b (2000)
Citation: Benkt Wangler, Lars Bergman (eds.): Proceedings of the 12th International Conference on Advances in Information Systems Engineering (CAiSE 2000), June 5-9, 2000, Stockholm, Sweden, Springer Verlag (LNCS No. 1789), ISBN 3-540-67630-9, pp. 462-481, 2000.
Resources: Copy  (In order to obtain the copy please send an email with subject  Ober00b  to dke.win@jku.at)
BibTeX


Abstract:

Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurrent transactions corresponds tosomeserial 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 paper introducestemporal faithfulnessas 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 paper also shows how a temporally faithful transaction scheduler can be built by extending proven scheduling techniques.