ScholarlyCommons

Title

Schema-Directed Data Synchronization

Author(s)

J. Nathan Foster, University of Pennsylvania
Michael B. Greenwald, University of PennsylvaniaFollow
Christian Kirkegaard, University of Pennsylvania
Benjamin C. Pierce, University of PennsylvaniaFollow
Alan Schmitt, University of Pennsylvania

Document Type

Technical Report

Date of this Version

March 2005

Comments

University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-05-02.

Abstract

Increased reliance on optimistic data replication has led to burgeoning interest in tools and frameworks for synchronizing disconnected updates to replicated data. We have implemented a generic, synchronization framework, called Harmony, that can be instantiated to yield 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 situations where changes are in conflict—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 how it can be used to synchronize a variety of specific forms of application data—sets, records, tuples, and relations.

Recommended Citation

J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt, "Schema-Directed Data Synchronization", . March 2005.