Transaction processing in mobile computing using semantic properties
- Transaction processing is of growing importance for mobile computing. Booking tickets, flight reservation, banking, ePayment, and booking holiday arrangements are just a few examples for mobile transactions. Due to temporarily disconnected situations the synchronisation and consistent transaction processing are key issues. Serializability is a too strong criteria for correctness when the semantics of a transaction is known. We introduce a transaction model that allows higher concurrency for a certain class of transactions defined by its semantic. The transaction results are ”escrow serializable” and the synchronisation mechanism is non-blocking. Experimental implementation showed higher concurrency, transaction throughput, and less resources used than common locking or optimistic protocols.
| Author of HS Reutlingen | Laux, Friedrich |
|---|---|
| DOI: | https://doi.org/10.1109/DBKDA.2009.29 |
| ISBN: | 978-0-7695-3550-0 |
| Erschienen in: | First International Conference on Advances in Databases, Knowledge, and Data Applications, 2009 : DBKDA '09, Gosier, Gouadaloupe, France, 1-6 March 2009 |
| Publisher: | IEEE |
| Place of publication: | Piscataway, NJ |
| Editor: | Qiming Chen, Alfredo Cuzzocrea, Takahiro Hara, Ela Hunt, Manuela Popescu |
| Document Type: | Conference Proceeding |
| Language: | English |
| Year of Publication: | 2009 |
| Page Number: | 8 |
| First Page: | 87 |
| Last Page: | 94 |
| DDC classes: | 004 Informatik |
| Open Access?: | Nein |
| Licence (German): |  Lizenzbedingungen IEEE |
