GAME SEMANTICS OF THE TRANSACTION ROLLBACK DATABASE OPERATION
Veronika SZABÓOVÁ, Csaba Attila Szabó, Valerie Novitzká, Emilia Demeterová · Acta Electrotechnica et Informatica · 2015
This paper shows the power of game semantics when describing concurrent processes.First, we analyze the selected iterative model of database transaction execution and provide linear logic expression of this model.Next, game semantics for linear logic is used to express the semantics of the selected situation: transaction rollback.The developed strategy is being then proved using proof tree of the linear logic calculus.Finally, we discuss the presented power of game semantics of database transactions, and show future work directions in the field of expressing game semantics of software engineering problems.