Tutoriel UbiMob Gestion de transactions mobiles Patricia Serrano Alvarado Post doctorat CNRS Laboratoire LIFL, Projet Jacquard

Tutoriel UbiMob Plan Les modèles dexécution Les techniques transactionnelles traditionnelles Analyse de travaux de transactions mobiles Conclusions

Tutoriel UbiMob Transaction Transforme une base de données dun état cohérent à un autre état cohérent Propriétés ACID Atomicité : tout ou rien Cohérence : contraintes dintégrité de données Isolation : exécution « isolée » Durabilité : mises à jour persistantes

Tutoriel UbiMob Transaction mobile (TM) Transaction où ou moins une UM participe à lexécution Transaction où ou moins une UM participe à lexécution

Tutoriel UbiMob Sur des UF 2. Sur des UM 3. Entre une UM et plusieurs UF 4. Entre plusieurs UM 5. Entre plusieurs UM/ UF Modèles dexécution des TM Chaque modèle dexécution a besoin dun contexte particulier génère différent coûts dexécution Chaque modèle dexécution a besoin dun contexte particulier génère différent coûts dexécution

Tutoriel UbiMob Model dexécution 1 Sur des UF DB MU DB Fixed Network DB Wireless LAN Cell ( Mbps) BS MU DB MU DB MU BS FU MT request MT results MT execution Mobile Unit Wireless network FU BS Fixed Unit Base Station MU Fixed network DB DB system

Tutoriel UbiMob Model dexécution 2 Sur des UM DB MU DB Fixed Network DB Wireless LAN Cell ( Mbps) BS MU DB MU DB MU BS FU Synchronization request Synchronization results MT execution Mobile Unit Wireless network FU BS Fixed Unit Base Station MU Fixed network DB DB system DB

Tutoriel UbiMob Model dexécution 3 Entre une UM et plusieurs UF DB MU DB Fixed Network DB Wireless LAN Cell ( Mbps) BS MU DB MU DB MU BS FU MT request MT results MT execution Mobile Unit Wireless network FU BS Fixed Unit Base Station MU Fixed network DB DB system DB

Tutoriel UbiMob Model dexécution 4 Entre plusieurs UM DB MU DB Fixed Network DB Wireless LAN Cell ( Mbps) BS MU DB MU DB MU BS FU MT request MT results MT execution Mobile Unit Wireless network FU BS Fixed Unit Base Station MU Fixed network DB DB system

Tutoriel UbiMob Model dexécution 5 Entre plusieurs UM et UF DB MU DB Fixed Network DB Wireless LAN Cell ( Mbps) BS MU DB MU DB MU BS FU MT request MT execution MT results MT execution Mobile Unit Wireless network FU BS Fixed Unit Base Station MU Fixed network DB DB system

Tutoriel UbiMob Plan Les modèles dexécution Les techniques transactionnelles traditionnelles Analyse de travaux de transactions mobiles Conclusions

Tutoriel UbiMob Les protocoles de validation Assurent la propriété datomicité Le plus utilisé : Two Phase Commit (2PC) Son interface a été standardisée Normes OSI TP, CCR, TIP Spécifications CORBA OTS et JTS

Tutoriel UbiMob PC dans lenvironnement mobile Très couteaux : 2p messages Si déconnexion des UM Exécution sur UF Résultats délivrés à la reconnexion Exécution sur UM Commit « local » et à la reconnexion commit « global » Exécution répartie UM/UF Annulation de la transaction ! Commit (1) Prépare AppliCoordPart (2) Vote (3) Décision (4) Acq Acq (5) Journalisation

Tutoriel UbiMob Les protocoles de contrôle de concurrence Assurent la propriété disolation Le plus utilisé : Two Phase Locking (2PL) OSI TP recommande son utilisation

Tutoriel UbiMob PL dans lenvironnement mobile Phase de verrouillage Une fois un verrou libéré aucun autre verrou peut être acquis Phase de libération de verrous Acquisition de verrous Temps Libération Verrous lecture Libération de Verrous décriture Si déconnexion des UM Exécution sur UF Résultats délivrés à la reconnexion Exécution sur UM exécution « locale » et à la reconnexion synchronisation «globale » Exécution répartie UM/UF Temps de blocage indéfini !

Tutoriel UbiMob Plan Les modèles dexécution Les techniques transactionnelles traditionnelles Analyse de travaux de transactions mobiles Conclusions

Tutoriel UbiMob Organisation de lanalyse Propositions se focalisant sur les propriétés ACID Clustering, Two-tier replication, Pro-motion, Semantics-based, Reporting, Prewrite Propositions se focalisant sur le mouvement et la déconnexion (approche intergicielle) Kangaroo, MDSTPM, Moflex Produits commerciaux Pointbase, FastObjects, Oracle, IBM Le modèle AMT et lintergiciel TransMobi [P. Serrano-Alvarado et al, 2004a]

Tutoriel UbiMob Propositions se focalisant sur les propriétés ACID

Tutoriel UbiMob Clusters C1 C2 Clustering (1) DB MU DB MU DB FU DB FU DB MU DB MU DB FU Lobjectif est de maintenir la cohérence des données Fortement connecté Données liées sémantiquement ou stockées à proximation [E. Pitoura and B. Bhargava, 1999]

Tutoriel UbiMob Clustering (2) C1C1 C3C3 C2C2 VF VS Opération pendant la connexion Opération pendant la déconnexion Serialisabilité sur une copie Intégration de clusters (réconciliation syntaxique) Unité mobile Unités fixes C i : Cluster i VS : Version stricte VF : Version faible TS : Transaction stricte TF : Transaction faible lf : lecture faible ef : écriture faible cl : commit local al : abort local ls : lecture stricte es : écriture stricte cg : commit global ag : abort global TF{lf,ef,cl/al} ST{ls,es,cg/ag} Dans un cluster les données sont localement sérialisables Des divergences sont possibles entre clusters Transactions réparties sont possibles dans un cluster avec de techniques traditionnelles [E. Pitoura and B. Bhargava, 1999]

Tutoriel UbiMob Two-tier replication VM : Version maître VT : Version Tentative TB : Transaction base TT : Transaction tentative A : Copie maîtresse A : Copie secondaire A : Copie secondaire modifiée MV Station base Unité mobile Unités fixes A, B, C MV A, B, C BT TV A, B, C TT Opération pendant Les déconnexion Opération pendant connexion Duplication Lazy master TT, critère dacceptation [J. Gray et al., 1996] Pendant les déconnexions, uniquement les TT sont utilisées Les TT seront exécutées lord dune reconnexion Des transactions distribuées sont possibles pendant les déconnexions en assurant le schéma de duplication maître paresseux

Tutoriel UbiMob Pro-motion Méthodes communes Méthodes de type spécifique Obligations (deadline) Donnée Règles de cohérence (i<0<100) Information détat (dernière modif.) Compact Appli Registre des compacts Librairie des classes Agent des Compacts Unité mobile Unités fixes Station base Gestion mobilité Log Architecture Gestion des compacts SGBD Stock des Compacts Serveur BD Lobjectif est dassurer une manipulation locale cohérente des données Il supporte de déconnexion Localement les données sont manipulées avec des techniques traditionnelles [G. Walborn and P. Chrysanthis, 1999]

Tutoriel UbiMob Semantics-based dcba Objet O a fragmenté (critère de sélection et conditions de cohérence) da Fragments de O a Réintégration des fragments (merging) Serveur de BD abcd DB Unités mobile Unités fixes Appli MT = {e(O a (a) )}MT = {l(O a (d) )} Oa : object a l : lecture e : écriture Oa(b) : fragment b de lobjet a Type de données Listes Dagrégation Queues Il supporte la déconnexion Localement, les données sont manipulées avec des techniques traditionnelles [G. D. Walborn and Panos K. Chrysanthis, 1995]

Tutoriel UbiMob Reporting Types de transaction Atomiques Reporting Co-transactions Non-compensables Un cas possible des TM Reporting DB Délégation périodique Délégation à la validation MT Transaciton mobile (transaction globale) Station base TM={t 1, Ct 1, t 2 } Unités fixes Reportingnon-compensables t 1,Ct 1 t2t2 Unités mobile Des transactions de compensation Peuvent être associées Lobjectif est dutiliser les unités fixes pour stoker ou gérer une partie de lexécution des TM [P. Chrysanthis, 1993]

Tutoriel UbiMob Prewrite Un cas possible dutilisation des TM Prewrite Unité mobile Unité fixe GD = Gestionnaire des données GT = Gestionnaire des transac. a = variante décriture e i = écriture i v i = validation i a = variante de preécriture pl i = prelecture i pe i = preécriture i pv i = prevalidaiton i TM 1 = {pl 1 (a), pe 1 (a), pv 1 } Object O a (variante de preécriture) a GT Demande de lobjetValeur preécriture assignée a Objec O a (variante décriture) TM 1 = {e 1 (a), v 1 } GD Station base BD [S. Madria and B. Bhargava, 2001]

Tutoriel UbiMob Analyse des propriétés ACID

Tutoriel UbiMob Atomicité ACID Assurée Clustering et two-tier replication (en mode connecté) utilise des techniques de verrouillage (2PC) Relâchée Validation locale (premier pas de la validation) Pro-motion, Prewrite and Semantics-based: atomic commit protocol Clustering and Two-tier replication: local commit in disconnected mode Validation globale (deuxiéme pas de validation SB/Serveur BD) Clustering: réconciliation syntaxique des transactions faibles Two-tier replication: re-exécution des transactions tentatives (critère dacceptation) Pro-motion: vérifie la validité des compacts, procédures de contingence Semantics-based: merge des fragments Prewrite: ni reconciliation ni re-exécution, uniquement les opérations décriture sont exécutées Atomicité sémantique Reporting: validation optimiste partiel + transactions de compensation

Tutoriel UbiMob CohérenceACID 2 versions de données Clustering: version stricte (sérialisabilité sur une copie), version faible (degrés dinchoérence) Two-tier replication: version maîtresse (sérialisabilité sur une copie), version tentative Prewrite: version décriture (version normale), variante preécriture (légèrement différente) Encapsulation des données avec leur information de gestion Pro-motion: construction des compacts (critère de correction) fragmentation et merge dobjets Semantics-based: fragmentation dobjets (conditions de cohérence), merge Transactions de compensation Reporting: transactions atomiques, reporting et co-transactions

Tutoriel UbiMob Isolation ACID Assurée Copies exclusives Semantics-based (les fragments sont exclusives) Relâchée Visibilité locale des résultats validés localement Clustering, Two-tier replication, Pro-motion, Semantics-based Visibility globale des résultats validés localement Reporting: atomic, reporting and co-transactions Autres aspects Niveaux disolation Pro-motion détermine des méthodes de contrôle de concurrence par compact Validation à deux phases Semantics-based Clustering: quatre types de verrous et tableaux des conflits Prewrite propose deux types nouveaux de verrous (PR, PW, R, W)

Tutoriel UbiMob DurabilitéACID Assurée Validation globale Clustering, Pro-motion, Reporting Validation locale Semantics-based: réduit la disponibilité des fragments Prewrite: échange beaucoup de messages Relâchée Validation locale Clustering, Two-tier replication Promotion peut donner quelques garanties mais il existent des conditions que ne peuvet pas être respectées à cause des déconnexion (e.g. deadlines)

Tutoriel UbiMob Propositions se focalisant sur le mouvement et la déconnexion

Tutoriel UbiMob Station base Serveurs (sources) KT TJ: Trans Joey TL: Trans Locale TG:TransGlobale TK Transactions Kangaroo Unités mobile Unités fixes Soumission des transactions Appli Architecture du système Un cas possible des transactions Kangaroo TJ 1 TL 1,1 TL 1,2 TL 2,1 TL 2,2 TG 1,1 TL 1,1,2 TL 1,1,1 Coordination répartie Hand-off TK TJ 2 Systeme Global de BD BD SGBD ACID Log Gestion des TM (Tableaux de controle et détat Agent daccès aux données Niveau intergiciel Multibases Pas de support pour des déconnexions Support du déplacement [M. Dunham et al., 1997]

Tutoriel UbiMob MDSTPM (Multidatabase Transaction Processing Manager Architecture) Unités mobiles Unités fixes Soumission des transactions Appli BD DBMS Architecture du système LTM [L. H. Yeo and A. Zaslavsky, 1994] ACID GTM GRM GIM GCMGCMGCMGCM Message queue facility Transaction queue Global log Global transaction table Site status table Log GT Coordinator GCM: Coordinateur global TM: Global transaction manager GRM: Global recovery manager GIM: Global interface manager Niveau Intergiciel Multibases There is support for disconnexions There is not support for movement

Tutoriel UbiMob Moflex transactions Mobile host Fixed hosts Moflex Transaction definition/submission Appli GTM DB DBMS LTM DB DBMS LTM Adaptability when handoff occurs (rules: restart, split- restart, split-resume, continue) Location dependent transactions Multidatabase transaction with execution dependencies: Success Failure Time Cost Location [K. Ku and Y. Ki, 2000] Base station MTM Moflex transaction coordinator Middleware level MDBS There is not support for disconnexions There is support for movement

Tutoriel UbiMob New middleware functions to support mobile transactions

Tutoriel UbiMob New middleware functions (1) Movement management Kangaroo: Data Access Agent on BS Communication with MUs and MDBS MT management and movement of MUs KT and JT creation Logging of movement and execution state recording Coordination of KT abortion (linked list) Moflex Support of location dependent transactions Support of hand-off: restart, split-restart, split- resume, continue

Tutoriel UbiMob New middleware functions (2) Disconnection management MDSTPM: Message and queue facility (MQF) MU management with message and transaction queues Asynchronous messages exchange Connection/disconnection (planned or not) Reconnection and recovery of MT MT coordination Distributed in Kangaroo Centralized in MDSTPM (at the GTM where the global transaction is initiated) and Moflex (at the current BS)

Tutoriel UbiMob Quelques produits commerciaux

Tutoriel UbiMob Pointbase Relational database, 100% Java Mono user, out-line operation Micro version 45-90Kb footprint Flate transactions SQL92 Embedded version 1Mb footprint Distributed transactions (2PC) Locking by line and 4 isolation levels of ANSI SQL92 (read uncommitted, read committed, repeatable read, serializable ) Pointbase UniSync Biderectional synchronization with Oracle or SQL Server databases Publish/subscribe approach

Tutoriel UbiMob FastObjects j2 Object database, 100% java (before Navajo Poet) Database components, modular architecture, 450Kb footprint Locking by object and 4 isolation levels of ANSI SQL92 Flate, nested and parallel transactions JDOQL, JDO and ODMG Duplication with a shadow database approach

Tutoriel UbiMob Oracle Lite and OracleAS wireless OracleAS Wireless Allows mobile access to applications on fixed hosts PIM (Personal Information Manager) and based on location Pushes SMS (Short Message Service), WAP, voice Secure transactions from any MU Oracle Lite Relational database, 50Kb-1Mb footprint Mono user, out-line operation Flate transactions Locking by line and 4 isolation levels of ANSI SQL92 Mobile Sync Bidirectional synchronization of several MU Locally updatable snapshots

Tutoriel UbiMob Websphere Everyplace and DB2 Everyplace of IBM WebSphere Everyplace Allows data access from MU ( , PIM, business data) Delivers to MU web pages and business applications Perception and location services for mobile applications DB2 Everyplace Relational database, 180Kb footprint Mono user, out-line operation Flate transactions Sync Server Bidirectional synchronization with DB2, Oracle, Informix, Sybase, MS SQL Server

Tutoriel UbiMob Organisation de lanalyse Propositions se focalisant sur les propriétés ACID Clustering, Two-tier replication, Pro-motion, Semantics-based, Reporting, Prewrite Propositions se focalisant sur le mouvement et la déconnexion (approche intergicielle) Kangaroo, MDSTPM, Moflex Produits commerciaux Pointbase, FastObjects, Oracle, IBM Le modèle AMT et lintergiciel TransMobi [P. Serrano-Alvarado et al, 2004a]

Tutoriel UbiMob Resume of MT proposals 1. On FUs 3. Among a MU and + FUs 4. Among several MUs 5. Among several MUs/FUs 2. On a MU Existent transactional models Execution models Traditional technics are used Disconnexion and movement management with middleware approachs Replication/synchronization problems Local ressources optimisation Few transaction models and without disconnections Almost no one transaction model

Tutoriel UbiMob Quelques conclusions Distributed execution models are not enough addressed Not enough adaptability to ME Not enough interest in reducing drawbacks of ME on mobile transaction execution (execution cost and frequent transaction failures) ACID properties relaxed The five execution models are not taken into account

Tutoriel UbiMob Le modèle AMT et lintergiciel TransMobi

Tutoriel UbiMob The approach Associate description of the execution context to transaction definition Provide adaptability for supporting different execution models To adapt transaction execution and to reduce drawbacks of ME variations

Tutoriel UbiMob The AMT model Is an open nested transaction model Relaxes ACID properties Contains one or several execution alternatives Is able to use the five execution models Is adaptable to context variations Adaptable Mobile Transaction Model (AMT) [P. Serrano-Alvarado, 2004] [P. Serrano-Alvarado et al, 2004b]

Tutoriel UbiMob AMT model structure AMT allows to define T AMT transactions T AMT ct ki ED k EA k EA l t li t lj ED l > || DB A DB B DB C Autonomous heterogeneous DBMS EA k commit =>T AMT commit t ki abort =>EA k and T AMT abort t ki t kj Execution Alternative Environment Descriptor Sequential or parallel execution

Tutoriel UbiMob AMT model properties ACID Semantic atomicity Semi-atomicity Semantic consistency Global serializability T AMT ct ki ED k EA k EA l t li t lj ED l > || DB A DB B DB C Autonomous heterogeneous DBMS t ki t kj Conditioned by EA k semantics C Formal specification in ACTA

Tutoriel UbiMob Environment descriptor (ED) bandwidth-rate Comm-price : high medium free cheap Quality good medium ED b ED K 1 0 Characteristic Quality levelsUnit WN MU Connection-state Connected, disconnected-- Bandwidth-rate high, medium, lowKbps Communication-price free, cheap, expensiveEuros/time Available-battery full, half, lowhh:mm:ss Available-cache full, half, lowKb Available-persistent-memory full, half, lowKb Processing-capacity high, medium, lowMips Time-connection thh:mm:ss Location ll

Tutoriel UbiMob TransMobi middleware functions Coordinate DBMS interaction by T AMT transactions and to ensure: ACID Semi-atomicity T AMT ct ki ED k EA k EA l t li t lj ED l || > DB A DB B DB C Semantic consistency t ki t kj Semantic atomicity Global serializability Semi-atomicity Semantic consistency Semantic atomicity CO2PC commit protocol Global serializability Adaptation of the OTM technique Context awareness to choose EAs Support disconnections

Tutoriel UbiMob TransMobi deployment DBMS Trans Recovery CC Reconcili Replica Light DBMS Trans CC Recovery Mobile Unit Fixed Units Surveillance MU,locali.. TransMobi Agent Surveillance Wireless net Application TransMobi Server TransMobi Server TransMobi Client

Tutoriel UbiMob CO2PC commit protocol (1) Ensures EA k semantic atomicity Compensatable t ki -> anticipated commit Non-compensatable t ki -> global commit Combination: optimistic commit and 2PC

Tutoriel UbiMob MU Opt-partic Light DBMS Proxy DBMS Server Proxy FU non-opt-partic coordinator CO2PC commit protocol (2) commit ack vote ack decision vote decision prepareAdvantages Supports compensatable and non-compensatable transactions Resources can be released early Hides mobile aspect to underlying DBMS Requires only 2p messages on the wireless networkAdvantages Supports compensatable and non-compensatable transactions Resources can be released early Hides mobile aspect to underlying DBMS Requires only 2p messages on the wireless network

Tutoriel UbiMob The OTM adaptation (1) Serializability control of EA k (so T AMT ) Direct conflict Direct conflict generation among EA k of T AMT Management of a global serializability graph Adaptation Allow unilateral commit of t ki (CO2PC)

Tutoriel UbiMob The OTM adaptation (2) Graph manager T AMTj T AMTk t k1 t j1 t j1 > t k1 t k2 > t j2 T AMTk t k2 t j2 ticket k1 abort/ commit ticket j1 Node creation T AMTj DB A DB B Ticket A Ticket B T AMTj = EA j {t j1, t j2 } T AMTk = EA k {t k1, t k2 } Node creation ticket j2 ticket K2Advantages Allows heterogeneity of CC mechanisms Information about local ordering is not requiredAdvantages Allows heterogeneity of CC mechanisms Information about local ordering is not required

Tutoriel UbiMob DBMS Server TransMobi Server FU non-opt-partic coordinator MU opt-partic Light DBMS TransMobi Server TransMobi Agent FU/BS CO2PC, OTM and TransMobi decision vote - ticket decision Graph manager FU vote - ticket ticket abort/ commit decision Graph management ack - ticketAdvantages Two messages on the wireless network For commit and the serializability process Possibility of disconnection anytimeAdvantages Two messages on the wireless network For commit and the serializability process Possibility of disconnection anytime

Tutoriel UbiMob Analysis of the AMT approach Advantages Transactional adaptation to context variations Allows trade-off between different quality criteria Autonomy Heterogeneity Limitations Necessity of knowing the context execution and the application quality criteria Transaction design potentially complex Application domain -> a priori knowledge of transactions

Tutoriel UbiMob Plan Les modèles dexécution Les techniques transactionnelles traditionnelles Analyse de travaux de transactions mobiles Conclusions

Tutoriel UbiMob Conclusions Mobile environments are highly versatile and face several resource constraints Many academic and industrial efforts have been devoted to improve mobile transaction processing New advanced transaction models are necessary where ACID properties are generally relaxed Due to the mobile environment characteristics Mobile systems must be context aware Adaptation is necessary Middleware approaches are necessary to support mobility

Tutoriel UbiMob Bibliographie [G. Bernard et al. 2004] G. Bernard, J. Ben-Hotman, L. Bougamin, G. Canals, B. Defude, J. Ferrié, S. Gançarski, R. Guerraoui, P. Molli, P. Pucheral, C. Roncancio, P. Serrano-Alvarado, P. Valduriez. "Mobile Databases: a Selection of Open Issues and Research Directions". ACM SIGMOD Record, vol 33, number 2, June, 2004 [G. Bernard et al. 2003] G. Bernard, J. Ben-Hotman, L. Bougamin, G. Canals, B. Defude, J. Ferrié, S. Gançarski, R. Guerraoui, P. Molli, P. Pucheral, C. Roncancio, P. Serrano-Alvarado, P. Valduriez. "Mobilité et bases de données- Etat de lart et perspectives" (Part I and part II). Chronique Technique et Science Informatiques (TSI), 22 (3 y 4), 2003 [P. Chrysanthis,1993] P. K. Chrysanthis. "Transaction Processing in a Mobile Computing Environment". IEEE Workshop on Advances in Parallel and Distributed Systems (APADS), Princeton, USA, October,1993 [M. Dunham et al., 1997] M. H. Dunham and A. Helal and S. Balakrishnan. "A Mobile Transaction Model that Captures Both the Data and the Movement Behavior". ACM/Baltzer Journal on special topics in mobile networks and applications, vol 2, num 2, [J. Gray et al., 1996] J. Gray and P. Helland and P.O'Neil and D. Shasha. "The Dangers of Replication and a Solution". ACM SIGMOD Conference, Montreal, Canada, June [K. Ku and Y. Ki, 2000] K. Ku and Y. Kim. "Moflex Transaction Model for Mobile Heterogeneous Multidatabase Systems". IEEE Workshop on Research Issues in Data Engineering, San Diego, USA, February [S. Madria and B. Bhargava, 2001] S. K. Madria and B. Bhargava. "A Transaction Model for Improving Data Availability in Mobile Computing". Kluwer Academic Publishers Distributed and Parallel Databases (DAPD), vol 10 num 2, 2001.

Tutoriel UbiMob [E. Pitoura and B. Bhargava, 1999] S. K. Madria and B. Bhargava. "Data Consistency in Intermittently Connected Distributed Systems". IEEE Transactions on Knowledge and Data Engineering (TKDE), vol 11 num 6, [P. Serrano-Alvarado, 2004] Patricia Serrano-Alvarado. "Transactions Adaptables pour les Environnements Mobiles". Ph.D. thesis on Computer Science, Joseph Fourier University (UJF), Grenoble, France, February [P. Serrano-Alvarado et al, 2004a] Patricia Serrano-Alvarado, Claudia L. Roncancio, Michel Adiba. "A Survey of Mobile Transactions". Journal on Distributed and Parallel Databases (DAPD), vol 16, number 2, September, [P. Serrano-Alvarado et al., 2004b] Patricia Serrano-Alvarado, Claudia L. Roncancio, Michel Adiba, Cyril Labbé. "Adaptable Mobile Transactions and Environment Awareness". In 19ièmes Journées Bases de Données Avancées (BDA), Lyon, France, October [G.D. Walborn and P. Chrysanthis, 1999] G. D. Walborn and P. K. Chrysanthis. "Transaction Processing in PRO-MOTION". ACM Symp. on Applied Computing, San Antonio, USA, February [G. D. Walborn and Panos K. Chrysanthis, 1995] G. D. Walborn and Panos K. Chrysanthis. "Supporting Semantics-Based Transaction Processing in Mobile Database Applications". Symp. on Reliable Distributed Systems (SRDS), Bad Neuenahr, Germany, September [L. H. Yeo and A. Zaslavsky, 1994] L. H. Yeo and A. Zaslavsky. "Submission of Transactions from Mobile Workstations in a Cooperative Multidatabase Processing Environment". Int. Conf. on Distributed Computing Systems (ICDCS), Poznan, Poland, June 1994.