Exploiting Schemas in Data Synchronization

Abstract : Increased reliance on optimistic data replication has led to burgeoning interest in tools and frameworks for synchronizing disconnected updates to replicated data. But good data synchronizers are challenging both to specify and to build. We have implemented a generic synchronization framework, called Harmony, that can be used to build state-based synchronizers for a wide variety of tree-structured data formats. A novel feature of this framework is that the synchronization process— in particular, the recognition of conflicts—is driven by the schema of the structures being synchronized. We formalize Harmony's synchronization algorithm, prove that it obeys a simple and intuitive specification, and illustrate, using simple address books as a case study, how it can be used to synchronize trees representing a variety of specific forms of application data, including sets, records, tuples, and relations.
Type de document :
Article dans une revue
Journal of Computer and System Sciences, Elsevier, 2007, 73 (4), pp.669-689. 〈10.1016/j.jcss.2006.10.024〉
Liste complète des métadonnées

Littérature citée [37 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00483199
Contributeur : Alan Schmitt <>
Soumis le : mercredi 12 mai 2010 - 17:34:21
Dernière modification le : jeudi 11 janvier 2018 - 06:22:03
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 14:00:17

Fichier

sync-jcss.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

J. Foster, Michael Greenwald, Christian Kirkegaard, Benjamin Pierce, Alan Schmitt. Exploiting Schemas in Data Synchronization. Journal of Computer and System Sciences, Elsevier, 2007, 73 (4), pp.669-689. 〈10.1016/j.jcss.2006.10.024〉. 〈inria-00483199〉

Partager

Métriques

Consultations de la notice

224

Téléchargements de fichiers

139