@conference { PBM+00, title = {Mobile Transaction Management in Mobisnap}, booktitle = {Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications - ADBIS-DASFAA}, volume = {1884}, year = {2000}, month = {September}, pages = {379{\textendash}386}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, address = {Prague, Czech Republic}, abstract = {

To allow mobile users to continue their work while disconnected, mobile systems usually rely on optimistic replication techniques. In mobile database systems, mobile units cache subsets of the database state and allow disconnected users to perform transactions concurrently. These transactions are later integrated in the master database state. As concurrently performed transactions may conflict, it is usually impossible to determine the result of an update in the mobile unit. Moreover, this model differs from the traditional client/server model due to the fundamental fact that the user will usually not be connected to the system when the results of his transactions are finally determined - therefore, he can not immediately perform adequate alternative actions. In this paper we describe a transaction management system that takes into consideration the above-mentioned characteristics. Transactions are specified as mobile transactional programs, which allows the precise definition of operation semantics and the definition of alternative actions. Support for active user notification is also provided in the system. Finally, the system relies on a reservation mechanism to be able to guarantee the results of transactions in the mobile units.

}, isbn = {3-540-67977-4}, url = {http://dx.doi.org/10.1007/3-540-44472-6_33}, attachments = {https://haslab.uminho.pt/sites/default/files/jop/files/adbis00-full.pdf}, author = {Nuno Pregui{\c c}a and Carlos Baquero Moreno and Francisco Moura and Jos{\'e} Legatheaux Martins and Rui Oliveira and Henrique Domingos and Jos{\'e} Orlando Pereira and S{\'e}rgio Duarte} }